Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Wolfgang Thomas

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/GrunerRT13
- ask others
Sten Grüner, Frank G. Radmacher, Wolfgang Thomas: Connectivity games over dynamic networks. Theor. Comput. Sci. 493: 46-65 (2013)
2012
[j28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1209-0800
- ask others
Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas: Degrees of Lookahead in Regular Infinite Games. Logical Methods in Computer Science 8(3) (2012)
[j27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijfcs/ChaturvediOT12
- ask others
Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas: Languages versus ω-Languages in Regular Infinite Games. Int. J. Found. Comput. Sci. 23(5): 985-1000 (2012)
[j26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/insk/BaaderT12
- ask others
Franz Baader, Wolfgang Thomas: Editorial. Informatik Spektrum 35(4): 247-248 (2012)
[j25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/insk/SchoningT12
- ask others
Uwe Schöning, Wolfgang Thomas: Turings Arbeiten über Berechenbarkeit - eine Einführung und Lesehilfe. Informatik Spektrum 35(4): 253-260 (2012)
[j24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/KleinRT12
- ask others
Dominik Klein, Frank G. Radmacher, Wolfgang Thomas: Moving in a network under random failures: A complexity analysis. Sci. Comput. Program. 77(7-8): 940-954 (2012)
[c67]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/Thomas12
- ask others
Wolfgang Thomas: Synthesis and Some of Its Challenges. CAV 2012: 1
2011
[c66]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlt/ChaturvediOT11
- ask others
Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas: Languages vs. ω-Languages in Regular Infinite Games. Developments in Language Theory 2011: 180-191
[c65]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icla/Thomas11
- ask others
Wolfgang Thomas: Infinite Games and Uniformization. ICLA 2011: 19-21
[c64]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wia/FelscherT11
- ask others
Ingo Felscher, Wolfgang Thomas: Compositional Failure Detection in Structured Transition Systems. CIAA 2011: 130-141
[c63]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-3107
- ask others
Alex Spelten, Wolfgang Thomas, Sarah Winter: Trees over Infinite Structures and Path Logics with Synchronization. INFINITY 2011: 20-34
[c62]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1236
- ask others
Sten Grüner, Frank G. Radmacher, Wolfgang Thomas: Connectivity Games over Dynamic Networks. GandALF 2011: 131-145
2010
[j23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/insk/Thomas10
- ask others
Wolfgang Thomas: Theoretische Informatik. Informatik Spektrum 33(5): 429-431 (2010)
[j22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/insk/Thomas10a
- ask others
Wolfgang Thomas: Theoretische Informatik - ein Kurzprofil. Informatik Spektrum 33(5): 433-437 (2010)
[j21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/insk/Thomas10b
- ask others
Wolfgang Thomas: "When nobody else dreamed of these things" - Axel Thue und die Termersetzung. Informatik Spektrum 33(5): 504-508 (2010)
[j20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mst/ThomasW10
- ask others
Wolfgang Thomas, Pascal Weil: Preface of STACS 2007 Special Issue. Theory Comput. Syst. 46(3): 397 (2010)
[c61]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/Thomas10
- ask others
Wolfgang Thomas: On Monadic Theories of Monadic Predicates. Fields of Logic and Computation 2010: 615-626
[c60]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/HoltmannKT10
- ask others
Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas: Degrees of Lookahead in Regular Infinite Games. FOSSACS 2010: 252-266
[c59]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifipTCS/GrossRT10
- ask others
James Gross, Frank G. Radmacher, Wolfgang Thomas: A Game-Theoretic Approach to Routing under Adversarial Conditions. IFIP TCS 2010: 355-370

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijfcs/FelscherT09
- ask others
Ingo Felscher, Wolfgang Thomas: Compositionality and Reachability with Conditions on Path Lengths. Int. J. Found. Comput. Sci. 20(5): 851-868 (2009)
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/it/ThomasBGQSU09
- ask others
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 - Information Technology 51(4): 222-230 (2009)
[c58]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csr/Thomas09
- ask others
Wolfgang Thomas: The Reachability Problem over Infinite Graphs. CSR 2009: 12-18
[c57]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fct/HanschST09
- ask others
Paul Hänsch, Michaela Slaats, Wolfgang Thomas: Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. FCT 2009: 181-192
[c56]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/Thomas09
- ask others
Wolfgang Thomas: Facets of Synthesis: Revisiting Church's Problem. FOSSACS 2009: 1-14
[c55]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsen/KleinRT09
- ask others
Dominik Klein, Frank G. Radmacher, Wolfgang Thomas: The Complexity of Reachability in Randomized Sabotage Games. FSEN 2009: 162-177
[e9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/2009-1
- ask others
Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.): Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I. Lecture Notes in Computer Science 5555, Springer 2009, ISBN 978-3-642-02926-4
[e8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/2009-2
- ask others
Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.): Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Lecture Notes in Computer Science 5556, Springer 2009, ISBN 978-3-642-02929-5
2008
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/RadmacherT08
- ask others
Frank G. Radmacher, Wolfgang Thomas: A Game Theoretic Approach to the Analysis of Dynamic Networks. Electr. Notes Theor. Comput. Sci. 200(2): 21-37 (2008)
[c54]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atva/HornTW08
- ask others
Florian Horn, Wolfgang Thomas, Nico Wallmeier: Optimal Strategy Synthesis in Request-Response Games. ATVA 2008: 361-373
[c53]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/Thomas08
- ask others
Wolfgang Thomas: Church's Problem and a Tour through Automata Theory. Pillars of Computer Science 2008: 635-655
[c52]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Thomas08
- ask others
Wolfgang Thomas: Model Transformations in Decidability Proofs for Monadic Theories. CSL 2008: 23-31
[c51]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sofsem/Thomas08
- ask others
Wolfgang Thomas: Optimizing Winning Strategies in Regular Infinite Games. SOFSEM 2008: 118-123
2007
[b6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0018724
- ask others
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (5. Aufl.). Spektrum Akademischer Verlag 2007, pp. I-IX, 1-339
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/bell/StollTB07
- ask others
Dieter Stoll, Wolfgang Thomas, Martin Belzner: The role of pseudo-wires for layer 2 services in intelligent transport networks. Bell Labs Technical Journal 12(1): 207-220 (2007)
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lmcs/WohrleT07
- ask others
Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. Logical Methods in Computer Science 3(4) (2007)
[c50]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/RabinovichT07
- ask others
Alexander Rabinovich, Wolfgang Thomas: Logical Refinements of Church's Problem. CSL 2007: 69-83
[e7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/2007
- ask others
Wolfgang Thomas, Pascal Weil (Eds.): STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings. Lecture Notes in Computer Science 4393, Springer 2007, ISBN 978-3-540-70917-6
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0710-5659
- ask others
Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. CoRR abs/0710.5659 (2007)
2006
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AlthoffTW06
- ask others
Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier: Observations on determinization of Büchi automata. Theor. Comput. Sci. 363(2): 224-233 (2006)
[c49]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/RabinovichT06
- ask others
Alexander Moshe Rabinovich, Wolfgang Thomas: Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. CSL 2006: 562-574
[c48]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/KariantoKT06
- ask others
Karianto Wong, Aloys Krieg, Wolfgang Thomas: On Intersection Problems for Polynomially Generated Sets. ICALP (2) 2006: 516-527
[e6]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2005P5241
- ask others
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi (Eds.): Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
[e5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/2006
- ask others
Bruno Durand, Wolfgang Thomas (Eds.): STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings. Lecture Notes in Computer Science 3884, Springer 2006, ISBN 3-540-32301-5
2005
[c47]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/atva/Thomas05
- ask others
Wolfgang Thomas: Some Perspectives of Infinite-State Verification. ATVA 2005: 3-10
[c46]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/KautzTV05
- ask others
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
[c45]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/KautzTV05a
- ask others
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
[c44]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/ThomasCL05
- ask others
Wolfgang Thomas, Julien Cristau, Christof Löding: Deterministic Automata on Unranked Trees. Foundations of Semistructured Data 2005
[c43]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fct/CristauLT05
- ask others
Julien Cristau, Christof Löding, Wolfgang Thomas: Deterministic Automata on Unranked Trees. FCT 2005: 68-79
[c42]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wia/AlthoffTW05
- ask others
Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier: Observations on Determinization of Büchi Automata. CIAA 2005: 262-272
2004
[c41]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/WohrleT04
- ask others
Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. LICS 2004: 2-11
2003
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Thomas03
- ask others
Wolfgang Thomas: Uniform and nonuniform recognizability. Theor. Comput. Sci. 292(1): 299-316 (2003)
[c40]
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/delfi/RohdeT03
- ask others
Philipp Rohde, Wolfgang Thomas: Ein e-Lecture-System für die Theoretische Informatik. DeLFI 2003: 17-26
[c39]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/Thomas03
- ask others
Wolfgang Thomas: Constructing Infinite Graphs with a Decidable MSO-Theory. MFCS 2003: 113-124
[c38]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wia/WallmeierHT03
- ask others
Nico Wallmeier, Patrick Hütten, Wolfgang Thomas: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. CIAA 2003: 11-22
2002
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/CartonT02
- ask others
Olivier Carton, Wolfgang Thomas: The Monadic Theory of Morphic Infinite Words and Generalizations. Inf. Comput. 176(1): 51-65 (2002)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/MatzST02
- ask others
Oliver Matz, Nicole Schweikardt, Wolfgang Thomas: The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. Inf. Comput. 179(2): 356-383 (2002)
[c37]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/Thomas02
- ask others
Wolfgang Thomas: Infinite Games and Verification (Extended Abstract of a Tutorial). CAV 2002: 58-64
[c36]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/CachatDT02
- ask others
Thierry Cachat, Jacques Duparc, Wolfgang Thomas: Solving Pushdown Games with a Sigma₃ Winning Condition. CSL 2002: 322-336
[c35]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlt/AltenberndTW02
- ask others
Jan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle: Tiling Systems over Infinite Pictures and Their Acceptance Conditions. Developments in Language Theory 2002: 297-306
[e4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2001automata
- ask others
Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.): Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Lecture Notes in Computer Science 2500, Springer 2002, ISBN 3-540-00388-6
2001
[c34]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Thomas01
- ask others
Wolfgang Thomas: Logic for Computer Science: The Engineering Challenge. Informatics 2001: 257-267
[c33]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlt/Thomas01
- ask others
Wolfgang Thomas: A Short Introduction to Infinite Automata. Developments in Language Theory 2001: 130-144
[c32]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/Thomas01
- ask others
Wolfgang Thomas: The Engineering Challenge for Logic. LICS 2001: 173-176
2000
[c31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifipTCS/LodingT00
- ask others
Christof Löding, Wolfgang Thomas: Alternating Automata and Logics over Infinite Words. IFIP TCS 2000: 521-535
[c30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/CartonT00
- ask others
Olivier Carton, Wolfgang Thomas: The Monadic Theory of Morphic Infinite Words and Generalizations. MFCS 2000: 275-284
[e3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlt/1999
- ask others
Grzegorz Rozenberg, Wolfgang Thomas (Eds.): Developments in Language Theory, Foundations, Applications, and Perspectives, Aachen, Germany, 6-9 July 1999. World Scientific 2000, ISBN 981-02-4380-4

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c29]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/Thomas99
- ask others
Wolfgang Thomas: Complementation of Büchi Automata Revised. Jewels are Forever 1999: 109-120
[e2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/1999
- ask others
Wolfgang Thomas (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. Lecture Notes in Computer Science 1578, Springer 1999, ISBN 3-540-65719-3
1998
[c28]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/Thomas98
- ask others
Wolfgang Thomas: Monadic Logic and Automata: Recent Developments. LICS 1998: 136-138
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/1997
- ask others
Mogens Nielsen, Wolfgang Thomas (Eds.): Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers. Lecture Notes in Computer Science 1414, Springer 1998, ISBN 3-540-64570-5
1997
[c27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/Thomas97
- ask others
Wolfgang Thomas: Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. Structures in Logic and Computer Science 1997: 118-143
[c26]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fbt/BuhrkeTV97
- ask others
Nils Buhrke, Wolfgang Thomas, Jens Vöge: Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT 1997: 99-108
[c25]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/MatzT97
- ask others
Oliver Matz, Wolfgang Thomas: The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. LICS 1997: 236-244
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tapsoft/Thomas97
- ask others
Wolfgang Thomas: Automata Theory on Trees and Partial Orders. TAPSOFT 1997: 20-38
1996
[b5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0012391
- ask others
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (4. Aufl.). Hochschultaschenbuch, Spektrum Akadem. Verl. 1996, ISBN 978-3-8274-0130-4, pp. I-X, 1-309
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/GiammarresiRST96
- ask others
Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas: Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems. Inf. Comput. 125(1): 32-45 (1996)
1995
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/StraubingTT95
- ask others
Howard Straubing, Denis Thérien, Wolfgang Thomas: Regular Languages Defined with Generalized Quanifiers. Inf. Comput. 118(2): 289-301 (1995)
[c23]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlt/SchieringT95
- ask others
Ina Schiering, Wolfgang Thomas: Counter-Free Automata, First-Order Logic and Star-Free Expressions. Developments in Language Theory 1995: 166-175
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/Thomas95
- ask others
Wolfgang Thomas: On the Synthesis of Strategies in Infinite Games. STACS 1995: 1-13
1994
[b4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0080659
- ask others
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Mathematical logic (2. ed.). Undergraduate texts in mathematics, Springer 1994, ISBN 978-3-540-94258-0, pp. I-X, 1-289
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsttcs/Thomas94
- ask others
Wolfgang Thomas: Finite-State Strategies in Regular Infinite Games. FSTTCS 1994: 149-158
[c20]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/Thomas94
- ask others
Wolfgang Thomas: Finite-State Recognizability and Logic: from Words to Graphs. IFIP Congress (1) 1994: 499-506
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/GiammarresiRST94
- ask others
Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas: Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. STACS 1994: 365-375
1993
[c18]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/MehlhornCT93
- ask others
Kurt Mehlhorn, Volker Claus, Wolfgang Thomas: Komplexitätstheorie und Algorithmik. Perspektiven der Informatik 1993: 113-116
[c17]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Thomas93
- ask others
Wolfgang Thomas: Logik in der Informatik. Perspektiven der Informatik 1993: 116-120
[c16]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Thomas93a
- ask others
Wolfgang Thomas: Semantik und Verifikation. Perspektiven der Informatik 1993: 120-124
[c15]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dlt/JurvanenPT93
- ask others
Eija Jurvanen, Andreas Potthoff, Wolfgang Thomas: Tree Languages Recognizable by Regular Frontier Check. Developments in Language Theory 1993: 3-17
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fct/PotthoffT93
- ask others
Andreas Potthoff, Wolfgang Thomas: Regular Tree Languages Without Unary Symbols are Star-Free. FCT 1993: 396-405
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rex/ThomasL93
- ask others
Wolfgang Thomas, Helmut Lescow: Logical Specifications of Infinite Computations. REX School/Symposium 1993: 583-621
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tapsoft/Thomas93
- ask others
Wolfgang Thomas: On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. TAPSOFT 1993: 559-568
1992
[b3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0068900
- ask others
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik (3. Aufl.). BI-Wissenschaftsverlag 1992, ISBN 978-3-411-15603-0, pp. I-X, 1-338
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Thomas92
- ask others
Wolfgang Thomas: Infinite Trees and Automation-Definable Relations over omega-Words. Theor. Comput. Sci. 103(1): 143-159 (1992)
1991
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Thomas91
- ask others
Wolfgang Thomas: On Logics, Tilings, and Automata. ICALP 1991: 441-454
1990
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/Thomas90
- ask others
Wolfgang Thomas: Infinite Trees and Automaton Definable Relations over Omega-Words. STACS 1990: 263-277
[p1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/el/leeuwen90/Thomas90
- ask others
Wolfgang Thomas: Automata on Infinite Objects. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 133-192

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/KellMPTW89
- ask others
V. Kell, Albert Maier, Andreas Potthoff, Wolfgang Thomas, U. Wermuth: AMORE: A System for Computing Automata, MOnoidsm and Regular Expressions. STACS 1989: 537-538
1988
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/StraubingTT88
- ask others
Howard Straubing, Denis Thérien, Wolfgang Thomas: regular Languages Defined with Generalized Quantifiers. ICALP 1988: 561-575
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/litp/Thomas88
- ask others
Wolfgang Thomas: Automata and quantifier hierarchies. Formal Properties of Finite Automata and Applications 1988: 104-119
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rex/Thomas88
- ask others
Wolfgang Thomas: Computation tree logic and regular omega-languages. REX Workshop 1988: 690-713
1987
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/Thomas87
- ask others
Wolfgang Thomas: A Concatenation Game and the Dot-Depth Hierarchy. Computation Theory and Logic 1987: 415-426
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/HaferT87
- ask others
Thilo Hafer, Wolfgang Thomas: Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. ICALP 1987: 269-279
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/Thomas87
- ask others
Wolfgang Thomas: On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees. LICS 1987: 245-256
1986
[j7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ita/Thomas86
- ask others
Wolfgang Thomas: On Frontiers of Regular Trees. ITA 20(4): 371-381 (1986)
1985
[j6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/ObserschelpSTR85
- ask others
Walter Oberschelp, Britta Schinzel, Wolfgang Thomas, Michael M. Richter: European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983. J. Symb. Log. 50(1): 259-283 (1985)
1984
[b2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0068899
- ask others
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Mathematical logic. Undergraduate texts in mathematics, Springer 1984, ISBN 978-0-387-90895-3, pp. I-IX, 1-216
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/caap/Thomas84
- ask others
Wolfgang Thomas: Logical Aspects in the Study of Tree Languages. CAAP 1984: 31-50
1983
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tcs/Thomas83
- ask others
Wolfgang Thomas: A hierarchy of sets of infinite trees. Theoretical Computer Science 1983: 335-342
1982
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcss/Thomas82
- ask others
Wolfgang Thomas: Classifying Regular Events in Symbolic Logic. J. Comput. Syst. Sci. 25(3): 360-376 (1982)
1981
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Thomas81
- ask others
Wolfgang Thomas: A Combinatorial Approach to the Theory of omega-Automata. Information and Control 48(3): 261-283 (1981)
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Thomas81
- ask others
Wolfgang Thomas: Remark on the Star-Height-Problem. Theor. Comput. Sci. 13: 231-237 (1981)
1980
[j2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Thomas80
- ask others
Wolfgang Thomas: On the Bounded Monadic Theory of Well-Ordered Structures. J. Symb. Log. 45(2): 334-338 (1980)

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Thomas79
- ask others
Wolfgang Thomas: Star-Free Regular Sets of omega-Sequences. Information and Control 42(2): 148-156 (1979)
1975
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0016518
- ask others
Wolfgang Thomas: Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik. Universität Freiburg 1975, pp. 1-103

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?