Stefan Berghofer
About
Stefan Berghofer has authored 8 papers that have received a total of 92 indexed citations.
This includes 8 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (6 papers), Logic, programming, and type systems (6 papers) and Formal Methods in Verification (2 papers). Stefan Berghofer is often cited by papers focused on Logic, Reasoning, and Knowledge (6 papers), Logic, programming, and type systems (6 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Germany, United Kingdom and France. Stefan Berghofer's co-authors include Christian Urban, Tobias Nipkow, James Cheney, Makarius Wenzel and Pierre Letouzey and has published in prestigious journals such as Lecture notes in computer science, Journal of Automated Reasoning and Studia Logica.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Sergio Daga Breakdown of academic impact, for papers by Magda van Loon Breakdown of academic impact, for papers by Chandni Raiyani Breakdown of academic impact, for papers by Renaud Gueret Breakdown of academic impact, for papers by John Steytler Breakdown of academic impact, for papers by Maria Koutroumani Breakdown of academic impact, for papers by David H. McKay Breakdown of academic impact, for papers by Bernardine Dohrn