| Automata on infinite objects W Thomas Formal Models and Semantics, 133-191, 1990 | 2173 | 1990 |
| Mathematical logic HD Ebbinghaus, J Flum, W Thomas, AS Ferebee Springer, 1994 | 1436 | 1994 |
| Languages, automata, and logic W Thomas Handbook of Formal Languages: Volume 3 Beyond Words, 389-455, 1997 | 1379 | 1997 |
| Automata, logics, and infinite games: a guide to current research E Grädel, W Thomas, T Wilke Springer, 2003 | 1110 | 2003 |
| On the synthesis of strategies in infinite games W Thomas Annual Symposium on Theoretical Aspects of Computer Science, 1-13, 1995 | 552 | 1995 |
| Classifying regular events in symbolic logic W Thomas Journal of Computer and System Sciences 25 (3), 360-376, 1982 | 382 | 1982 |
| Einführung in die mathematische Logik HD Ebbinghaus, J Flum, W Thomas Wissenschaftliche Buchgesellschaft, 1978 | 370 | 1978 |
| Automata, logics, and infinite games, volume 2500 of LNCS E Grädel, W Thomas, T Wilke Springer, 2002 | 311 | 2002 |
| 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 | 207 | 1987 |
| Infinite Games and Verification: Extended Abstract of a Tutorial W Thomas Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 175 | 2002 |
| Automata, logics, and infinite Games. LNCS, vol. 2500 E Grädel, W Thomas, T Wilke Springer, Heidelberg, 2002 | 163 | 2002 |
| Star-free regular sets of ω-sequences W Thomas Information and Control 42 (2), 148-156, 1979 | 152 | 1979 |
| 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 | 150 | 1996 |
| A combinatorial approach to the theory of ω-automata W Thomas Information and Control 48 (3), 261-283, 1981 | 136 | 1981 |
| Logical specifications of infinite computations W Thomas, H Lescow A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 126 | 1994 |
| On logics, tilings, and automata W Thomas International Colloquium on Automata, Languages, and Programming, 441-454, 1991 | 125 | 1991 |
| Automaton on Infinite Objects W Thomas HANDBOOK OF THEORETICAL SCIENCE, Cp. 4, 1990 | 121 | 1990 |
| Alternating automata and logics over infinite words C Loding, W Thomas IFIP International Conference on Theoretical Computer Science, 521-535, 2000 | 117 | 2000 |
| On logical definability of trace languages W Thomas Proceedings of a workshop of the ESPRIT Basic Research Action, 172-182, 1990 | 110 | 1990 |
| On the Ehrenfeucht-Fraïssé game in theoretical computer science W Thomas Colloquium on Trees in Algebra and Programming, 559-568, 1993 | 104 | 1993 |
