Matt Kaufmann
About
Matt Kaufmann has authored 54 papers that have received a total of 798 indexed citations.
This includes 35 papers in Computational Theory and Mathematics, 34 papers in Artificial Intelligence and 12 papers in Geometry and Topology. The topics of these papers are Logic, programming, and type systems (25 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (11 papers). Matt Kaufmann is often cited by papers focused on Logic, programming, and type systems (25 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (11 papers) and collaborates with scholars based in United States, United Kingdom and Canada. Matt Kaufmann's co-authors include J. Strother Moore, Warren A. Hunt, Jon Barwise, Panagiotis Manolios and James H. Schmerl and has published in prestigious journals such as Crop Science, IEEE Transactions on Software Engineering and Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Lin Dong Top journals papers by Hironobu Tsuchida are published in Top countries impacted by papers by Muthumuni Managa Top journals papers by Ahmad Ahmadi are published in Top countries impacted by papers by Liyuan Ma Top countries impacted by papers by Vagn F. Buchwald Top countries impacted by papers by David Squirrell Top journals papers by Cliff McKnight are published in