Heiko Krumm

17 papers and 71 indexed citations i.

About

Heiko Krumm has authored 17 papers that have received a total of 71 indexed citations. This includes 6 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 6 papers in Information Systems. The topics of these papers are Formal Methods in Verification (6 papers), QoS-Aware Web Services Composition and Semantic Matching (6 papers) and Petri Nets in System Modeling (4 papers). Heiko Krumm is often cited by papers focused on Formal Methods in Verification (6 papers), QoS-Aware Web Services Composition and Semantic Matching (6 papers) and Petri Nets in System Modeling (4 papers) and collaborates with scholars based in Germany and Brazil. Heiko Krumm's co-authors include Peter Herrmann, Thomas Schmidt, Nils Reiss, Paulo Lício de Geus and João Porto de Albuquerque and has published in prestigious journals such as ACM SIGCOMM Computer Communication Review, Computer Networks and Computer Communications

In The Last Decade

Rankless by CCL
2025