Annegret Habel
Annegret Habel publishes mostly in Software, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Model-Driven Software Engineering Techniques, Formal Methods in Verification and Logic, programming, and type systems.
- World rank
- #180,621 of 1,633,909 ranked researchers
- Rank in Germany
- #11,085 of 86,443
- Works
- 19
- Citations
- 286
- Citations per work
- 15.1
What does Annegret Habel research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software31% of their works
- 2Computational Theory and Mathematics19% of their works
- 3Artificial Intelligence15% of their works
- 4Computer Vision and Pattern Recognition8% of their works
- 5Electrical and Electronic Engineering4% of their works
- 6Global and Planetary Change4% of their works
Research topics
Which keywords describe Annegret Habel's research?
The keywords of their largest research topics: Domain-Specific Languages, Model-Driven Engineering, Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing and Autonomic Computing.
- Regular Expressions
- Formal Languages
- Static Analysis
- Self-Adaptive Systems
- Graph Matching
- Autonomic Computing
- Symbolic Model Checker
- Automata
- Model-Driven Engineering
- Domain-Specific Languages
- Model Checking
- Satisfiability Modulo Theories
- Automated Testing
- Formal Verification
- Graph Processing
- Software Fault Localization
- DNA Computing
- Molecular Computation
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 18 words, with their numbers
- Domain-Specific Languages61 topic
- Model-Driven Engineering61 topic
- Model Checking52 topics
- Automata42 topics
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Automated Testing21 topic
- Autonomic Computing21 topic
- Formal Verification21 topic
- Graph Matching21 topic
- Graph Processing21 topic
- Self-Adaptive Systems21 topic
- Software Fault Localization21 topic
- Static Analysis21 topic
- DNA Computing11 topic
- Formal Languages11 topic
- Molecular Computation11 topic
- Regular Expressions11 topic
Where does Annegret Habel work?
Annegret Habel's main affiliation in the publication record is Carl von Ossietzky Universität Oldenburg, Germany.
How many publications and citations does Annegret Habel have?
Science Explorer counts 19 works and 286 citations for Annegret Habel, ranking #180,621 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.