Dieter Rödding
Dieter Rödding publishes mostly in Computational Theory and Mathematics, Geometry and Topology and Artificial Intelligence, on topics such as semigroups and automata theory, Computability, Logic, AI Algorithms and Advanced Algebra and Logic.
- World rank
- #6,396,175 of 7,710,434 ranked researchers
- Rank in Germany
- #322,986 of 364,343
- Works
- 18
- Citations
- 112
- Citations per work
- 6.2
What does Dieter Rödding research?
Dieter Rödding's work is mostly in Computer Science (68%), Mathematics (18%), Biochemistry, Genetics and Molecular Biology (5%).
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
- Physical Sciences1686.9%
- Computer Science1268.4%
- Mathematics318.5%
- Everything else17.8%
- Life Sciences15.3%
- 1Computational Theory and Mathematics53% of their works
- 2Geometry and Topology13% of their works
- 3Artificial Intelligence13% of their works
- 4Theoretical Computer Science5% of their works
- 5Molecular Biology5% of their works
- 6Hardware and Architecture3% of their works
Research topics
Which keywords describe Dieter Rödding's research?
The keywords of their largest research topics: Automata, Formal Languages, Model Checking, Regular Expressions, Algorithmic Information Theory, Computability, Fuzzy Logic and Residuated Lattices.
- Static Analysis
- Modal Logic
- Historical Sources
- Answer Set Programming
- Hyperbolic
- Residuated Lattices
- Computability
- Regular Expressions
- Formal Languages
- Automata
- Model Checking
- Algorithmic Information Theory
- Fuzzy Logic
- Geometry
- Temporal Logic
- Formal Verification
- Mathematics Education
- Satisfiability Modulo Theories
- 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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 19 words, with their numbers
- Automata82 topics
- Formal Languages61 topic
- Model Checking63 topics
- Regular Expressions61 topic
- Algorithmic Information Theory51 topic
- Computability51 topic
- Fuzzy Logic51 topic
- Residuated Lattices51 topic
- Geometry41 topic
- Hyperbolic41 topic
- Temporal Logic42 topics
- Answer Set Programming21 topic
- Formal Verification21 topic
- Historical Sources21 topic
- Mathematics Education21 topic
- Modal Logic21 topic
- Satisfiability Modulo Theories21 topic
- Static Analysis21 topic
- Symbolic Model Checker21 topic
Where does Dieter Rödding work?
Dieter Rödding's main affiliation in the publication record is GP Forschungsgruppe, Germany.
How many publications and citations does Dieter Rödding have?
OpenAlex counts 18 works and 112 citations for Dieter Rödding, an h-index of 6, ranking #6,396,175 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 Dieter Rödding. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.