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 journals papers by Yu Xu are published in Top journals papers by Sílvia Albert are published in Top fields papers by Özgür M. Araz are about Top journals papers by E. Gómez are published in Top authors papers by Shengrui Zhang are co-authored with Top journals papers by Deryn Strange are published in Top journals papers by Hiroya Kuwahara are published in Top fields papers by Bronwen McNoe are about