Follow
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
21721990
Mathematical logic
HD Ebbinghaus, J Flum, W Thomas, AS Ferebee
Springer, 1994
14301994
Languages, automata, and logic
W Thomas
Handbook of Formal Languages: Volume 3 Beyond Words, 389-455, 1997
13751997
Automata, logics, and infinite games: a guide to current research
E Grädel, W Thomas, T Wilke
Springer, 2003
11082003
On the synthesis of strategies in infinite games
W Thomas
Annual Symposium on Theoretical Aspects of Computer Science, 1-13, 1995
5511995
Classifying regular events in symbolic logic
W Thomas
Journal of Computer and System Sciences 25 (3), 360-376, 1982
3811982
Einführung in die mathematische Logik
HD Ebbinghaus, J Flum, W Thomas
Wissenschaftliche Buchgesellschaft, 1978
3691978
Automata, logics, and infinite games, volume 2500 of LNCS
E Grädel, W Thomas, T Wilke
Springer, 2002
3112002
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
2071987
Infinite Games and Verification: Extended Abstract of a Tutorial
W Thomas
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
1752002
Automata, logics, and infinite Games. LNCS, vol. 2500
E Grädel, W Thomas, T Wilke
Springer, Heidelberg, 2002
1632002
Star-free regular sets of ω-sequences
W Thomas
Information and Control 42 (2), 148-156, 1979
1521979
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
1501996
A combinatorial approach to the theory of ω-automata
W Thomas
Information and Control 48 (3), 261-283, 1981
1361981
Logical specifications of infinite computations
W Thomas, H Lescow
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994
1261994
On logics, tilings, and automata
W Thomas
International Colloquium on Automata, Languages, and Programming, 441-454, 1991
1251991
Automaton on Infinite Objects
W Thomas
HANDBOOK OF THEORETICAL SCIENCE, Cp. 4, 1990
1211990
Alternating automata and logics over infinite words
C Loding, W Thomas
IFIP International Conference on Theoretical Computer Science, 521-535, 2000
1172000
On logical definability of trace languages
W Thomas
Proceedings of a workshop of the ESPRIT Basic Research Action, 172-182, 1990
1091990
On the Ehrenfeucht-Fraïssé game in theoretical computer science
W Thomas
Colloquium on Trees in Algebra and Programming, 559-568, 1993
1041993
The system can't perform the operation now. Try again later.
Articles 1–20