Wolfgang Thomas

Deterministic Automata on Unranked Trees

Christof Löding, Julien Cristau, Wolfgang Thomas, 2005, FCT.

Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II

Yossi Matias, Sotiris E. Nikoletseas, Susanne Albers, 2009 .

Handbook of Formal Languages

Wolfgang Thomas, 1997, Springer Berlin Heidelberg.

Automata, languages and programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings

Yossi Matias, Susanne Albers, Alberto Marchetti-Spaccamela, 2009 .

Synthesis and Planning, 12.-17. June 2005

Moshe Y. Vardi, Wolfgang Thomas, Henry Kautz, 2006, Synthesis and Planning.

Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems

Antonio Restivo, Wolfgang Thomas, Dora Giammarresi, 1996, Inf. Comput..

The Monadic Theory of Morphic Infinite Words and Generalizations

Olivier Carton, Wolfgang Thomas, 2002, Inf. Comput..