Dietrich Kuske
Dietrich Kuske publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Geometry and Topology, on topics such as semigroups and automata theory, Computability, Logic, AI Algorithms and Advanced Algebra and Logic.
- World rank
- #595,121 of 1,633,909 ranked researchers
- Rank in Germany
- #35,336 of 86,443
- Works
- 47
- Citations
- 134
- Citations per work
- 2.9
What does Dietrich Kuske research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics68% of their works
- 2Artificial Intelligence20% of their works
- 3Geometry and Topology7% of their works
- 4Molecular Biology1% of their works
- 5Discrete Mathematics and Combinatorics1% of their works
- 6Statistics and Probability1% of their works
Research topics
Which keywords describe Dietrich Kuske's research?
The keywords of their largest research topics: Automata, Formal Languages, Regular Expressions, Model Checking, Algorithmic Information Theory, Computability, Fuzzy Logic and Residuated Lattices.
- Active Learning
- Symbolic Model Checker
- Modal Logic
- Answer Set Programming
- Static Analysis
- Residuated Lattices
- Computability
- Model Checking
- Formal Languages
- Automata
- Regular Expressions
- Algorithmic Information Theory
- Fuzzy Logic
- Formal Verification
- Temporal Logic
- Knot Invariants
- Satisfiability Modulo Theories
- Symplectic Topology
- Machine Learning
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
- Automata242 topics
- Formal Languages211 topic
- Regular Expressions211 topic
- Model Checking133 topics
- Algorithmic Information Theory111 topic
- Computability111 topic
- Fuzzy Logic81 topic
- Residuated Lattices81 topic
- Formal Verification71 topic
- Static Analysis71 topic
- Temporal Logic62 topics
- Answer Set Programming31 topic
- Knot Invariants31 topic
- Modal Logic31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Symplectic Topology31 topic
- Active Learning21 topic
- Machine Learning21 topic
Where does Dietrich Kuske work?
Dietrich Kuske's main affiliation in the publication record is Technische Universität Ilmenau, Germany.
How many publications and citations does Dietrich Kuske have?
Science Explorer counts 47 works and 134 citations for Dietrich Kuske, ranking #595,121 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.