Wolfgang Thomas

Publication Activity (10 Years)

Years Active: 1975-2024
Publications (10 Years): 11

Top Venues

CoRR

Bull. EATCS

Int. J. Found. Comput. Sci.

Fundam. Informaticae

Universität Freiburg (PHD)

Education History

Universität Freiburg

PHD

Publications

Christof Löding, Wolfgang Thomas
On the Boolean Closure of Deterministic Top-Down Tree Automata. CoRR (2024)
Christof Löding, Wolfgang Thomas
On the Boolean Closure of Deterministic Top-Down Tree Automata. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Benedikt Brütsch, Wolfgang Thomas
Solving Infinite Games in the Baire Space. Fundam. Informaticae 186 (1-4) (2022)
Benedikt Brütsch, Wolfgang Thomas
Solving Infinite Games in the Baire Space. CoRR (2021)
Christopher Czyba, Wolfgang Thomas, Christopher Spinrath
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. Int. J. Found. Comput. Sci. 29 (2) (2018)
Wolfgang Thomas
Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor. ACM SIGLOG News 5 (1) (2018)
Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas
N-Memory Automata over the Alphabet N. LATA (2017)
Wolfgang Thomas
Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk). CSL (2017)
Benedikt Brütsch, Wolfgang Thomas
Playing Games in the Baire Space. Cassting/SynCoP (2016)
Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi
Viewpoints on "Logic activities in Europe", twenty years later. Bull. EATCS 118 (2016)
Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS 119 (2016)
Christopher Czyba, Christopher Spinrath, Wolfgang Thomas
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. DLT (2015)
Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
Optimal strategy synthesis for request-response games. RAIRO Theor. Informatics Appl. 49 (3) (2015)
Wolfgang Thomas
Composition Over the Natural Number Ordering with an Extra Binary Relation. Fields of Logic and Computation II (2015)
Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports 5 (2) (2015)
John Corcoran, Paliath Narendran, Wolfgang Thomas
Obituary Robert McNaughton 1924 - 2014. Bull. EATCS 114 (2014)
Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
Optimal Strategy Synthesis for Request-Response Games. CoRR (2014)
Wolfgang Thomas
Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung. Keller, Stack und automatisches Gedächtnis (2014)
Sten Grüner, Frank G. Radmacher, Wolfgang Thomas
Connectivity games over dynamic networks. Theor. Comput. Sci. 493 (2013)
Wolfgang Thomas
Synthesis and Some of Its Challenges. CAV (2012)
Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas
Languages versus ω-Languages in Regular Infinite Games. Int. J. Found. Comput. Sci. 23 (5) (2012)
Franz Baader, Wolfgang Thomas
Editorial. Inform. Spektrum 35 (4) (2012)
Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas
Degrees of Lookahead in Regular Infinite Games Log. Methods Comput. Sci. 8 (3) (2012)
Dominik Klein, Frank G. Radmacher, Wolfgang Thomas
Moving in a network under random failures: A complexity analysis. Sci. Comput. Program. 77 (7-8) (2012)
Uwe Schöning, Wolfgang Thomas
Turings Arbeiten über Berechenbarkeit - eine Einführung und Lesehilfe. Inform. Spektrum 35 (4) (2012)
Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas
-Languages in Regular Infinite Games. Developments in Language Theory (2011)
Sten Grüner, Frank G. Radmacher, Wolfgang Thomas
Connectivity Games over Dynamic Networks GandALF (2011)
Wolfgang Thomas
Infinite Games and Uniformization. ICLA (2011)
Alex Spelten, Wolfgang Thomas, Sarah Winter
Trees over Infinite Structures and Path Logics with Synchronization INFINITY (2011)
Ingo Felscher, Wolfgang Thomas
Compositional Failure Detection in Structured Transition Systems. CIAA (2011)
Wolfgang Thomas
Theoretische Informatik - ein Kurzprofil. Inform. Spektrum 33 (5) (2010)
Wolfgang Thomas, Pascal Weil
Preface of STACS 2007 Special Issue. Theory Comput. Syst. 46 (3) (2010)
Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas
Degrees of Lookahead in Regular Infinite Games. FoSSaCS (2010)
James Gross, Frank G. Radmacher, Wolfgang Thomas
A Game-Theoretic Approach to Routing under Adversarial Conditions. IFIP TCS (2010)
Wolfgang Thomas
"When nobody else dreamed of these things" - Axel Thue und die Termersetzung. Inform. Spektrum 33 (5) (2010)
Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel
Synthesis of behavioral controllers for DES: Increasing efficiency. WODES (2010)
Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas
10501 Executive Summary - Advances and Applications of Automata on Words and Trees. Advances and Applications of Automata on Words and Trees (2010)
Wolfgang Thomas
On Monadic Theories of Monadic Predicates. Fields of Logic and Computation (2010)
Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas
10501 Abstracts Collection - Advances and Applications of Automata on Words and Trees. Advances and Applications of Automata on Words and Trees (2010)
Wolfgang Thomas
Theoretische Informatik. Inform. Spektrum 33 (5) (2010)
Wolfgang Thomas
Facets of Synthesis: Revisiting Church's Problem. FoSSaCS (2009)
Wolfgang Thomas
The Reachability Problem over Infinite Graphs. CSR (2009)
Dominik Klein, Frank G. Radmacher, Wolfgang Thomas
The Complexity of Reachability in Randomized Sabotage Games. FSEN (2009)
Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). it Inf. Technol. 51 (4) (2009)
Paul Hänsch, Michaela Slaats, Wolfgang Thomas
Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. FCT (2009)
Ingo Felscher, Wolfgang Thomas
Compositionality and Reachability with Conditions on Path Lengths. Int. J. Found. Comput. Sci. 20 (5) (2009)
Kai Bollue, Dirk Abel, Wolfgang Thomas
Synthesis of behavioral controllers for Discrete Event Systems with NCES-like Petri net models. ECC (2009)
Florian Horn, Wolfgang Thomas, Nico Wallmeier
Optimal Strategy Synthesis in Request-Response Games. ATVA (2008)
Wolfgang Thomas
Optimizing Winning Strategies in Regular Infinite Games. SOFSEM (2008)
Wolfgang Thomas
Model Transformations in Decidability Proofs for Monadic Theories. CSL (2008)
Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Wolfgang Thomas
Church's Problem and a Tour through Automata Theory. Pillars of Computer Science (2008)
Frank G. Radmacher, Wolfgang Thomas
A Game Theoretic Approach to the Analysis of Dynamic Networks. Electron. Notes Theor. Comput. Sci. 200 (2) (2008)
Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Dieter Stoll, Wolfgang Thomas, Martin Belzner
The role of pseudo-wires for layer 2 services in intelligent transport networks. Bell Labs Tech. J. 12 (1) (2007)
Alexander Rabinovich, Wolfgang Thomas
Logical Refinements of Church's Problem. CSL (2007)
Stefan Wöhrle, Wolfgang Thomas
Model Checking Synchronized Products of Infinite Transition Systems CoRR (2007)
Stefan Wöhrle, Wolfgang Thomas
Model Checking Synchronized Products of Infinite Transition Systems. Log. Methods Comput. Sci. 3 (4) (2007)
Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
Observations on determinization of Büchi automata. Theor. Comput. Sci. 363 (2) (2006)
Alexander Moshe Rabinovich, Wolfgang Thomas
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. CSL (2006)
Karianto Wong, Aloys Krieg, Wolfgang Thomas
On Intersection Problems for Polynomially Generated Sets. ICALP (2) (2006)
Wolfgang Thomas
Some Perspectives of Infinite-State Verification. ATVA (2005)
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning (2005)
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
05241 Executive Summary - Synthesis and Planning. Synthesis and Planning (2005)
Julien Cristau, Christof Löding, Wolfgang Thomas
Deterministic Automata on Unranked Trees. FCT (2005)
Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
Observations on Determinization of Büchi Automata. CIAA (2005)
Wolfgang Thomas, Julien Cristau, Christof Löding
Deterministic Automata on Unranked Trees. Foundations of Semistructured Data (2005)
Stefan Wöhrle, Wolfgang Thomas
Model Checking Synchronized Products of Infinite Transition Systems. LICS (2004)
Wolfgang Thomas
Uniform and nonuniform recognizability. Theor. Comput. Sci. 292 (1) (2003)
Philipp Rohde, Wolfgang Thomas
Ein e-Lecture-System für die Theoretische Informatik. DeLFI (2003)
Nico Wallmeier, Patrick Hütten, Wolfgang Thomas
Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. CIAA (2003)
Wolfgang Thomas
Constructing Infinite Graphs with a Decidable MSO-Theory. MFCS (2003)
Oliver Matz, Nicole Schweikardt, Wolfgang Thomas
The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. Inf. Comput. 179 (2) (2002)
Olivier Carton, Wolfgang Thomas
The Monadic Theory of Morphic Infinite Words and Generalizations. Inf. Comput. 176 (1) (2002)
Jan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle
Tiling Systems over Infinite Pictures and Their Acceptance Conditions. Developments in Language Theory (2002)
Wolfgang Thomas
Infinite Games and Verification (Extended Abstract of a Tutorial). CAV (2002)
Thierry Cachat, Jacques Duparc, Wolfgang Thomas
Winning Condition. CSL (2002)
Wolfgang Thomas
Logic for Computer Science: The Engineering Challenge. Informatics (2001)
Wolfgang Thomas
A Short Introduction to Infinite Automata. Developments in Language Theory (2001)
Wolfgang Thomas
The Engineering Challenge for Logic. LICS (2001)
Christof Löding, Wolfgang Thomas
Alternating Automata and Logics over Infinite Words. IFIP TCS (2000)
Olivier Carton, Wolfgang Thomas
The Monadic Theory of Morphic Infinite Words and Generalizations. MFCS (2000)
Wolfgang Thomas
Complementation of Büchi Automata Revised. Jewels are Forever (1999)
Wolfgang Thomas
Monadic Logic and Automata: Recent Developments. LICS (1998)
Wolfgang Thomas
Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. Structures in Logic and Computer Science (1997)
Wolfgang Thomas
Automata Theory on Trees and Partial Orders. TAPSOFT (1997)
Nils Buhrke, Wolfgang Thomas, Jens Vöge
Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT (1997)
Oliver Matz, Wolfgang Thomas
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. LICS (1997)
Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas
Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems. Inf. Comput. 125 (1) (1996)
Wolfgang Thomas
Elements of an automata theory over partial orders. Partial Order Methods in Verification (1996)
Ina Schiering, Wolfgang Thomas
Counter-Free Automata, First-Order Logic and Star-Free Expressions. Developments in Language Theory (1995)
Howard Straubing, Denis Thérien, Wolfgang Thomas
Regular Languages Defined with Generalized Quanifiers Inf. Comput. 118 (2) (1995)
Wolfgang Thomas
On the Synthesis of Strategies in Infinite Games. STACS (1995)
Wolfgang Thomas
Finite-State Recognizability and Logic: from Words to Graphs. IFIP Congress (1) (1994)
Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas
Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. STACS (1994)
Wolfgang Thomas
Finite-State Strategies in Regular Infinite Games. FSTTCS (1994)
Wolfgang Thomas
Logik in der Informatik. Perspektiven der Informatik (1993)
Wolfgang Thomas, Helmut Lescow
Logical Specifications of Infinite Computations. REX School/Symposium (1993)
Wolfgang Thomas
On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. TAPSOFT (1993)
Wolfgang Thomas
Semantik und Verifikation. Perspektiven der Informatik (1993)

Wolfgang Thomas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Thomas