| 2017 | CSL | Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk). | Wolfgang Thomas |
| 2017 | LATA | N-Memory Automata over the Alphabet N. | Benedikt Brtsch, Patrick Landwehr, Wolfgang Thomas |
| 2015 | DLT | Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. | Christopher Czyba, Christopher Spinrath, Wolfgang Thomas |
| 2012 | CAV | Synthesis and Some of Its Challenges. | Wolfgang Thomas |
| 2011 | DLT | Languages vs. | Namit Chaturvedi, Jrg Olschewski, Wolfgang Thomas |
| 2010 | FOSSACS | Degrees of Lookahead in Regular Infinite Games. | Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas |
| 2009 | CSR | The Reachability Problem over Infinite Graphs. | Wolfgang Thomas |
| 2009 | FCT | Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. | Paul Hnsch, Michaela Slaats, Wolfgang Thomas |
| 2009 | FOSSACS | Facets of Synthesis: Revisiting Church's Problem. | Wolfgang Thomas |
| 2008 | ATVA | Optimal Strategy Synthesis in Request-Response Games. | Florian Horn, Wolfgang Thomas, Nico Wallmeier |
| 2008 | CSL | Model Transformations in Decidability Proofs for Monadic Theories. | Wolfgang Thomas |
| 2008 | SOFSEM | Optimizing Winning Strategies in Regular Infinite Games. | Wolfgang Thomas |
| 2007 | CSL | Logical Refinements of Church's Problem. | Alexander Rabinovich, Wolfgang Thomas |
| 2006 | CSL | Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. | Alexander Moshe Rabinovich, Wolfgang Thomas |
| 2006 | ICALP | On Intersection Problems for Polynomially Generated Sets. | Karianto Wong, Aloys Krieg, Wolfgang Thomas |
| 2005 | ATVA | Some Perspectives of Infinite-State Verification. | Wolfgang Thomas |
| 2005 | FCT | Deterministic Automata on Unranked Trees. | Julien Cristau, Christof Lding, Wolfgang Thomas |
| 2004 | LICS | Model Checking Synchronized Products of Infinite Transition Systems. | Stefan Whrle, Wolfgang Thomas |
| 2003 | MFCS | Constructing Infinite Graphs with a Decidable MSO-Theory. | Wolfgang Thomas |
| 2002 | CAV | Infinite Games and Verification (Extended Abstract of a Tutorial). | Wolfgang Thomas |
| 2002 | CSL | Solving Pushdown Games with a Sigma | Thierry Cachat, Jacques Duparc, Wolfgang Thomas |
| 2002 | DLT | Tiling Systems over Infinite Pictures and Their Acceptance Conditions. | Jan-Henrik Altenbernd, Wolfgang Thomas, Stefan Whrle |
| 2001 | DLT | A Short Introduction to Infinite Automata. | Wolfgang Thomas |
| 2001 | LICS | The Engineering Challenge for Logic. | Wolfgang Thomas |
| 2000 | MFCS | The Monadic Theory of Morphic Infinite Words and Generalizations. | Olivier Carton, Wolfgang Thomas |
| 1998 | LICS | Monadic Logic and Automata: Recent Developments. | Wolfgang Thomas |
| 1997 | LICS | The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. | Oliver Matz, Wolfgang Thomas |
| 1995 | DLT | Counter-Free Automata, First-Order Logic and Star-Free Expressions. | Ina Schiering, Wolfgang Thomas |
| 1995 | STACS | On the Synthesis of Strategies in Infinite Games. | Wolfgang Thomas |
| 1994 | STACS | Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. | Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas |
| 1993 | DLT | Tree Languages Recognizable by Regular Frontier Check. | Eija Jurvanen, Andreas Potthoff, Wolfgang Thomas |
| 1993 | FCT | Regular Tree Languages Without Unary Symbols are Star-Free. | Andreas Potthoff, Wolfgang Thomas |
| 1991 | ICALP | On Logics, Tilings, and Automata. | Wolfgang Thomas |
| 1990 | STACS | Infinite Trees and Automaton Definable Relations over Omega-Words. | Wolfgang Thomas |
| 1989 | STACS | AMORE: A System for Computing Automata, MOnoids, and Regular Expressions. | V. Kell, Albert Maier, Andreas Potthoff, Wolfgang Thomas, U. Wermuth |
| 1988 | ICALP | regular Languages Defined with Generalized Quantifiers. | Howard Straubing, Denis Thrien, Wolfgang Thomas |
| 1987 | ICALP | Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. | Thilo Hafer, Wolfgang Thomas |
| 1987 | LICS | On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees | Wolfgang Thomas |