Arnd Poetzsch‐Heffter
About
Arnd Poetzsch‐Heffter has authored 24 papers that have received a total of 219 indexed citations.
This includes 17 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (14 papers), Formal Methods in Verification (11 papers) and Advanced Software Engineering Methodologies (7 papers). Arnd Poetzsch‐Heffter is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (11 papers) and Advanced Software Engineering Methodologies (7 papers) and collaborates with scholars based in Germany, United States and Switzerland. Arnd Poetzsch‐Heffter's co-authors include Péter Müller, Gary T. Leavens, Y. Zhou, K. Rustan M. Leino and Jan Schaefer and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and Acta Informatica.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by D. A. Finley Breakdown of academic impact, for papers by Amparo Sancho Pérez Breakdown of academic impact, for papers by Magda Santos Koerich Breakdown of academic impact, for papers by Humayun Kabir Breakdown of academic impact, for papers by Niko Soininen Breakdown of academic impact, for papers by Ma. del Rosario Martínez-Blanco Breakdown of academic impact, for papers by D. C. Watt Breakdown of academic impact, for papers by N.E. Goldstein