Holger Hermanns
Holger Hermanns publishes mostly in Computational Theory and Mathematics, Software and Artificial Intelligence, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Software Reliability and Analysis Research.
- World rank
- #330,802 of 7,710,434 ranked researchers
- Rank in Germany
- #16,471 of 364,343
- Works
- 430
- Citations
- 11k
- Citations per work
- 26.3
What does Holger Hermanns research?
Holger Hermanns's work is mostly in Computer Science (75%), Engineering (2%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences33377.4%
- Computer Science32275.0%
- Engineering102.4%
- Everything else9722.6%
- 1Computational Theory and Mathematics34% of their works
- 2Software14% of their works
- 3Artificial Intelligence14% of their works
- 4Hardware and Architecture7% of their works
- 5Computer Networks and Communications6% of their works
- 6Aerospace Engineering2% of their works
Research topics
Which keywords describe Holger Hermanns's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Deadlock Prevention, Petri Nets, Embedded Systems, Architecture-Based Approach, Software Reliability Modeling and Automated Testing.
- High-Level Synthesis
- Domain-Specific Languages
- Hard Real-Time Systems
- Autonomic Computing
- Automated Testing
- Architecture-Based Approach
- Petri Nets
- Symbolic Model Checker
- Model Checking
- Deadlock Prevention
- Embedded Systems
- Software Reliability Modeling
- Software Fault Localization
- Self-Adaptive Systems
- Scheduling Algorithms
- Model-Driven Engineering
- Reconfigurable Computing
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 17 words, with their numbers
- Model Checking2611 topic
- Symbolic Model Checker2611 topic
- Deadlock Prevention1171 topic
- Petri Nets1171 topic
- Embedded Systems772 topics
- Architecture-Based Approach761 topic
- Software Reliability Modeling761 topic
- Automated Testing521 topic
- Software Fault Localization521 topic
- Autonomic Computing491 topic
- Self-Adaptive Systems491 topic
- Hard Real-Time Systems461 topic
- Scheduling Algorithms461 topic
- Domain-Specific Languages391 topic
- Model-Driven Engineering391 topic
- High-Level Synthesis311 topic
- Reconfigurable Computing311 topic
Where does Holger Hermanns work?
Holger Hermanns's main affiliation in the publication record is Saarland University, Germany.
How many publications and citations does Holger Hermanns have?
OpenAlex counts 430 works and 11,299 citations for Holger Hermanns, an h-index of 53, ranking #330,802 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Holger Hermanns. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.