Search the dblp DataBase
Wolfgang Thomas :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Wolfgang Thomas Logical Aspects in the Study of Tree Languages. [Citation Graph (1, 0)][DBLP ] CAAP, 1984, pp:31-50 [Conf ] Wolfgang Thomas On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees [Citation Graph (1, 0)][DBLP ] LICS, 1987, pp:245-256 [Conf ] Wolfgang Thomas A Combinatorial Approach to the Theory of omega-Automata [Citation Graph (1, 0)][DBLP ] Information and Control, 1981, v:48, n:3, pp:261-283 [Journal ] Wolfgang Thomas Classifying Regular Events in Symbolic Logic. [Citation Graph (1, 0)][DBLP ] J. Comput. Syst. Sci., 1982, v:25, n:3, pp:360-376 [Journal ] Wolfgang Thomas Some Perspectives of Infinite-State Verification. [Citation Graph (0, 0)][DBLP ] ATVA, 2005, pp:3-10 [Conf ] Wolfgang Thomas A Concatenation Game and the Dot-Depth Hierarchy. [Citation Graph (0, 0)][DBLP ] Computation Theory and Logic, 1987, pp:415-426 [Conf ] Wolfgang Thomas Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. [Citation Graph (0, 0)][DBLP ] Structures in Logic and Computer Science, 1997, pp:118-143 [Conf ] Wolfgang Thomas Complementation of Büchi Automata Revised. [Citation Graph (0, 0)][DBLP ] Jewels are Forever, 1999, pp:109-120 [Conf ] Wolfgang Thomas Infinite Games and Verification (Extended Abstract of a Tutorial). [Citation Graph (0, 0)][DBLP ] CAV, 2002, pp:58-64 [Conf ] Thierry Cachat , Jacques Duparc , Wolfgang Thomas Solving Pushdown Games with a Sigma3 Winning Condition. [Citation Graph (0, 0)][DBLP ] CSL, 2002, pp:322-336 [Conf ] Alexander Moshe Rabinovich , Wolfgang Thomas Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. [Citation Graph (0, 0)][DBLP ] CSL, 2006, pp:562-574 [Conf ] Henry A. Kautz , Wolfgang Thomas , Moshe Y. Vardi 05241 Executive Summary - Synthesis and Planning. [Citation Graph (0, 0)][DBLP ] Synthesis and Planning, 2005, pp:- [Conf ] Henry A. Kautz , Wolfgang Thomas , Moshe Y. Vardi 05241 Abstracts Collection - Synthesis and Planning. [Citation Graph (0, 0)][DBLP ] Synthesis and Planning, 2005, pp:- [Conf ] Kurt Mehlhorn , Volker Claus , Wolfgang Thomas Komplexitätstheorie und Algorithmik. [Citation Graph (0, 0)][DBLP ] Perspektiven der Informatik, 1993, pp:113-116 [Conf ] Wolfgang Thomas Logic for Computer Science: The Engineering Challenge. [Citation Graph (0, 0)][DBLP ] Informatics, 2001, pp:257-267 [Conf ] Wolfgang Thomas Logik in der Informatik. [Citation Graph (0, 0)][DBLP ] Perspektiven der Informatik, 1993, pp:116-120 [Conf ] Wolfgang Thomas Semantik und Verifikation. [Citation Graph (0, 0)][DBLP ] Perspektiven der Informatik, 1993, pp:120-124 [Conf ] Wolfgang Thomas , Julien Cristau , Christof Löding Deterministic Automata on Unranked Trees. [Citation Graph (0, 0)][DBLP ] Foundations of Semistructured Data, 2005, pp:- [Conf ] Philipp Rohde , Wolfgang Thomas Ein e-Lecture-System für die Theoretische Informatik. [Citation Graph (0, 0)][DBLP ] DeLFI, 2003, pp:17-26 [Conf ] Jan-Henrik Altenbernd , Wolfgang Thomas , Stefan Wöhrle Tiling Systems over Infinite Pictures and Their Acceptance Conditions. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2002, pp:297-306 [Conf ] Eija Jurvanen , Andreas Potthoff , Wolfgang Thomas Tree Languages Recognizable by Regular Frontier Check. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 1993, pp:3-17 [Conf ] Ina Schiering , Wolfgang Thomas Counter-Free Automata, First-Order Logic and Star-Free Expressions. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 1995, pp:166-175 [Conf ] Wolfgang Thomas A Short Introduction to Infinite Automata. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2001, pp:130-144 [Conf ] Nils Buhrke , Wolfgang Thomas , Jens Vöge Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. [Citation Graph (0, 0)][DBLP ] FBT, 1997, pp:99-108 [Conf ] Julien Cristau , Christof Löding , Wolfgang Thomas Deterministic Automata on Unranked Trees. [Citation Graph (0, 0)][DBLP ] FCT, 2005, pp:68-79 [Conf ] Andreas Potthoff , Wolfgang Thomas Regular Tree Languages Without Unary Symbols are Star-Free. [Citation Graph (0, 0)][DBLP ] FCT, 1993, pp:396-405 [Conf ] Wolfgang Thomas Finite-State Strategies in Regular Infinite Games. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1994, pp:149-158 [Conf ] Thilo Hafer , Wolfgang Thomas Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:269-279 [Conf ] Wong Karianto , Aloys Krieg , Wolfgang Thomas On Intersection Problems for Polynomially Generated Sets. [Citation Graph (0, 0)][DBLP ] ICALP (2), 2006, pp:516-527 [Conf ] Howard Straubing , Denis Thérien , Wolfgang Thomas regular Languages Defined with Generalized Quantifiers. [Citation Graph (0, 0)][DBLP ] ICALP, 1988, pp:561-575 [Conf ] Wolfgang Thomas On Logics, Tilings, and Automata. [Citation Graph (0, 0)][DBLP ] ICALP, 1991, pp:441-454 [Conf ] Wolfgang Thomas Finite-State Recognizability and Logic: from Words to Graphs. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1994, pp:499-506 [Conf ] Christof Löding , Wolfgang Thomas Alternating Automata and Logics over Infinite Words. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2000, pp:521-535 [Conf ] Oliver Matz , Wolfgang Thomas The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. [Citation Graph (0, 0)][DBLP ] LICS, 1997, pp:236-244 [Conf ] Wolfgang Thomas The Engineering Challenge for Logic. [Citation Graph (0, 0)][DBLP ] LICS, 2001, pp:- [Conf ] Wolfgang Thomas Monadic Logic and Automata: Recent Developments. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:136-138 [Conf ] Stefan Wöhrle , Wolfgang Thomas Model Checking Synchronized Products of Infinite Transition Systems. [Citation Graph (0, 0)][DBLP ] LICS, 2004, pp:2-11 [Conf ] Wolfgang Thomas Automata and quantifier hierarchies. [Citation Graph (0, 0)][DBLP ] Formal Properties of Finite Automata and Applications, 1988, pp:104-119 [Conf ] Olivier Carton , Wolfgang Thomas The Monadic Theory of Morphic Infinite Words and Generalizations. [Citation Graph (0, 0)][DBLP ] MFCS, 2000, pp:275-284 [Conf ] Wolfgang Thomas Constructing Infinite Graphs with a Decidable MSO-Theory. [Citation Graph (0, 0)][DBLP ] MFCS, 2003, pp:113-124 [Conf ] Wolfgang Thomas Computation tree logic and regular omega-languages. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1988, pp:690-713 [Conf ] Wolfgang Thomas , Helmut Lescow Logical Specifications of Infinite Computations. [Citation Graph (0, 0)][DBLP ] REX School/Symposium, 1993, pp:583-621 [Conf ] Dora Giammarresi , Antonio Restivo , Sebastian Seibert , Wolfgang Thomas Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. [Citation Graph (0, 0)][DBLP ] STACS, 1994, pp:365-375 [Conf ] V. Kell , Albert Maier , Andreas Potthoff , Wolfgang Thomas , U. Wermuth AMORE: A System for Computing Automata, MOnoidsm and Regular Expressions. [Citation Graph (0, 0)][DBLP ] STACS, 1989, pp:537-538 [Conf ] Wolfgang Thomas Infinite Trees and Automaton Definable Relations over Omega-Words. [Citation Graph (0, 0)][DBLP ] STACS, 1990, pp:263-277 [Conf ] Wolfgang Thomas On the Synthesis of Strategies in Infinite Games. [Citation Graph (0, 0)][DBLP ] STACS, 1995, pp:1-13 [Conf ] Wolfgang Thomas On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1993, pp:559-568 [Conf ] Wolfgang Thomas Automata Theory on Trees and Partial Orders. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1997, pp:20-38 [Conf ] Wolfgang Thomas A hierarchy of sets of infinite trees. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1983, pp:335-342 [Conf ] Christoph Schulte Althoff , Wolfgang Thomas , Nico Wallmeier Observations on Determinization of Büchi Automata. [Citation Graph (0, 0)][DBLP ] CIAA, 2005, pp:262-272 [Conf ] Nico Wallmeier , Patrick Hütten , Wolfgang Thomas Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. [Citation Graph (0, 0)][DBLP ] CIAA, 2003, pp:11-22 [Conf ] Olivier Carton , Wolfgang Thomas The Monadic Theory of Morphic Infinite Words and Generalizations. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:176, n:1, pp:51-65 [Journal ] Dora Giammarresi , Antonio Restivo , Sebastian Seibert , Wolfgang Thomas Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:125, n:1, pp:32-45 [Journal ] Oliver Matz , Nicole Schweikardt , Wolfgang Thomas The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:356-383 [Journal ] Howard Straubing , Denis Thérien , Wolfgang Thomas Regular Languages Defined with Generalized Quanifiers [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:118, n:2, pp:289-301 [Journal ] Wolfgang Thomas Star-Free Regular Sets of omega-Sequences [Citation Graph (0, 0)][DBLP ] Information and Control, 1979, v:42, n:2, pp:148-156 [Journal ] Wolfgang Thomas On Frontiers of Regular Trees. [Citation Graph (0, 0)][DBLP ] ITA, 1986, v:20, n:4, pp:371-381 [Journal ] Walter Oberschelp , Britta Schinzel , Wolfgang Thomas , Michael M. Richter European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1985, v:50, n:1, pp:259-283 [Journal ] Wolfgang Thomas On the Bounded Monadic Theory of Well-Ordered Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1980, v:45, n:2, pp:334-338 [Journal ] Christoph Schulte Althoff , Wolfgang Thomas , Nico Wallmeier Observations on determinization of Büchi automata. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:363, n:2, pp:224-233 [Journal ] Wolfgang Thomas Uniform and nonuniform recognizability. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:292, n:1, pp:299-316 [Journal ] Wolfgang Thomas Remark on the Star-Height-Problem. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1981, v:13, n:, pp:231-237 [Journal ] Wolfgang Thomas Infinite Trees and Automation-Definable Relations over omega-Words. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:103, n:1, pp:143-159 [Journal ] Alexander Rabinovich , Wolfgang Thomas Logical Refinements of Church's Problem. [Citation Graph (0, 0)][DBLP ] CSL, 2007, pp:69-83 [Conf ] Stefan Wöhrle , Wolfgang Thomas Model Checking Synchronized Products of Infinite Transition Systems [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Optimal Strategy Synthesis in Request-Response Games. [Citation Graph (, )][DBLP ] Church's Problem and a Tour through Automata Theory. [Citation Graph (, )][DBLP ] On Monadic Theories of Monadic Predicates. [Citation Graph (, )][DBLP ] Model Transformations in Decidability Proofs for Monadic Theories. [Citation Graph (, )][DBLP ] The Reachability Problem over Infinite Graphs. [Citation Graph (, )][DBLP ] Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. [Citation Graph (, )][DBLP ] Facets of Synthesis: Revisiting Church's Problem. [Citation Graph (, )][DBLP ] Degrees of Lookahead in Regular Infinite Games. [Citation Graph (, )][DBLP ] Optimizing Winning Strategies in Regular Infinite Games. [Citation Graph (, )][DBLP ] The Complexity of Reachability in Randomized Sabotage Games. [Citation Graph (, )][DBLP ] The role of pseudo-wires for layer 2 services in intelligent transport networks. [Citation Graph (, )][DBLP ] A Game Theoretic Approach to the Analysis of Dynamic Networks. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.454secs