Science Explorer Back to mapMap
Discussion
Researcher · Saarland University · Germany

Dominik Kirst

Dominik Kirst publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Geometry and Topology, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Computability, Logic, AI Algorithms.

ORCID 0000-0003-4126-6975 OpenAlex
World rank
#7,197,094
of 7,710,434 ranked researchers
Rank in Germany
#349,222
of 364,343
Works
37
Citations
140
Citations per work
3.8
h-index
6
i10-index 4Top 74% in Artificial Intelligence
Dominik Kirst

What does Dominik Kirst research?

Dominik Kirst's work is mostly in Computer Science (78%), Mathematics (8%), Psychology (4%).

Physical Sciences: 33 works · 89.1% of their workComputer Science: 29 works · 78.4% of their workArtificial Intelligence: 18 works · 50.0% of their workComputational Theory and Mathematics: 11 works · 28.4% of their workMathematics: 3 works · 7.8% of their workGeometry and Topology: 2 works · 4.9% of their workMathematical Physics: 1 works · 2.9% of their workPhysics and Astronomy: 1 works · 2.9% of their workAtomic and Molecular Physics, and Optics: 1 works · 2.9% of their workEverything else: 3 works · 7.0% of their workSocial Sciences: 1 works · 3.9% of their workPsychology: 1 works · 3.9% of their workExperimental and Cognitive Psychology: 1 works · 3.9% of their workTHEIR WORKDominik Kirst37works
Physical Sciences89%Social Sciences4%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science2978.4%
    2. Mathematics37.8%
    3. Physics and Astronomy12.9%
  2. Everything else37.0%
    1. Psychology13.9%
  1. 1Artificial Intelligence50% of their works
  2. 2Computational Theory and Mathematics28% of their works
  3. 3Geometry and Topology5% of their works
  4. 4Experimental and Cognitive Psychology4% of their works
  5. 5Atomic and Molecular Physics, and Optics3% of their works
  6. 6Mathematical Physics3% of their works

Research topics

Which keywords describe Dominik Kirst's research?

The keywords of their largest research topics: Model Checking, Knowledge Representation, Modal Logic, Formal Verification, Static Analysis, Answer Set Programming, Belief Revision and Algorithmic Information Theory.

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 Checking472 topics
  2. Knowledge Representation272 topics
  3. Modal Logic272 topics
  4. Formal Verification241 topic
  5. Static Analysis241 topic
  6. Answer Set Programming231 topic
  7. Belief Revision231 topic
  8. Algorithmic Information Theory181 topic
  9. Computability181 topic
  10. Automata51 topic
  11. Formal Languages51 topic
  12. Consciousness41 topic
  13. Fuzzy Logic41 topic
  14. Ontology41 topic
  15. Phenomenal Experience41 topic
  16. Residuated Lattices41 topic
  17. Semantic Web41 topic
  18. Cluster Algebras31 topic
  19. Triangulated Categories31 topic

Where does Dominik Kirst work?

Dominik Kirst's main affiliation in the publication record is Saarland University, Germany.

How many publications and citations does Dominik Kirst have?

OpenAlex counts 37 works and 140 citations for Dominik Kirst, an h-index of 6, ranking #7,197,094 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Dominik Kirst. Posts are plain text and can be reported.