Concepedia

Wolfgang Thomas

WT

22

Publications

1.6K

Citations

19

H-Index

1978

Active since

Affiliations

RWTH Aachen University(Current)

Christian-Albrechts-Universität zu Kiel

University of Freiburg

Inform (Germany)

Wolfgang Thomas is an author at RWTH Aachen University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceLinguisticsLanguageSemanticsDiscrete MathematicsSyntaxFormal Verification

Publications per year

1978–2014

22

Publications

22

Automata on infinite objects

Wolfgang Thomas · 1988 · 431 citations

Classifying regular events in symbolic logic

Wolfgang Thomas · Journal of Computer and System Sciences · 1982 · 334 citations

Non-classical Logic, Engineering, Symbolic Logic +7

Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems

Dora Giammarresi, Antonio Restivo, Sebastian Seibert et al. · Information and Computation · 1996 · 97 citations

Rectangular Pictures, Algebraic Logic, Computational Logic +9

Star-free regular sets of ω-sequences

Wolfgang Thomas · Information and Control · 1979 · 95 citations

Star-free Regular Sets, Extremal Set Theory, Set-theoretic Topology

A combinatorial approach to the theory of ω-automata

Wolfgang Thomas · Information and Control · 1981 · 78 citations

Combinatorial Approach, Automaton Network, Automaton Operation +2

Rows per page

1–5 of 22