Michael Kohlhase
About
Michael Kohlhase has authored 60 papers that have received a total of 429 indexed citations.
This includes 36 papers in Artificial Intelligence, 29 papers in Computational Theory and Mathematics and 26 papers in Computer Networks and Communications. The topics of these papers are Mathematics, Computing, and Information Processing (22 papers), Advanced Database Systems and Queries (21 papers) and Logic, programming, and type systems (21 papers). Michael Kohlhase is often cited by papers focused on Mathematics, Computing, and Information Processing (22 papers), Advanced Database Systems and Queries (21 papers) and Logic, programming, and type systems (21 papers) and collaborates with scholars based in Germany, United States and United Kingdom. Michael Kohlhase's co-authors include Florian Rabe, Iadh Ounis, Akiko Aizawa, Volker Sorge and Bruce R. Miller and has published in prestigious journals such as Proceedings of the IEEE, Lecture notes in computer science and Journal of Symbolic Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Hyeon‐Jeong Suk are about Top journals papers by Bogomil Voykov are published in Top fields papers by Brian M. Schwartz are about Top fields papers by Arshad Jhumka are about Top journals papers by Ester Zumpano are published in Top countries impacted by papers by A. Magiera Top fields papers by Thomas K. Sabu are about Top countries impacted by papers by A. Bross