Christopher Hahn

6 papers and 27 indexed citations i.

Christopher Hahn has authored 6 papers that have received a total of 27 indexed citations. This includes 4 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 2 papers in Computational Theory and Mathematics. The topics of these papers are Distributed systems and fault tolerance (4 papers), Security and Verification in Computing (3 papers) and Formal Methods in Verification (2 papers). Christopher Hahn is often cited by papers focused on Distributed systems and fault tolerance (4 papers), Security and Verification in Computing (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Germany, United Kingdom and United States. Christopher Hahn's co-authors include Bernd Finkbeiner, Leander Tentrup, Raimund Dachselt, Markus N. Rabe and Peter Kling and has published in prestigious journals such as IEEE Transactions on Visualization and Computer Graphics, Acta Informatica and International Journal on Software Tools for Technology Transfer.