Dieter Hutter
Dieter Hutter publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Advanced Software Engineering Methodologies and Security and Verification in Computing.
- World rank
- #539,344 of 1,633,909 ranked researchers
- Rank in Germany
- #31,976 of 86,443
- Works
- 28
- Citations
- 66
- Citations per work
- 2.4
What does Dieter Hutter research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence33% of their works
- 2Software13% of their works
- 3Computational Theory and Mathematics13% of their works
- 4Information Systems10% of their works
- 5Safety, Risk, Reliability and Quality7% of their works
- 6Computer Networks and Communications3% of their works
Research topics
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Security and Verification in Computing
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Safety Systems Engineering in Autonomy
- Biomedical Text Mining and Ontologies
- Computational Physics and Python Applications
Which keywords describe Dieter Hutter's research?
The keywords of their largest research topics: Model Checking, Model-Based Development, Symbolic Model Checker, Assurance Cases, Automated Testing, Autonomic Computing, Domain-Specific Languages and Model-Driven Engineering.
- Scientific Computing
- Biomedical Ontologies
- Side-Channel Attacks
- Security Policies
- Model-Driven Engineering
- Autonomic Computing
- Assurance Cases
- Model-Based Development
- Model Checking
- Symbolic Model Checker
- Automated Testing
- Domain-Specific Languages
- Safety Assurance
- Self-Adaptive Systems
- Software Fault Localization
- Python
- Text Mining
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.
All 17 words, with their numbers
- Model Checking41 topic
- Model-Based Development42 topics
- Symbolic Model Checker41 topic
- Assurance Cases21 topic
- Automated Testing21 topic
- Autonomic Computing21 topic
- Domain-Specific Languages21 topic
- Model-Driven Engineering21 topic
- Safety Assurance21 topic
- Security Policies21 topic
- Self-Adaptive Systems21 topic
- Side-Channel Attacks21 topic
- Software Fault Localization21 topic
- Biomedical Ontologies11 topic
- Python11 topic
- Scientific Computing11 topic
- Text Mining11 topic
Where does Dieter Hutter work?
Dieter Hutter's main affiliation in the publication record is German Research Centre for Artificial Intelligence, Germany.
How many publications and citations does Dieter Hutter have?
Science Explorer counts 28 works and 66 citations for Dieter Hutter, ranking #539,344 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised 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 are in the interactive view on the map. Is this your page? Request a correction or removal.