Peter Thiemann

69 papers and 345 indexed citations i.

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