Science Explorer Interactive view Map
Researcher · Max Planck Institute for Software Systems · Germany

Georg Zetzsche

Georg Zetzsche publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology, on topics such as semigroups and automata theory, Logic, programming, and type systems and Formal Methods in Verification.

ORCID 0000-0002-6421-4388 OpenAlex
World rank
#1,404,215
of 1,633,909 ranked researchers
Rank in Germany
#77,310
of 86,443
Works
34
Citations
22
Citations per work
0.6

What does Georg Zetzsche research?

Computational Theory and Mathematics: 56.3%Artificial Intelligence: 20.8%Molecular Biology: 6.3%Geometry and Topology: 6.3%other fields: 10.3%56%top field
Computational Theory and Mathematics56.3%Artificial Intelligence20.8%Molecular Biology6.3%Geometry and Topology6.3%other fields10.3%

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

  1. 1Computational Theory and Mathematics56% of their works
  2. 2Artificial Intelligence21% of their works
  3. 3Molecular Biology6% of their works
  4. 4Geometry and Topology6% of their works
  5. 5Discrete Mathematics and Combinatorics4% of their works
  6. 6Electrical and Electronic Engineering4% of their works

Research topics

Which keywords describe Georg Zetzsche's research?

The keywords of their largest research topics: Automata, Formal Languages, Regular Expressions, Model Checking, 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. Automata182 topics
  2. Formal Languages131 topic
  3. Regular Expressions131 topic
  4. Model Checking112 topics
  5. Formal Verification61 topic
  6. Static Analysis61 topic
  7. Satisfiability Modulo Theories51 topic
  8. Symbolic Model Checker51 topic
  9. Algorithmic Information Theory31 topic
  10. Computability31 topic
  11. DNA Computing31 topic
  12. Fuzzy Logic31 topic
  13. Molecular Computation31 topic
  14. Residuated Lattices31 topic
  15. Active Learning21 topic
  16. Deadlock Prevention21 topic
  17. Machine Learning21 topic
  18. Petri Nets21 topic

Where does Georg Zetzsche work?

Georg Zetzsche's main affiliation in the publication record is Max Planck Institute for Software Systems, Germany.

How many publications and citations does Georg Zetzsche have?

Science Explorer counts 34 works and 22 citations for Georg Zetzsche, ranking #1,404,215 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.