| Automata on infinite objects W Thomas Formal Models and Semantics, 133-191, 1990 | 2220 | 1990 |
| Mathematical logic HD Ebbinghaus, J Flum, W Thomas, AS Ferebee Springer, 1994 | 1487 | 1994 |
| Languages, automata, and logic W Thomas Handbook of Formal Languages: Volume 3 Beyond Words, 389-455, 1997 | 1436 | 1997 |
| Automata, logics, and infinite games: a guide to current research E Grädel, W Thomas, T Wilke Springer, 2003 | 1113 | 2003 |
| On the synthesis of strategies in infinite games W Thomas Annual Symposium on Theoretical Aspects of Computer Science, 1-13, 1995 | 572 | 1995 |
| Automata, logics, and infinite Games. LNCS, vol. 2500 E Grädel, W Thomas, T Wilke Springer, Heidelberg, 2002 | 423 | 2002 |
| Einführung in die mathematische Logik HD Ebbinghaus, J Flum, W Thomas Wissenschaftliche Buchgesellschaft, 1978 | 393 | 1978 |
| Classifying regular events in symbolic logic W Thomas Journal of Computer and System Sciences 25 (3), 360-376, 1982 | 388 | 1982 |
| 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 | 217 | 1987 |
| Infinite Games and Verification: Extended Abstract of a Tutorial W Thomas Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 179 | 2002 |
| Automata, logics, and infinite games, volume 2500 of LNCS E Grädel, W Thomas, T Wilke Springer, 2002 | 176 | 2002 |
| Star-free regular sets of ω-sequences W Thomas Information and Control 42 (2), 148-156, 1979 | 159 | 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 | 155 | 1996 |
| A combinatorial approach to the theory of ω-automata W Thomas Information and Control 48 (3), 261-283, 1981 | 145 | 1981 |
| On logics, tilings, and automata W Thomas International Colloquium on Automata, Languages, and Programming, 441-454, 1991 | 129 | 1991 |
| Logical specifications of infinite computations W Thomas, H Lescow A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 126 | 1994 |
| 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 | 119 | 2000 |
| On logical definability of trace languages W Thomas Proceedings of a workshop of the ESPRIT Basic Research Action, 172-182, 1990 | 112 | 1990 |
| Logical Aspects in the Study of Tree Languages. W Thomas CAAP 84, 31-50, 1984 | 111 | 1984 |
