Martin Davis
About
Martin Davis has authored 84 papers that have received a total of 4.2k indexed citations.
This includes 29 papers in Computational Theory and Mathematics, 16 papers in Artificial Intelligence and 9 papers in Geometry and Topology. The topics of these papers are Computability, Logic, AI Algorithms (23 papers), History and Theory of Mathematics (8 papers) and Logic, programming, and type systems (7 papers). Martin Davis is often cited by papers focused on Computability, Logic, AI Algorithms (23 papers), History and Theory of Mathematics (8 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in United States, United Kingdom and Australia. Martin Davis's co-authors include Hilary Putnam, A. J. Kent, Reuben Hersh, Elaine J. Weyuker and S. Barry Cooper and has published in prestigious journals such as Nature, IEEE Transactions on Automatic Control and Communications of the ACM.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by B.J. Riis Breakdown of academic impact, for papers by J. Graham Breakdown of academic impact, for papers by Craig J. Taylor Breakdown of academic impact, for papers by Lisa Marshall Breakdown of academic impact, for papers by Jeffrey Liew Breakdown of academic impact, for papers by Peter A. Allison Breakdown of academic impact, for papers by Raquel D. Rufino Breakdown of academic impact, for papers by Scott C. Fahrenkrug