Holger Hermanns
About
Holger Hermanns has authored 113 papers that have received a total of 2.0k indexed citations.
This includes 77 papers in Computational Theory and Mathematics, 38 papers in Artificial Intelligence and 32 papers in Software. The topics of these papers are Formal Methods in Verification (74 papers), Petri Nets in System Modeling (32 papers) and Software Reliability and Analysis Research (18 papers). Holger Hermanns is often cited by papers focused on Formal Methods in Verification (74 papers), Petri Nets in System Modeling (32 papers) and Software Reliability and Analysis Research (18 papers) and collaborates with scholars based in Germany, The Netherlands and China. Holger Hermanns's co-authors include Joost-Pieter Katoen, Christel Baier, Boudewijn R. Haverkort, Ernst Moritz Hahn and Arnd Hartmanns and has published in prestigious journals such as Communications of the ACM, Artificial Intelligence and IEEE Transactions on Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Toshikazu Hashimoto Top authors papers by Qingmao Hu are co-authored with Top journals papers by F. Selleri are published in Top countries impacted by papers by Thi‐Hiep Nguyen Top fields papers by Shital N. Parikh are about Top authors papers by Raphael Hirata are co-authored with Top authors papers by Fabio Scotti are co-authored with Top authors papers by J. Lasue are co-authored with