Peter Thiemann
About
Peter Thiemann has authored 69 papers that have received a total of 345 indexed citations.
This includes 55 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 23 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (50 papers), Formal Methods in Verification (22 papers) and Software Engineering Research (19 papers). Peter Thiemann is often cited by papers focused on Logic, programming, and type systems (50 papers), Formal Methods in Verification (22 papers) and Software Engineering Research (19 papers) and collaborates with scholars based in Germany, United Kingdom and Portugal. Peter Thiemann's co-authors include Michael Sperber, Philip Wadler, Vasco T. Vasconcelos, Matthias Neubauer and Annette Bieniusa and has published in prestigious journals such as ACM Computing Surveys, IEEE Transactions on Energy Conversion and Electronics Letters
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Takahiro Kenmotsu are co-authored with Top countries impacted by papers by Yuto Matsushita Top authors papers by Litao Zhang are co-authored with Top fields papers by Yu Zeng are about Top authors papers by Johnny Koh Siaw Paw are co-authored with Top fields papers by Chou‐Yi Hsu are about Top fields papers by Jörg Hähner are about Top fields papers by Koeng-Mo Sung are about