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
19881990
Languages, automata, and logic
W Thomas
Handbook of formal languages, 389-455, 1997
12641997
Mathematical logic
HD Ebbinghaus, J Flum, W Thomas
Springer Science & Business Media, 2013
12582013
Automata, logics, and infinite games: a guide to current research
E Gradel, W Thomas
Springer Science & Business Media, 2002
8642002
Automata on infinite objects, Handbook of theoretical computer science (vol. B): formal models and semantics
W Thomas
MIT Press, Cambridge, MA, 1991
5441991
On the synthesis of strategies in infinite games
W Thomas
Annual Symposium on Theoretical Aspects of Computer Science, 1-13, 1995
4961995
Languages, automata, and logic, Handbook of formal languages, vol. 3: beyond words
W Thomas
Springer-Verlag New York, Inc., New York, NY, 1997
4051997
Classifying regular events in symbolic logic
W Thomas
Journal of Computer and System Sciences 25 (3), 360-376, 1982
3461982
Einführung in die mathematische Logik
HD Ebbinghaus, J Flum, W Thomas
BI Wissenschaftsverlag, 1992
3291992
Automata, logics, and infinite Games. LNCS, vol. 2500
E Grädel, W Thomas, T Wilke
Springer, Heidelberg, 2002
2842002
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
1921987
Automata, logics, and infinite games, volume 2500 of LNCS
E Grädel, W Thomas, T Wilke
Springer, 2002
1672002
Infinite games and verification
W Thomas
International Conference on Computer Aided Verification, 58-65, 2002
1612002
Star-free regular sets of ω-sequences
W Thomas
Information and Control 42 (2), 148-156, 1979
1371979
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
1321996
Logical specifications of infinite computations
W Thomas, H Lescow
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1211993
A combinatorial approach to the theory of ω-automata
W Thomas
Information and Control 48 (3), 261-283, 1981
1131981
On logics, tilings, and automata
W Thomas
International Colloquium on Automata, Languages, and Programming, 441-454, 1991
1111991
On logical definability of trace languages
W Thomas
Proceedings of a workshop of the ESPRIT Basic Research Action, 172-182, 1990
1021990
Alternating automata and logics over infinite words
C Loding, W Thomas
IFIP International Conference on Theoretical Computer Science, 521-535, 2000
982000
The system can't perform the operation now. Try again later.
Articles 1–20