Michael Luttenberger
About
Michael Luttenberger has authored 11 papers that have received a total of 88 indexed citations.
This includes 8 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 2 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (4 papers), Logic, programming, and type systems (4 papers) and Algorithms and Data Compression (3 papers). Michael Luttenberger is often cited by papers focused on Formal Methods in Verification (4 papers), Logic, programming, and type systems (4 papers) and Algorithms and Data Compression (3 papers) and collaborates with scholars based in Germany, United Kingdom and Spain. Michael Luttenberger's co-authors include Javier Esparza, Stefan Kiefer, Tomǎš Brázdil, Salomon Sickert and Thomas Ertl and has published in prestigious journals such as Journal of the ACM, SIAM Journal on Computing and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Renaud Mesnage Breakdown of academic impact, for papers by Raymond Wacks Breakdown of academic impact, for papers by V. Jayaraj Breakdown of academic impact, for papers by Hélio Mucavele Breakdown of academic impact, for papers by Todd Whitelaw Breakdown of academic impact, for papers by Barbara Hodgson Breakdown of academic impact, for papers by William T. Avery Breakdown of academic impact, for papers by Sunjie Yan