Wolfgang Thomas

147 papers A* 10A 6B 17C 11Misc 2Journal 43Unranked 40

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	On the Boolean Closure of Deterministic Top-Down Tree Automata. CoRR Christof Löding, Wolfgang Thomas
2024	J	`jnl`	On the Boolean Closure of Deterministic Top-Down Tree Automata. Int. J. Found. Comput. Sci. Christof Löding, Wolfgang Thomas
2022	—	`book`	50 Jahre Studiengang Informatik an der RWTH Helen Bolke-Hermanns, Joost-Pieter Katoen, Klaus Indermark, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas
2022	J	`jnl`	Solving Infinite Games in the Baire Space. Fundam. Informaticae Benedikt Brütsch, Wolfgang Thomas
2021	—	`ch.`	Automata on finite trees. Handbook of Automata Theory (I.) Christof Löding, Wolfgang Thomas
2021	J	`jnl`	Solving Infinite Games in the Baire Space. CoRR Benedikt Brütsch, Wolfgang Thomas
2018	J	`jnl`	Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor. ACM SIGLOG News Wolfgang Thomas
2018	J	`jnl`	Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. Int. J. Found. Comput. Sci. Christopher Czyba, Wolfgang Thomas, Christopher Spinrath
2017	B	`conf`	Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk). CSL Wolfgang Thomas
2017	C	`conf`	N-Memory Automata over the Alphabet N. LATA Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas
2016	J	`jnl`	EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
2016	J	`jnl`	LIPIcs - an Open-Access Series for International Conference Proceedings. ERCIM News Marc Herbstritt, Wolfgang Thomas
2016	—	`conf`	Playing Games in the Baire Space. Cassting/SynCoP Benedikt Brütsch, Wolfgang Thomas
2016	J	`jnl`	Viewpoints on "Logic activities in Europe", twenty years later. Bull. EATCS Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi
2015	—	`conf`	Composition Over the Natural Number Ordering with an Extra Binary Relation. Fields of Logic and Computation II Wolfgang Thomas
2015	C	`conf`	Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. DLT Christopher Czyba, Christopher Spinrath, Wolfgang Thomas
2015	J	`jnl`	Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas
2015	J	`jnl`	Optimal strategy synthesis for request-response games. RAIRO Theor. Informatics Appl. Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
2014	—	`conf`	Die Analyse von Kellerstrukturen: Eine Reise durch 50 Jahre Forschung. Keller, Stack und automatisches Gedächtnis Wolfgang Thomas
2014	J	`jnl`	Obituary Robert McNaughton 1924 - 2014. Bull. EATCS John Corcoran, Paliath Narendran, Wolfgang Thomas
2014	J	`jnl`	Optimal Strategy Synthesis for Request-Response Games. CoRR Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
2013	J	`jnl`	Connectivity games over dynamic networks. Theor. Comput. Sci. Sten Grüner, Frank G. Radmacher, Wolfgang Thomas
2012	J	`jnl`	Degrees of Lookahead in Regular Infinite Games Log. Methods Comput. Sci. Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas
2012	J	`jnl`	Editorial. Inform. Spektrum Franz Baader, Wolfgang Thomas
2012	—	`ch.`	Finite Automata and the Analysis of Infinite Transition Systems. Modern Applications of Automata Theory Wolfgang Thomas
2012	J	`jnl`	Languages versus ω-Languages in Regular Infinite Games. Int. J. Found. Comput. Sci. Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas
2012	J	`jnl`	Moving in a network under random failures: A complexity analysis. Sci. Comput. Program. Dominik Klein, Frank G. Radmacher, Wolfgang Thomas
2012	A*	`conf`	Synthesis and Some of Its Challenges. CAV Wolfgang Thomas
2012	J	`jnl`	Turings Arbeiten über Berechenbarkeit - eine Einführung und Lesehilfe. Inform. Spektrum Uwe Schöning, Wolfgang Thomas
2011	C	`conf`	Compositional Failure Detection in Structured Transition Systems. CIAA Ingo Felscher, Wolfgang Thomas
2011	—	`conf`	Connectivity Games over Dynamic Networks GandALF Sten Grüner, Frank G. Radmacher, Wolfgang Thomas
2011	—	`conf`	Infinite Games and Uniformization. ICLA Wolfgang Thomas
2011	C	`conf`	Languages vs. Developments in Language Theory Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas
2011	—	`conf`	Trees over Infinite Structures and Path Logics with Synchronization INFINITY Alex Spelten, Wolfgang Thomas, Sarah Winter
2010	J	`jnl`	"When nobody else dreamed of these things" - Axel Thue und die Termersetzung. Inform. Spektrum Wolfgang Thomas
2010	—	`conf`	10501 Abstracts Collection - Advances and Applications of Automata on Words and Trees. Advances and Applications of Automata on Words and Trees Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas
2010	—	`conf`	10501 Executive Summary - Advances and Applications of Automata on Words and Trees. Advances and Applications of Automata on Words and Trees Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas
2010	—	`conf`	A Game-Theoretic Approach to Routing under Adversarial Conditions. IFIP TCS James Gross, Frank G. Radmacher, Wolfgang Thomas
2010	—	`ed.`	Advances and Applications of Automata on Words and Trees, 12.12. - 17.12.2010 Advances and Applications of Automata on Words and Trees Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas
2010	B	`conf`	Degrees of Lookahead in Regular Infinite Games. FoSSaCS Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas
2010	—	`conf`	On Monadic Theories of Monadic Predicates. Fields of Logic and Computation Wolfgang Thomas
2010	J	`jnl`	Preface of STACS 2007 Special Issue. Theory Comput. Syst. Wolfgang Thomas, Pascal Weil
2010	—	`conf`	Synthesis of behavioral controllers for DES: Increasing efficiency. WODES Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel
2010	J	`jnl`	Theoretische Informatik - ein Kurzprofil. Inform. Spektrum Wolfgang Thomas
2010	J	`jnl`	Theoretische Informatik. Inform. Spektrum Wolfgang Thomas
2009	—	`ed.`	Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II ICALP (2) Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas
2009	—	`ed.`	Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I ICALP (1) Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas
2009	J	`jnl`	Compositionality and Reachability with Conditions on Path Lengths. Int. J. Found. Comput. Sci. Ingo Felscher, Wolfgang Thomas
2009	J	`jnl`	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. Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
2009	B	`conf`	Facets of Synthesis: Revisiting Church's Problem. FoSSaCS Wolfgang Thomas
2009	B	`conf`	Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. FCT Paul Hänsch, Michaela Slaats, Wolfgang Thomas
2009	—	`conf`	Synthesis of behavioral controllers for Discrete Event Systems with NCES-like Petri net models. ECC Kai Bollue, Dirk Abel, Wolfgang Thomas
2009	—	`conf`	The Complexity of Reachability in Randomized Sabotage Games. FSEN Dominik Klein, Frank G. Radmacher, Wolfgang Thomas
2009	Misc	`conf`	The Reachability Problem over Infinite Graphs. CSR Wolfgang Thomas
2008	—	`conf`	08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
2008	—	`conf`	08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. Topological and Game-Theoretic Aspects of Infinite Computations Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
2008	—	`conf`	Church's Problem and a Tour through Automata Theory. Pillars of Computer Science Wolfgang Thomas
2008	B	`conf`	Model Transformations in Decidability Proofs for Monadic Theories. CSL Wolfgang Thomas
2008	B	`conf`	Optimal Strategy Synthesis in Request-Response Games. ATVA Florian Horn, Wolfgang Thomas, Nico Wallmeier
2008	B	`conf`	Optimizing Winning Strategies in Regular Infinite Games. SOFSEM Wolfgang Thomas
2008	—	`ed.`	Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008 Topological and Game-Theoretic Aspects of Infinite Computations Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner
2007	—	`conf`	A Game Theoretic Approach to the Analysis of Dynamic Networks. VerAS@TPHOLs Frank G. Radmacher, Wolfgang Thomas
2007	—	`book`	Einführung in die mathematische Logik (5. Aufl.). Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
2007	B	`conf`	Logical Refinements of Church's Problem. CSL Alexander Rabinovich, Wolfgang Thomas
2007	J	`jnl`	Model Checking Synchronized Products of Infinite Transition Systems CoRR Stefan Wöhrle, Wolfgang Thomas
2007	J	`jnl`	Model Checking Synchronized Products of Infinite Transition Systems. Log. Methods Comput. Sci. Stefan Wöhrle, Wolfgang Thomas
2007	A	`ed.`	STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings STACS Wolfgang Thomas, Pascal Weil
2007	J	`jnl`	The role of pseudo-wires for layer 2 services in intelligent transport networks. Bell Labs Tech. J. Dieter Stoll, Wolfgang Thomas, Martin Belzner
2006	B	`conf`	Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. CSL Alexander Moshe Rabinovich, Wolfgang Thomas
2006	J	`jnl`	Observations on determinization of Büchi automata. Theor. Comput. Sci. Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
2006	—	`conf`	On Intersection Problems for Polynomially Generated Sets. ICALP (2) Karianto Wong, Aloys Krieg, Wolfgang Thomas
2006	A	`ed.`	STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings STACS Bruno Durand, Wolfgang Thomas
2006	—	`ed.`	Synthesis and Planning, 12.-17. June 2005 Synthesis and Planning Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
2005	—	`conf`	05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
2005	—	`conf`	05241 Executive Summary - Synthesis and Planning. Synthesis and Planning Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi
2005	—	`conf`	Deterministic Automata on Unranked Trees. Foundations of Semistructured Data Wolfgang Thomas, Julien Cristau, Christof Löding
2005	B	`conf`	Deterministic Automata on Unranked Trees. FCT Julien Cristau, Christof Löding, Wolfgang Thomas
2005	C	`conf`	Observations on Determinization of Büchi Automata. CIAA Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
2005	B	`conf`	Some Perspectives of Infinite-State Verification. ATVA Wolfgang Thomas
2004	A*	`conf`	Model Checking Synchronized Products of Infinite Transition Systems. LICS Stefan Wöhrle, Wolfgang Thomas
2003	B	`conf`	Constructing Infinite Graphs with a Decidable MSO-Theory. MFCS Wolfgang Thomas
2003	—	`conf`	Ein e-Lecture-System für die Theoretische Informatik. DeLFI Philipp Rohde, Wolfgang Thomas
2003	C	`conf`	Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. CIAA Nico Wallmeier, Patrick Hütten, Wolfgang Thomas
2003	J	`jnl`	Uniform and nonuniform recognizability. Theor. Comput. Sci. Wolfgang Thomas
2002	—	`ed.`	Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001] Automata, Logics, and Infinite Games Erich Grädel, Wolfgang Thomas, Thomas Wilke
2002	A*	`conf`	Infinite Games and Verification (Extended Abstract of a Tutorial). CAV Wolfgang Thomas
2002	B	`conf`	Solving Pushdown Games with a Sigma CSL Thierry Cachat, Jacques Duparc, Wolfgang Thomas
2002	J	`jnl`	The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. Inf. Comput. Oliver Matz, Nicole Schweikardt, Wolfgang Thomas
2002	J	`jnl`	The Monadic Theory of Morphic Infinite Words and Generalizations. Inf. Comput. Olivier Carton, Wolfgang Thomas
2002	C	`conf`	Tiling Systems over Infinite Pictures and Their Acceptance Conditions. Developments in Language Theory Jan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle
2001	C	`conf`	A Short Introduction to Infinite Automata. Developments in Language Theory Wolfgang Thomas
2001	Misc	`conf`	Logic for Computer Science: The Engineering Challenge. Informatics Wolfgang Thomas
2001	A*	`conf`	The Engineering Challenge for Logic. LICS Wolfgang Thomas
2000	—	`conf`	Alternating Automata and Logics over Infinite Words. IFIP TCS Christof Löding, Wolfgang Thomas
2000	C	`ed.`	Developments in Language Theory, Foundations, Applications, and Perspectives, Aachen, Germany, 6-9 July 1999 Developments in Language Theory Grzegorz Rozenberg, Wolfgang Thomas
2000	B	`conf`	The Monadic Theory of Morphic Infinite Words and Generalizations. MFCS Olivier Carton, Wolfgang Thomas
1999	—	`conf`	Complementation of Büchi Automata Revised. Jewels are Forever Wolfgang Thomas
1999	—	`ch.`	Die Logiken von Boole und Büchi-Elgot-Trakhtenbrot in der Beschreibung diskreter Systeme. Angewandte Mathematik, insbesondere Informatik Wolfgang Thomas
1999	B	`ed.`	Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings FoSSaCS Wolfgang Thomas
1998	B	`ed.`	Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers CSL Mogens Nielsen, Wolfgang Thomas
1998	A*	`conf`	Monadic Logic and Automata: Recent Developments. LICS Wolfgang Thomas
1997	—	`conf`	Automata Theory on Trees and Partial Orders. TAPSOFT Wolfgang Thomas
1997	—	`conf`	Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. Structures in Logic and Computer Science Wolfgang Thomas
1997	—	`conf`	Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT Nils Buhrke, Wolfgang Thomas, Jens Vöge
1997	—	`ch.`	Languages, Automata, and Logic. Handbook of Formal Languages (3) Wolfgang Thomas
1997	A*	`conf`	The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. LICS Oliver Matz, Wolfgang Thomas
1996	—	`book`	Einführung in die mathematische Logik (4. Aufl.). Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
1996	—	`conf`	Elements of an automata theory over partial orders. Partial Order Methods in Verification Wolfgang Thomas
1996	J	`jnl`	Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems. Inf. Comput. Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas
1995	C	`conf`	Counter-Free Automata, First-Order Logic and Star-Free Expressions. Developments in Language Theory Ina Schiering, Wolfgang Thomas
1995	A	`conf`	On the Synthesis of Strategies in Infinite Games. STACS Wolfgang Thomas
1995	J	`jnl`	Regular Languages Defined with Generalized Quanifiers Inf. Comput. Howard Straubing, Denis Thérien, Wolfgang Thomas
1994	—	`conf`	Finite-State Recognizability and Logic: from Words to Graphs. IFIP Congress (1) Wolfgang Thomas
1994	—	`conf`	Finite-State Strategies in Regular Infinite Games. FSTTCS Wolfgang Thomas
1994	—	`book`	Mathematical logic (2. ed.). Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
1994	A	`conf`	Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. STACS Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas
1993	—	`conf`	Komplexitätstheorie und Algorithmik. Perspektiven der Informatik Kurt Mehlhorn, Volker Claus, Wolfgang Thomas
1993	—	`conf`	Logical Specifications of Infinite Computations. REX School/Symposium Wolfgang Thomas, Helmut Lescow
1993	—	`conf`	Logik in der Informatik. Perspektiven der Informatik Wolfgang Thomas
1993	—	`conf`	On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. TAPSOFT Wolfgang Thomas
1993	B	`conf`	Regular Tree Languages Without Unary Symbols are Star-Free. FCT Andreas Potthoff, Wolfgang Thomas
1993	—	`conf`	Semantik und Verifikation. Perspektiven der Informatik Wolfgang Thomas
1993	C	`conf`	Tree Languages Recognizable by Regular Frontier Check. Developments in Language Theory Eija Jurvanen, Andreas Potthoff, Wolfgang Thomas
1992	—	`book`	Einführung in die mathematische Logik (3. Aufl.). Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
1992	J	`jnl`	Infinite Trees and Automation-Definable Relations over omega-Words. Theor. Comput. Sci. Wolfgang Thomas
1991	A*	`conf`	On Logics, Tilings, and Automata. ICALP Wolfgang Thomas
1990	—	`ch.`	Automata on Infinite Objects. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) Wolfgang Thomas
1990	A	`conf`	Infinite Trees and Automaton Definable Relations over Omega-Words. STACS Wolfgang Thomas
1989	A	`conf`	AMORE: A System for Computing Automata, MOnoids, and Regular Expressions. STACS V. Kell, Albert Maier, Andreas Potthoff, Wolfgang Thomas, U. Wermuth
1988	—	`conf`	Automata and quantifier hierarchies. Formal Properties of Finite Automata and Applications Wolfgang Thomas
1988	—	`conf`	Computation tree logic and regular omega-languages. REX Workshop Wolfgang Thomas
1988	A*	`conf`	regular Languages Defined with Generalized Quantifiers. ICALP Howard Straubing, Denis Thérien, Wolfgang Thomas
1987	—	`conf`	A Concatenation Game and the Dot-Depth Hierarchy. Computation Theory and Logic Wolfgang Thomas
1987	A*	`conf`	Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. ICALP Thilo Hafer, Wolfgang Thomas
1987	A*	`conf`	On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees LICS Wolfgang Thomas
1986	J	`jnl`	On Frontiers of Regular Trees. RAIRO Theor. Informatics Appl. Wolfgang Thomas
1985	J	`jnl`	European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983. J. Symb. Log. Walter Oberschelp, Britta Schinzel, Wolfgang Thomas, Michael M. Richter
1984	—	`conf`	Logical Aspects in the Study of Tree Languages. CAAP Wolfgang Thomas
1984	—	`book`	Mathematical logic. Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
1983	—	`conf`	A hierarchy of sets of infinite trees. Theoretical Computer Science Wolfgang Thomas
1982	J	`jnl`	Classifying Regular Events in Symbolic Logic. J. Comput. Syst. Sci. Wolfgang Thomas
1981	J	`jnl`	A Combinatorial Approach to the Theory of omega-Automata Inf. Control. Wolfgang Thomas
1981	J	`jnl`	Remark on the Star-Height-Problem. Theor. Comput. Sci. Wolfgang Thomas
1980	J	`jnl`	On the Bounded Monadic Theory of Well-Ordered Structures. J. Symb. Log. Wolfgang Thomas
1979	J	`jnl`	Star-Free Regular Sets of omega-Sequences Inf. Control. Wolfgang Thomas
1975	J	`jnl`	A note on undecidable extensions of monadic second order successor arithmetic. Arch. Math. Log. Wolfgang Thomas
1975	—	`—`	Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik. Wolfgang Thomas