Martin Davis
Martin Davis publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Geography, Planning and Development, on topics such as Computability, Logic, AI Algorithms, History and Theory of Mathematics and Logic, Reasoning, and Knowledge.
- World rank
- #21,242 of 1,633,909 ranked researchers
- Rank in United States
- #10,042 of 358,040
- Works
- 89
- Citations
- 442
- Citations per work
- 5.0
What does Martin Davis research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics23% of their works
- 2Artificial Intelligence17% of their works
- 3Geography, Planning and Development8% of their works
- 4Theoretical Computer Science8% of their works
- 5Mathematical Physics5% of their works
- 6History and Philosophy of Science5% of their works
Research topics
Which keywords describe Martin Davis's research?
The keywords of their largest research topics: Algorithmic Information Theory, Computability, Model Checking, Historical Sources, Mathematics Education, Answer Set Programming, Modal Logic and Formal Verification.
- Automata
- Vienna Circle
- Logical Empiricism
- Fuzzy Logic
- Formal Verification
- Answer Set Programming
- Historical Sources
- Computability
- Algorithmic Information Theory
- Model Checking
- Mathematics Education
- Modal Logic
- Static Analysis
- Geospatial Crowdsourcing
- Residuated Lattices
- Volunteered Geographic Information
- Formal Languages
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 17 words, with their numbers
- Algorithmic Information Theory121 topic
- Computability121 topic
- Model Checking112 topics
- Historical Sources71 topic
- Mathematics Education71 topic
- Answer Set Programming61 topic
- Modal Logic61 topic
- Formal Verification51 topic
- Static Analysis51 topic
- Fuzzy Logic41 topic
- Geospatial Crowdsourcing41 topic
- Logical Empiricism41 topic
- Residuated Lattices41 topic
- Vienna Circle41 topic
- Volunteered Geographic Information41 topic
- Automata31 topic
- Formal Languages31 topic
Where does Martin Davis work?
Martin Davis's main affiliation in the publication record is New York University, United States.
How many publications and citations does Martin Davis have?
Science Explorer counts 89 works and 442 citations for Martin Davis, ranking #21,242 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.