Wolfgang Thomas
Wolfgang Thomas
Prof of Computer Science, RWTH Aachen University
Email verificata su cs.rwth-aachen.de
Titolo
Citata da
Citata da
Anno
Automata on infinite objects
W Thomas
Formal Models and Semantics, 133-191, 1990
20561990
Mathematical logic
HD Ebbinghaus, J Flum, W Thomas, AS Ferebee
Springer, 1994
13091994
Languages, automata, and logic
W Thomas
Handbook of formal languages, 389-455, 1997
12971997
Automata, logics, and infinite games: a guide to current research
E Gradel, W Thomas
Springer Science & Business Media, 2002
8282002
On the synthesis of strategies in infinite games
W Thomas
Annual Symposium on Theoretical Aspects of Computer Science, 1-13, 1995
5171995
Classifying regular events in symbolic logic
W Thomas
Journal of Computer and System Sciences 25 (3), 360-376, 1982
3591982
Einfhrung in die mathematische Logik
HD Ebbinghaus, J Flum, W Thomas
BI Wissenschaftsverlag, 1992
3421992
Automata, logics, and infinite Games. LNCS, vol. 2500
E Grdel, W Thomas, T Wilke
Springer, Heidelberg, 2002
3022002
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
1971987
Automata, logics, and infinite games, volume 2500 of LNCS
E Grdel, W Thomas, T Wilke
Springer, 2002
1792002
Infinite games and verification
W Thomas
International Conference on Computer Aided Verification, 58-65, 2002
1622002
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
1351996
Star-free regular sets of ω-sequences
W Thomas
Information and Control 42 (2), 148-156, 1979
1351979
Logical specifications of infinite computations
W Thomas, H Lescow
Workshop/School/Symposium of the REX Project (Research and Education in…, 1993
1191993
A combinatorial approach to the theory of ω-automata
W Thomas
Information and Control 48 (3), 261-283, 1981
1171981
On logics, tilings, and automata
W Thomas
International Colloquium on Automata, Languages, and Programming, 441-454, 1991
1111991
Alternating automata and logics over infinite words
C Loding, W Thomas
IFIP International Conference on Theoretical Computer Science, 521-535, 2000
1062000
Automata on infinite objects. In van Leeuwen, J.(Ed.): Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics
W Thomas
Elsevier Science Publishers, 1990
1051990
On logical definability of trace languages
W Thomas
Proceedings of a workshop of the ESPRIT Basic Research Action, 172-182, 1990
1051990
Handbook of Theoretical Computer Science, volume B, chapter Automata on Infinite Objects
W Thomas
Elsevier, 1990
971990
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20