← Back to directory
Wolfgang Thomas
Researcher Next ID · RN-000894
Professor · Computer Science
Klinikum Mutterhaus der Borromäerinnen
Trier, Germany
Not currently recruitingFunding unknown
- Works count
- 229
- Citation count
- 6,423
- H-index
- 32
- i10-index
- 67
About
229 publications and 6,423 citations recorded on OpenAlex.
Research interests
Computer Science
semigroups and automata theory
Logic, programming, and type systems
Formal Methods in Verification
Computability, Logic, AI Algorithms
Logic, Reasoning, and Knowledge
Publications
Automata logics, and infinite games: a guide to current research
Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) · 2002 · 10.1007/3-540-36387-4
Languages, Automata, and Logic
Journal · 1997 · 10.1007/978-3-642-59126-6_7
On the synthesis of strategies in infinite games
Lecture notes in computer science · 1995 · 10.1007/3-540-59042-0_57
Automata on Infinite Objects
Elsevier eBooks · 1990 · 10.1016/b978-0-444-88074-1.50009-3
Automata on infinite objects
Journal · 1988
Current projects
No projects listed.