Makarius Wenzel

13 papers and 78 indexed citations i.

Makarius Wenzel has authored 13 papers that have received a total of 78 indexed citations. This includes 11 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (8 papers), Security and Verification in Computing (4 papers) and Mathematics, Computing, and Information Processing (3 papers). Makarius Wenzel is often cited by papers focused on Logic, programming, and type systems (8 papers), Security and Verification in Computing (4 papers) and Mathematics, Computing, and Information Processing (3 papers) and collaborates with scholars based in France, Germany and Australia. Makarius Wenzel's co-authors include Tobias Nipkow, Stefan Berghofer, Christian Urban, Jacques Carette and Toby Murray and has published in prestigious journals such as Lecture notes in computer science, Journal of Automated Reasoning and Electronic Notes in Theoretical Computer Science.