Stephen Cole Kleene
Stephen Cole Kleene publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Theoretical Computer Science, on topics such as History and Theory of Mathematics, Advanced Algebra and Logic and Logic, Reasoning, and Knowledge.
- World rank
- #1,976,801 of 7,710,434 ranked researchers
- Rank in United States
- #600,906 of 1,627,098
- Works
- 155
- Citations
- 1.4k
- Citations per work
- 9.2
What does Stephen Cole Kleene research?
Stephen Cole Kleene's work is mostly in Computer Science (36%), Mathematics (21%), Arts and Humanities (11%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences8856.5%
- Computer Science5535.8%
- Mathematics3220.7%
- Everything else3824.8%
- Social Sciences2918.7%
- Arts and Humanities1710.9%
- Psychology127.8%
- 1Computational Theory and Mathematics20% of their works
- 2Artificial Intelligence15% of their works
- 3Theoretical Computer Science14% of their works
- 4History and Philosophy of Science11% of their works
- 5Experimental and Cognitive Psychology8% of their works
- 6Geometry and Topology7% of their works
Research topics
Which keywords describe Stephen Cole Kleene's research?
The keywords of their largest research topics: Modal Logic, Historical Sources, Mathematics Education, Model Checking, Fuzzy Logic, Residuated Lattices, Algorithmic Information Theory and Answer Set Programming.
- Hyperbolic
- Static Analysis
- Phenomenal Experience
- Vienna Circle
- Knowledge Representation
- Answer Set Programming
- Residuated Lattices
- Model Checking
- Historical Sources
- Modal Logic
- Mathematics Education
- Fuzzy Logic
- Algorithmic Information Theory
- Computability
- Logical Empiricism
- Consciousness
- Formal Verification
- Geometry
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Modal Logic582 topics
- Historical Sources491 topic
- Mathematics Education491 topic
- Model Checking492 topics
- Fuzzy Logic371 topic
- Residuated Lattices371 topic
- Algorithmic Information Theory301 topic
- Answer Set Programming301 topic
- Computability301 topic
- Knowledge Representation301 topic
- Logical Empiricism291 topic
- Vienna Circle291 topic
- Consciousness281 topic
- Phenomenal Experience281 topic
- Formal Verification191 topic
- Static Analysis191 topic
- Geometry171 topic
- Hyperbolic171 topic
Where does Stephen Cole Kleene work?
Stephen Cole Kleene's main affiliation in the publication record is Association for Symbolic Logic, United States.
How many publications and citations does Stephen Cole Kleene have?
OpenAlex counts 155 works and 1,423 citations for Stephen Cole Kleene, an h-index of 16, ranking #1,976,801 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Stephen Cole Kleene. Posts are plain text and can be reported.