Johannes Hölzl

11 papers and 38 indexed citations i.

Johannes Hölzl has authored 11 papers that have received a total of 38 indexed citations. This includes 5 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 2 papers in Industrial and Manufacturing Engineering. The topics of these papers are Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Security and Verification in Computing (2 papers). Johannes Hölzl is often cited by papers focused on Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Security and Verification in Computing (2 papers) and collaborates with scholars based in Germany, Austria and United States. Johannes Hölzl's co-authors include P. Kopáček, Mooly Sagiv, Christian Kop, Tobias Nipkow and Gerhard Leitner and has published in prestigious journals such as The International Journal of Advanced Manufacturing Technology, Control Engineering Practice and ACM SIGPLAN Notices