Hartmut Koenig

12 papers and 126 indexed citations i.

About

Hartmut Koenig has authored 12 papers that have received a total of 126 indexed citations. This includes 5 papers in Artificial Intelligence, 3 papers in Computer Vision and Pattern Recognition and 3 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (2 papers), Network Security and Intrusion Detection (2 papers) and Internet Traffic Analysis and Secure E-voting (2 papers). Hartmut Koenig is often cited by papers focused on Formal Methods in Verification (2 papers), Network Security and Intrusion Detection (2 papers) and Internet Traffic Analysis and Secure E-voting (2 papers) and collaborates with scholars based in Germany, United States and Austria. Hartmut Koenig's co-authors include Mika W. Vogel, Xiping Li, Christopher Kruegel, Thomas M. Link and Pavel Laskov and has published in prestigious journals such as Journal of Magnetic Resonance, Computer Communications and Computers & Security

In The Last Decade

Rankless by CCL
2025