Gerwin Klein

50 papers and 799 indexed citations i.

Gerwin Klein has authored 50 papers that have received a total of 799 indexed citations. This includes 43 papers in Artificial Intelligence, 17 papers in Computer Networks and Communications and 13 papers in Signal Processing. The topics of these papers are Security and Verification in Computing (39 papers), Logic, programming, and type systems (22 papers) and Distributed systems and fault tolerance (16 papers). Gerwin Klein is often cited by papers focused on Security and Verification in Computing (39 papers), Logic, programming, and type systems (22 papers) and Distributed systems and fault tolerance (16 papers) and collaborates with scholars based in Australia, Germany and United States. Gerwin Klein's co-authors include June Andronick, Toby Murray, Gernot Heiser, Thomas Sewell and Rafal Kolanski and has published in prestigious journals such as Communications of the ACM, The Medical Journal of Australia and Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences