Science Explorer Interactive view Map
Researcher · University of Bremen · Germany

Hans‐Jörg Kreowski

Hans‐Jörg Kreowski publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Model-Driven Software Engineering Techniques, Logic, programming, and type systems and Formal Methods in Verification.

ORCID 0000-0003-0578-5882 OpenAlex
World rank
#253,626
of 1,633,909 ranked researchers
Rank in Germany
#15,303
of 86,443
Works
54
Citations
236
Citations per work
4.4

What does Hans‐Jörg Kreowski research?

Artificial Intelligence: 26.5%Software: 19.3%Computational Theory and Mathematics: 18.1%Molecular Biology: 6.0%other fields: 30.1%26%top field
Artificial Intelligence26.5%Software19.3%Computational Theory and Mathematics18.1%Molecular Biology6.0%other fields30.1%

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

  1. 1Artificial Intelligence26% of their works
  2. 2Software19% of their works
  3. 3Computational Theory and Mathematics18% of their works
  4. 4Molecular Biology6% of their works
  5. 5Computer Networks and Communications6% of their works
  6. 6Computer Vision and Pattern Recognition4% of their works

Research topics

Which keywords describe Hans‐Jörg Kreowski's research?

The keywords of their largest research topics: Model Checking, Domain-Specific Languages, Model-Driven Engineering, Automata, Formal Verification, Static Analysis, Satisfiability Modulo Theories and Symbolic Model Checker.

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
  1. Model Checking172 topics
  2. Domain-Specific Languages141 topic
  3. Model-Driven Engineering141 topic
  4. Automata102 topics
  5. Formal Verification101 topic
  6. Static Analysis101 topic
  7. Satisfiability Modulo Theories71 topic
  8. Symbolic Model Checker71 topic
  9. DNA Computing41 topic
  10. Molecular Computation41 topic
  11. Ontology41 topic
  12. Semantic Web41 topic
  13. Continuous Queries31 topic
  14. Data Stream Management31 topic
  15. Formal Languages31 topic
  16. Regular Expressions31 topic
  17. Monte Carlo Tree Search21 topic
  18. Procedural Content Generation21 topic

Where does Hans‐Jörg Kreowski work?

Hans‐Jörg Kreowski's main affiliation in the publication record is University of Bremen, Germany.

How many publications and citations does Hans‐Jörg Kreowski have?

Science Explorer counts 54 works and 236 citations for Hans‐Jörg Kreowski, ranking #253,626 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.