Wolfgang Thomas
Wolfgang Thomas publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Computability, Logic, AI Algorithms, semigroups and automata theory and Formal Methods in Verification.
- World rank
- #26,295 of 1,633,909 ranked researchers
- Rank in Germany
- #2,080 of 86,443
- Works
- 44
- Citations
- 342
- Citations per work
- 7.8
What does Wolfgang Thomas 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 Mathematics42% of their works
- 2Artificial Intelligence14% of their works
- 3Software6% of their works
- 4Language and Linguistics6% of their works
- 5Sociology and Political Science6% of their works
- 6Management Science and Operations Research6% of their works
Research topics
Which keywords describe Wolfgang Thomas's research?
The keywords of their largest research topics: Automata, Model Checking, Algorithmic Information Theory, Computability, Temporal Logic, Formal Languages, Regular Expressions and Fuzzy Logic.
- Static Analysis
- Compression
- Modal Logic
- Answer Set Programming
- Satisfiability Modulo Theories
- Fuzzy Logic
- Formal Languages
- Computability
- Model Checking
- Automata
- Algorithmic Information Theory
- Temporal Logic
- Regular Expressions
- Residuated Lattices
- Symbolic Model Checker
- Game Theory
- Network Formation
- Formal Verification
- Suffix Arrays
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
- Automata72 topics
- Model Checking63 topics
- Algorithmic Information Theory51 topic
- Computability51 topic
- Temporal Logic52 topics
- Formal Languages41 topic
- Regular Expressions41 topic
- Fuzzy Logic31 topic
- Residuated Lattices31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Answer Set Programming21 topic
- Game Theory21 topic
- Modal Logic21 topic
- Network Formation21 topic
- Compression11 topic
- Formal Verification11 topic
- Static Analysis11 topic
- Suffix Arrays11 topic
Where does Wolfgang Thomas work?
Wolfgang Thomas's main affiliation in the publication record is RWTH Aachen University, Germany.
How many publications and citations does Wolfgang Thomas have?
Science Explorer counts 44 works and 342 citations for Wolfgang Thomas, ranking #26,295 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.