Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik. - Wolfgang Thomas (1975)

A note on undecidable extensions of monadic second order successor arithmetic. - Wolfgang Thomas (Arch. Math. Log., 1975)

Star-Free Regular Sets of omega-Sequences - Wolfgang Thomas (Inf. Control., 1979)

On the Bounded Monadic Theory of Well-Ordered Structures. - Wolfgang Thomas (J. Symb. Log., 1980)

Remark on the Star-Height-Problem. - Wolfgang Thomas (Theor. Comput. Sci., 1981)

A Combinatorial Approach to the Theory of omega-Automata - Wolfgang Thomas (Inf. Control., 1981)

Classifying Regular Events in Symbolic Logic. - Wolfgang Thomas (J. Comput. Syst. Sci., 1982)

A hierarchy of sets of infinite trees. - Wolfgang Thomas (Theoretical Computer Science, 1983)

Mathematical logic. - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (Springer, 1984)

Logical Aspects in the Study of Tree Languages. - Wolfgang Thomas (CAAP, 1984)

European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983. - Walter Oberschelp; Britta Schinzel; Wolfgang Thomas; Michael M. Richter (J. Symb. Log., 1985)

On Frontiers of Regular Trees. - Wolfgang Thomas (RAIRO Theor. Informatics Appl., 1986)

A Concatenation Game and the Dot-Depth Hierarchy. - Wolfgang Thomas (Computation Theory and Logic, 1987)

Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. - Thilo Hafer; Wolfgang Thomas (ICALP, 1987)

On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees - Wolfgang Thomas (LICS, 1987)

regular Languages Defined with Generalized Quantifiers. - Howard Straubing; Denis Thérien; Wolfgang Thomas (ICALP, 1988)

Automata and quantifier hierarchies. - Wolfgang Thomas (Formal Properties of Finite Automata and Applications, 1988)

Computation tree logic and regular omega-languages. - Wolfgang Thomas (REX Workshop, 1988)

AMORE: A System for Computing Automata, MOnoids, and Regular Expressions. - V. Kell; Albert Maier; Andreas Potthoff; Wolfgang Thomas; U. Wermuth (STACS, 1989)

Automata on Infinite Objects. - Wolfgang Thomas (Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990)

Infinite Trees and Automaton Definable Relations over Omega-Words. - Wolfgang Thomas (STACS, 1990)

On Logics, Tilings, and Automata. - Wolfgang Thomas (ICALP, 1991)

Einführung in die mathematische Logik (3. Aufl.). - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (BI-Wissenschaftsverlag, 1992)

Infinite Trees and Automation-Definable Relations over omega-Words. - Wolfgang Thomas (Theor. Comput. Sci., 1992)

Komplexitätstheorie und Algorithmik. - Kurt Mehlhorn; Volker Claus; Wolfgang Thomas (Perspektiven der Informatik, 1993)

Logik in der Informatik. - Wolfgang Thomas (Perspektiven der Informatik, 1993)

Semantik und Verifikation. - Wolfgang Thomas (Perspektiven der Informatik, 1993)

Tree Languages Recognizable by Regular Frontier Check. - Eija Jurvanen; Andreas Potthoff; Wolfgang Thomas (Developments in Language Theory, 1993)

Regular Tree Languages Without Unary Symbols are Star-Free. - Andreas Potthoff; Wolfgang Thomas (FCT, 1993)

Logical Specifications of Infinite Computations. - Wolfgang Thomas; Helmut Lescow (REX School/Symposium, 1993)

On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. - Wolfgang Thomas (TAPSOFT, 1993)

Mathematical logic (2. ed.). - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (Springer, 1994)

Finite-State Strategies in Regular Infinite Games. - Wolfgang Thomas (FSTTCS, 1994)

Finite-State Recognizability and Logic: from Words to Graphs. - Wolfgang Thomas (IFIP Congress (1), 1994)

Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. - Dora Giammarresi; Antonio Restivo; Sebastian Seibert; Wolfgang Thomas (STACS, 1994)

Counter-Free Automata, First-Order Logic and Star-Free Expressions. - Ina Schiering; Wolfgang Thomas (Developments in Language Theory, 1995)

On the Synthesis of Strategies in Infinite Games. - Wolfgang Thomas (STACS, 1995)

Regular Languages Defined with Generalized Quanifiers - Howard Straubing; Denis Thérien; Wolfgang Thomas (Inf. Comput., 1995)

Einführung in die mathematische Logik (4. Aufl.). - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (Spektrum Akadem. Verl., 1996)

Elements of an automata theory over partial orders. - Wolfgang Thomas (Partial Order Methods in Verification, 1996)

Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems. - Dora Giammarresi; Antonio Restivo; Sebastian Seibert; Wolfgang Thomas (Inf. Comput., 1996)

Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. - Wolfgang Thomas (Structures in Logic and Computer Science, 1997)

Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. - Nils Buhrke; Wolfgang Thomas; Jens Vöge (FBT, 1997)

The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. - Oliver Matz; Wolfgang Thomas (LICS, 1997)

Automata Theory on Trees and Partial Orders. - Wolfgang Thomas (TAPSOFT, 1997)

Languages, Automata, and Logic. - Wolfgang Thomas (Handbook of Formal Languages (3), 1997)

Monadic Logic and Automata: Recent Developments. - Wolfgang Thomas (LICS, 1998)

Die Logiken von Boole und Büchi-Elgot-Trakhtenbrot in der Beschreibung diskreter Systeme. - Wolfgang Thomas (Angewandte Mathematik, insbesondere Informatik, 1999)

Complementation of Büchi Automata Revised. - Wolfgang Thomas (Jewels are Forever, 1999)

Alternating Automata and Logics over Infinite Words. - Christof Löding; Wolfgang Thomas (IFIP TCS, 2000)

Logic for Computer Science: The Engineering Challenge. - Wolfgang Thomas (Informatics, 2001)

A Short Introduction to Infinite Automata. - Wolfgang Thomas (Developments in Language Theory, 2001)

The Engineering Challenge for Logic. - Wolfgang Thomas (LICS, 2001)

Infinite Games and Verification (Extended Abstract of a Tutorial). - Wolfgang Thomas (CAV, 2002)

Solving Pushdown Games with a Sigma3 Winning Condition. - Thierry Cachat; Jacques Duparc; Wolfgang Thomas (CSL, 2002)

Tiling Systems over Infinite Pictures and Their Acceptance Conditions. - Jan-Henrik Altenbernd; Wolfgang Thomas; Stefan Wöhrle (Developments in Language Theory, 2002)

The Monadic Theory of Morphic Infinite Words and Generalizations. - Olivier Carton; Wolfgang Thomas (Inf. Comput., 2002)

The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. - Oliver Matz; Nicole Schweikardt; Wolfgang Thomas (Inf. Comput., 2002)

Ein e-Lecture-System für die Theoretische Informatik. - Philipp Rohde; Wolfgang Thomas (DeLFI, 2003)

Constructing Infinite Graphs with a Decidable MSO-Theory. - Wolfgang Thomas (MFCS, 2003)

Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. - Nico Wallmeier; Patrick Hütten; Wolfgang Thomas (CIAA, 2003)

Uniform and nonuniform recognizability. - Wolfgang Thomas (Theor. Comput. Sci., 2003)

Some Perspectives of Infinite-State Verification. - Wolfgang Thomas (ATVA, 2005)

05241 Executive Summary - Synthesis and Planning. - Henry A. Kautz; Wolfgang Thomas; Moshe Y. Vardi (Synthesis and Planning, 2005)

05241 Abstracts Collection - Synthesis and Planning. - Henry A. Kautz; Wolfgang Thomas; Moshe Y. Vardi (Synthesis and Planning, 2005)

Deterministic Automata on Unranked Trees. - Wolfgang Thomas; Julien Cristau; Christof Löding (Foundations of Semistructured Data, 2005)

Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. - Alexander Moshe Rabinovich; Wolfgang Thomas (CSL, 2006)

On Intersection Problems for Polynomially Generated Sets. - Karianto Wong; Aloys Krieg; Wolfgang Thomas (ICALP (2), 2006)

Observations on determinization of Büchi automata. - Christoph Schulte Althoff; Wolfgang Thomas; Nico Wallmeier (Theor. Comput. Sci., 2006)

Einführung in die mathematische Logik (5. Aufl.). - Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas (Spektrum Akademischer Verlag, 2007)

Logical Refinements of Church's Problem. - Alexander Rabinovich; Wolfgang Thomas (CSL, 2007)

The role of pseudo-wires for layer 2 services in intelligent transport networks. - Dieter Stoll; Wolfgang Thomas; Martin Belzner (Bell Labs Tech. J., 2007)

A Game Theoretic Approach to the Analysis of Dynamic Networks. - Frank G. Radmacher; Wolfgang Thomas (VerAS@TPHOLs, 2007)

Model Checking Synchronized Products of Infinite Transition Systems. - Stefan Wöhrle; Wolfgang Thomas (Log. Methods Comput. Sci., 2007)

Optimal Strategy Synthesis in Request-Response Games. - Florian Horn 001; Wolfgang Thomas; Nico Wallmeier (ATVA, 2008)

Church's Problem and a Tour through Automata Theory. - Wolfgang Thomas (Pillars of Computer Science, 2008)

Model Transformations in Decidability Proofs for Monadic Theories. - Wolfgang Thomas (CSL, 2008)

08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. - Peter Hertling; Victor L. Selivanov; Wolfgang Thomas; William W. Wadge; Klaus W. Wagner (Topological and Game-Theoretic Aspects of Infinite Computations, 2008)

08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. - Peter Hertling; Victor L. Selivanov; Wolfgang Thomas; William W. Wadge; Klaus W. Wagner (Topological and Game-Theoretic Aspects of Infinite Computations, 2008)

Optimizing Winning Strategies in Regular Infinite Games. - Wolfgang Thomas (SOFSEM, 2008)

The Reachability Problem over Infinite Graphs. - Wolfgang Thomas (CSR, 2009)

Synthesis of behavioral controllers for Discrete Event Systems with NCES-like Petri net models. - Kai Bollue; Dirk Abel; Wolfgang Thomas (ECC, 2009)

Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. - Paul Hänsch; Michaela Slaats; Wolfgang Thomas (FCT, 2009)

Facets of Synthesis: Revisiting Church's Problem. - Wolfgang Thomas (FoSSaCS, 2009)

The Complexity of Reachability in Randomized Sabotage Games. - Dominik Klein 001; Frank G. Radmacher; Wolfgang Thomas (FSEN, 2009)

Compositionality and Reachability with Conditions on Path Lengths. - Ingo Felscher; Wolfgang Thomas (Int. J. Found. Comput. Sci., 2009)

DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). - Wolfgang Thomas; Kai Bollue; Dominique Gückel; Gustavo Quiros; Michaela Slaats; Michael Ummels (it Inf. Technol., 2009)

On Monadic Theories of Monadic Predicates. - Wolfgang Thomas (Fields of Logic and Computation, 2010)

10501 Abstracts Collection - Advances and Applications of Automata on Words and Trees. - Christian Glaßer; Jean-Eric Pin; Nicole Schweikardt; Victor L. Selivanov; Wolfgang Thomas (Advances and Applications of Automata on Words and Trees, 2010)

10501 Executive Summary - Advances and Applications of Automata on Words and Trees. - Christian Glaßer; Jean-Eric Pin; Nicole Schweikardt; Victor L. Selivanov; Wolfgang Thomas (Advances and Applications of Automata on Words and Trees, 2010)

A Game-Theoretic Approach to Routing under Adversarial Conditions. - James Gross; Frank G. Radmacher; Wolfgang Thomas (IFIP TCS, 2010)

Synthesis of behavioral controllers for DES: Increasing efficiency. - Kai Bollue; Michaela Slaats; Erika Ábrahám; Wolfgang Thomas; Dirk Abel (WODES, 2010)

Theoretische Informatik. - Wolfgang Thomas (Inform. Spektrum, 2010)

Theoretische Informatik - ein Kurzprofil. - Wolfgang Thomas (Inform. Spektrum, 2010)

"When nobody else dreamed of these things" - Axel Thue und die Termersetzung. - Wolfgang Thomas (Inform. Spektrum, 2010)

Preface of STACS 2007 Special Issue. - Wolfgang Thomas; Pascal Weil (Theory Comput. Syst., 2010)

Languages vs. ω-Languages in Regular Infinite Games. - Namit Chaturvedi; Jörg Olschewski; Wolfgang Thomas (Developments in Language Theory, 2011)

Infinite Games and Uniformization. - Wolfgang Thomas (ICLA, 2011)

Compositional Failure Detection in Structured Transition Systems. - Ingo Felscher; Wolfgang Thomas (CIAA, 2011)

Trees over Infinite Structures and Path Logics with Synchronization - Alex Spelten; Wolfgang Thomas; Sarah Winter (INFINITY, 2011)

Finite Automata and the Analysis of Infinite Transition Systems. - Wolfgang Thomas (Modern Applications of Automata Theory, 2012)

Synthesis and Some of Its Challenges. - Wolfgang Thomas (CAV, 2012)

Degrees of Lookahead in Regular Infinite Games - Michael Holtmann; Lukasz Kaiser; Wolfgang Thomas (Log. Methods Comput. Sci., 2012)

Languages versus ω-Languages in Regular Infinite Games. - Namit Chaturvedi; Jörg Olschewski; Wolfgang Thomas (Int. J. Found. Comput. Sci., 2012)

Editorial. - Franz Baader; Wolfgang Thomas (Inform. Spektrum, 2012)

Turings Arbeiten über Berechenbarkeit - eine Einführung und Lesehilfe. - Uwe Schöning; Wolfgang Thomas (Inform. Spektrum, 2012)

Moving in a network under random failures: A complexity analysis. - Dominik Klein 001; Frank G. Radmacher; Wolfgang Thomas (Sci. Comput. Program., 2012)

Connectivity games over dynamic networks. - Sten Grüner; Frank G. Radmacher; Wolfgang Thomas (Theor. Comput. Sci., 2013)

Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung. - Wolfgang Thomas (Keller, Stack und automatisches Gedächtnis, 2014)

Obituary Robert McNaughton 1924 - 2014. - John Corcoran; Paliath Narendran; Wolfgang Thomas (Bull. EATCS, 2014)

Composition Over the Natural Number Ordering with an Extra Binary Relation. - Wolfgang Thomas (Fields of Logic and Computation II, 2015)

Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). - Krishnendu Chatterjee; Stéphane Lafortune; Nicolas Markey; Wolfgang Thomas (Dagstuhl Reports, 2015)

Optimal strategy synthesis for request-response games. - Florian Horn 001; Wolfgang Thomas; Nico Wallmeier; Martin Zimmermann 002 (RAIRO Theor. Informatics Appl., 2015)

Playing Games in the Baire Space. - Benedikt Brütsch; Wolfgang Thomas (Cassting/SynCoP, 2016)

EATCS Fellows' Advice to the Young Theoretical Computer Scientist. - Luca Aceto; Mariangiola Dezani-Ciancaglini; Yuri Gurevich; David Harel; Monika Henzinger; Giuseppe F. Italiano; Scott A. Smolka; Paul G. Spirakis; Wolfgang Thomas (Bull. EATCS, 2016)

Viewpoints on "Logic activities in Europe", twenty years later. - Luca Aceto; Thomas A. Henzinger; Joost-Pieter Katoen; Wolfgang Thomas; Moshe Y. Vardi (Bull. EATCS, 2016)

LIPIcs - an Open-Access Series for International Conference Proceedings. - Marc Herbstritt; Wolfgang Thomas (ERCIM News, 2016)

Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk). - Wolfgang Thomas (CSL, 2017)

N-Memory Automata over the Alphabet N. - Benedikt Brütsch; Patrick Landwehr; Wolfgang Thomas (LATA, 2017)

Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. - Christopher Czyba; Wolfgang Thomas; Christopher Spinrath (Int. J. Found. Comput. Sci., 2018)

Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor. - Wolfgang Thomas (ACM SIGLOG News, 2018)

Automata on finite trees. - Christof Löding; Wolfgang Thomas (Handbook of Automata Theory (I.), 2021)

Solving Infinite Games in the Baire Space. - Benedikt Brütsch; Wolfgang Thomas (Fundam. Informaticae, 2022)

On the Boolean Closure of Deterministic Top-Down Tree Automata. - Christof Löding; Wolfgang Thomas (Int. J. Found. Comput. Sci., 2024)