Wolfgang Thomas
Wolfgang Thomas
Prof of Computer Science, RWTH Aachen University
Verified email at cs.rwth-aachen.de
Title
Cited by
Cited by
Year
Automata on infinite objects
W Thomas
Formal Models and Semantics, 133-191, 1990
19551990
Languages, automata, and logic
W Thomas
Handbook of formal languages, 389-455, 1997
12311997
Mathematical logic
HD Ebbinghaus, J Flum, W Thomas
Springer Science & Business Media, 2013
12212013
Automata, logics, and infinite games: a guide to current research
E Gradel, W Thomas
Springer Science & Business Media, 2002
8452002
Automata on infinite objects, Handbook of theoretical computer science (vol. B): formal models and semantics
W Thomas
MIT Press, Cambridge, MA, 1991
5381991
On the synthesis of strategies in infinite games
W Thomas
Annual Symposium on Theoretical Aspects of Computer Science, 1-13, 1995
4911995
Languages, automata, and logic, Handbook of formal languages, vol. 3: beyond words
W Thomas
Springer-Verlag New York, Inc., New York, NY, 1997
4001997
Classifying regular events in symbolic logic
W Thomas
Journal of Computer and System Sciences 25 (3), 360-376, 1982
3421982
Einführung in die mathematische Logik
HD Ebbinghaus, J Flum, W Thomas
BI Wissenschaftsverlag, 1992
3161992
Automata, logics, and infinite Games. LNCS, vol. 2500
E Grädel, W Thomas, T Wilke
Springer, Heidelberg, 2002
2302002
Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree
T Hafer, W Thomas
International Colloquium on Automata, Languages, and Programming, 269-279, 1987
1911987
Infinite games and verification
W Thomas
International Conference on Computer Aided Verification, 58-65, 2002
1582002
Automata, logics, and infinite games, volume 2500 of LNCS
E Grädel, W Thomas, T Wilke
Springer, 2002
1472002
Star-free regular sets of ω-sequences
W Thomas
Information and Control 42 (2), 148-156, 1979
1351979
Monadic second-order logic over rectangular pictures and recognizability by tiling systems
D Giammarresi, A Restivo, S Seibert, W Thomas
Information and computation 125 (1), 32-45, 1996
1291996
Logical specifications of infinite computations
W Thomas, H Lescow
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1161993
A combinatorial approach to the theory of ω-automata
W Thomas
Information and Control 48 (3), 261-283, 1981
1111981
On logics, tilings, and automata
W Thomas
International Colloquium on Automata, Languages, and Programming, 441-454, 1991
1091991
On logical definability of trace languages
W Thomas
Proceedings of a workshop of the ESPRIT Basic Research Action, 172-182, 1990
1011990
Alternating automata and logics over infinite words
C Loding, W Thomas
IFIP International Conference on Theoretical Computer Science, 521-535, 2000
932000
The system can't perform the operation now. Try again later.
Articles 1–20