Science Explorer Interactive view Map
Researcher · Technical University of Munich · Germany

H. Partsch

H. Partsch publishes mostly in Artificial Intelligence, Software and Information Systems, on topics such as Logic, programming, and type systems, Model-Driven Software Engineering Techniques and Advanced Software Engineering Methodologies.

OpenAlex
World rank
#927,403
of 1,633,909 ranked researchers
Rank in Germany
#54,103
of 86,443
Works
24
Citations
57
Citations per work
2.4

What does H. Partsch research?

Artificial Intelligence: 38.2%Software: 14.7%Information Systems: 11.8%Computational Theory and Mathematics: 11.8%other fields: 23.5%38%top field
Artificial Intelligence38.2%Software14.7%Information Systems11.8%Computational Theory and Mathematics11.8%other fields23.5%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Artificial Intelligence38% of their works
  2. 2Software15% of their works
  3. 3Information Systems12% of their works
  4. 4Computational Theory and Mathematics12% of their works
  5. 5Biomedical Engineering3% of their works
  6. 6Pulmonary and Respiratory Medicine3% of their works

Research topics

Which keywords describe H. Partsch's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Automata, Domain-Specific Languages, Model-Driven Engineering and Autonomic 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.

All 19 words, with their numbers
  1. Model Checking123 topics
  2. Formal Verification71 topic
  3. Static Analysis71 topic
  4. Temporal Logic52 topics
  5. Automata42 topics
  6. Domain-Specific Languages41 topic
  7. Model-Driven Engineering41 topic
  8. Autonomic Computing31 topic
  9. Code Clone Detection31 topic
  10. Refactoring31 topic
  11. Satisfiability Modulo Theories31 topic
  12. Self-Adaptive Systems31 topic
  13. Symbolic Model Checker31 topic
  14. Answer Set Programming21 topic
  15. Modal Logic21 topic
  16. Formal Languages11 topic
  17. Neural Machine Translation11 topic
  18. Regular Expressions11 topic
  19. Statistical Machine Translation11 topic

Where does H. Partsch work?

H. Partsch's main affiliation in the publication record is Technical University of Munich, Germany.

How many publications and citations does H. Partsch have?

Science Explorer counts 24 works and 57 citations for H. Partsch, ranking #927,403 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.

Other researchers named H. Partsch

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.