dblp.uni-trier.dewww.uni-trier.de

Wolfgang Thomas Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
85EESusanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas: Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I Springer 2009
84EESusanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas: Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II Springer 2009
83EEWolfgang Thomas: The Reachability Problem over Infinite Graphs. CSR 2009: 12-18
82EEPaul Hänsch, Michaela Slaats, Wolfgang Thomas: Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. FCT 2009: 181-192
81EEWolfgang Thomas: Facets of Synthesis: Revisiting Church's Problem. FOSSACS 2009: 1-14
2008
80EEFlorian Horn, Wolfgang Thomas, Nico Wallmeier: Optimal Strategy Synthesis in Request-Response Games. ATVA 2008: 361-373
79EEWolfgang Thomas: Model Transformations in Decidability Proofs for Monadic Theories. CSL 2008: 23-31
78EEWolfgang Thomas: Church's Problem and a Tour through Automata Theory. Pillars of Computer Science 2008: 635-655
77EEWolfgang Thomas: Optimizing Winning Strategies in Regular Infinite Games. SOFSEM 2008: 118-123
76EEFrank G. Radmacher, Wolfgang Thomas: A Game Theoretic Approach to the Analysis of Dynamic Networks. Electr. Notes Theor. Comput. Sci. 200(2): 21-37 (2008)
2007
75 Wolfgang Thomas, Pascal Weil: STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings Springer 2007
74EEAlexander Rabinovich, Wolfgang Thomas: Logical Refinements of Church's Problem. CSL 2007: 69-83
73EEDieter 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)
72EEStefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems CoRR abs/0710.5659: (2007)
71EEStefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. Logical Methods in Computer Science 3(4): (2007)
2006
70 Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: Synthesis and Planning, 12.-17. June 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
69 Bruno Durand, Wolfgang Thomas: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings Springer 2006
68EEAlexander Moshe Rabinovich, Wolfgang Thomas: Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. CSL 2006: 562-574
67EEWong Karianto, Aloys Krieg, Wolfgang Thomas: On Intersection Problems for Polynomially Generated Sets. ICALP (2) 2006: 516-527
66EEChristoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier: Observations on determinization of Büchi automata. Theor. Comput. Sci. 363(2): 224-233 (2006)
2005
65EEWolfgang Thomas: Some Perspectives of Infinite-State Verification. ATVA 2005: 3-10
64EEChristoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier: Observations on Determinization of Büchi Automata. CIAA 2005: 262-272
63EEJulien Cristau, Christof Löding, Wolfgang Thomas: Deterministic Automata on Unranked Trees. FCT 2005: 68-79
62EEWolfgang Thomas, Julien Cristau, Christof Löding: Deterministic Automata on Unranked Trees. Foundations of Semistructured Data 2005
61EEHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
60EEHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
2004
59EEStefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. LICS 2004: 2-11
2003
58EENico Wallmeier, Patrick Hütten, Wolfgang Thomas: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. CIAA 2003: 11-22
57 Philipp Rohde, Wolfgang Thomas: Ein e-Lecture-System für die Theoretische Informatik. DeLFI 2003: 17-26
56EEWolfgang Thomas: Constructing Infinite Graphs with a Decidable MSO-Theory. MFCS 2003: 113-124
55 Wolfgang Thomas: Uniform and nonuniform recognizability. Theor. Comput. Sci. 292(1): 299-316 (2003)
2002
54 Erich Grädel, Wolfgang Thomas, Thomas Wilke: Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001] Springer 2002
53EEWolfgang Thomas: Infinite Games and Verification (Extended Abstract of a Tutorial). CAV 2002: 58-64
52EEThierry Cachat, Jacques Duparc, Wolfgang Thomas: Solving Pushdown Games with a Sigma3 Winning Condition. CSL 2002: 322-336
51EEJan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle: Tiling Systems over Infinite Pictures and Their Acceptance Conditions. Developments in Language Theory 2002: 297-306
50EEOlivier Carton, Wolfgang Thomas: The Monadic Theory of Morphic Infinite Words and Generalizations. Inf. Comput. 176(1): 51-65 (2002)
49EEOliver Matz, Nicole Schweikardt, Wolfgang Thomas: The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. Inf. Comput. 179(2): 356-383 (2002)
2001
48EEWolfgang Thomas: A Short Introduction to Infinite Automata. Developments in Language Theory 2001: 130-144
47EEWolfgang Thomas: Logic for Computer Science: The Engineering Challenge. Informatics 2001: 257-267
46 Wolfgang Thomas: The Engineering Challenge for Logic. LICS 2001
2000
45 Grzegorz Rozenberg, Wolfgang Thomas: Developments in Language Theory, Foundations, Applications, and Perspectives, Aachen, Germany, 6-9 July 1999 World Scientific 2000
44EEChristof Löding, Wolfgang Thomas: Alternating Automata and Logics over Infinite Words. IFIP TCS 2000: 521-535
43EEOlivier Carton, Wolfgang Thomas: The Monadic Theory of Morphic Infinite Words and Generalizations. MFCS 2000: 275-284
1999
42 Wolfgang Thomas: 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 Springer 1999
41 Wolfgang Thomas: Complementation of Büchi Automata Revised. Jewels are Forever 1999: 109-120
1998
40 Mogens Nielsen, Wolfgang Thomas: Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers Springer 1998
39 Wolfgang Thomas: Monadic Logic and Automata: Recent Developments. LICS 1998: 136-138
1997
38 Nils Buhrke, Wolfgang Thomas, Jens Vöge: Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT 1997: 99-108
37EEOliver Matz, Wolfgang Thomas: The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. LICS 1997: 236-244
36 Wolfgang Thomas: Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. Structures in Logic and Computer Science 1997: 118-143
35EEWolfgang Thomas: Automata Theory on Trees and Partial Orders. TAPSOFT 1997: 20-38
1996
34 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
33 Ina Schiering, Wolfgang Thomas: Counter-Free Automata, First-Order Logic and Star-Free Expressions. Developments in Language Theory 1995: 166-175
32EEWolfgang Thomas: On the Synthesis of Strategies in Infinite Games. STACS 1995: 1-13
31 Howard Straubing, Denis Thérien, Wolfgang Thomas: Regular Languages Defined with Generalized Quanifiers Inf. Comput. 118(2): 289-301 (1995)
1994
30EEWolfgang Thomas: Finite-State Strategies in Regular Infinite Games. FSTTCS 1994: 149-158
29 Wolfgang Thomas: Finite-State Recognizability and Logic: from Words to Graphs. IFIP Congress (1) 1994: 499-506
28EEDora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas: Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. STACS 1994: 365-375
1993
27 Eija Jurvanen, Andreas Potthoff, Wolfgang Thomas: Tree Languages Recognizable by Regular Frontier Check. Developments in Language Theory 1993: 3-17
26 Andreas Potthoff, Wolfgang Thomas: Regular Tree Languages Without Unary Symbols are Star-Free. FCT 1993: 396-405
25 Kurt Mehlhorn, Volker Claus, Wolfgang Thomas: Komplexitätstheorie und Algorithmik. Perspektiven der Informatik 1993: 113-116
24 Wolfgang Thomas: Logik in der Informatik. Perspektiven der Informatik 1993: 116-120
23 Wolfgang Thomas: Semantik und Verifikation. Perspektiven der Informatik 1993: 120-124
22EEWolfgang Thomas, Helmut Lescow: Logical Specifications of Infinite Computations. REX School/Symposium 1993: 583-621
21EEWolfgang Thomas: On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. TAPSOFT 1993: 559-568
1992
20 Wolfgang Thomas: Infinite Trees and Automation-Definable Relations over omega-Words. Theor. Comput. Sci. 103(1): 143-159 (1992)
1991
19EEWolfgang Thomas: On Logics, Tilings, and Automata. ICALP 1991: 441-454
1990
18EEWolfgang Thomas: Infinite Trees and Automaton Definable Relations over Omega-Words. STACS 1990: 263-277
17 Wolfgang Thomas: Automata on Infinite Objects. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 133-192
1989
16EEV. Kell, Albert Maier, Andreas Potthoff, Wolfgang Thomas, U. Wermuth: AMORE: A System for Computing Automata, MOnoidsm and Regular Expressions. STACS 1989: 537-538
1988
15EEWolfgang Thomas: Automata and quantifier hierarchies. Formal Properties of Finite Automata and Applications 1988: 104-119
14EEHoward Straubing, Denis Thérien, Wolfgang Thomas: regular Languages Defined with Generalized Quantifiers. ICALP 1988: 561-575
13EEWolfgang Thomas: Computation tree logic and regular omega-languages. REX Workshop 1988: 690-713
1987
12 Wolfgang Thomas: A Concatenation Game and the Dot-Depth Hierarchy. Computation Theory and Logic 1987: 415-426
11EEThilo Hafer, Wolfgang Thomas: Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. ICALP 1987: 269-279
10 Wolfgang Thomas: On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees LICS 1987: 245-256
1986
9 Wolfgang Thomas: On Frontiers of Regular Trees. ITA 20(4): 371-381 (1986)
1985
8 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
7 Wolfgang Thomas: Logical Aspects in the Study of Tree Languages. CAAP 1984: 31-50
1983
6 Wolfgang Thomas: A hierarchy of sets of infinite trees. Theoretical Computer Science 1983: 335-342
1982
5 Wolfgang Thomas: Classifying Regular Events in Symbolic Logic. J. Comput. Syst. Sci. 25(3): 360-376 (1982)
1981
4 Wolfgang Thomas: A Combinatorial Approach to the Theory of omega-Automata Information and Control 48(3): 261-283 (1981)
3 Wolfgang Thomas: Remark on the Star-Height-Problem. Theor. Comput. Sci. 13: 231-237 (1981)
1980
2 Wolfgang Thomas: On the Bounded Monadic Theory of Well-Ordered Structures. J. Symb. Log. 45(2): 334-338 (1980)
1979
1 Wolfgang Thomas: Star-Free Regular Sets of omega-Sequences Information and Control 42(2): 148-156 (1979)

Coauthor Index

1Susanne Albers [84] [85]
2Jan-Henrik Altenbernd [51]
3Christoph Schulte Althoff [64] [66]
4Martin Belzner [73]
5Nils Buhrke [38]
6Thierry Cachat [52]
7Olivier Carton [43] [50]
8Volker Claus [25]
9Julien Cristau [62] [63]
10Jacques Duparc [52]
11Bruno Durand [69]
12Dora Giammarresi [28] [34]
13Erich Grädel [54]
14Thilo Hafer [11]
15Paul Hänsch [82]
16Florian Horn [80]
17Patrick Hütten [58]
18Eija Jurvanen [27]
19Wong Karianto [67]
20Henry A. Kautz [60] [61] [70]
21V. Kell [16]
22Aloys Krieg [67]
23Helmut Lescow [22]
24Christof Löding [44] [62] [63]
25Albert Maier [16]
26Alberto Marchetti-Spaccamela [84] [85]
27Yossi Matias [84] [85]
28Oliver Matz [37] [49]
29Kurt Mehlhorn [25]
30Mogens Nielsen [40]
31Sotiris E. Nikoletseas [84] [85]
32Walter Oberschelp [8]
33Andreas Potthoff [16] [26] [27]
34Alexander Moshe Rabinovich (Alexander Rabinovich) [68] [74]
35Frank G. Radmacher [76]
36Antonio Restivo [28] [34]
37Michael M. Richter [8]
38Philipp Rohde [57]
39Grzegorz Rozenberg [45]
40Ina Schiering [33]
41Britta Schinzel [8]
42Nicole Schweikardt [49]
43Sebastian Seibert [28] [34]
44Michaela Slaats [82]
45Dieter Stoll [73]
46Howard Straubing [14] [31]
47Denis Thérien [14] [31]
48Moshe Y. Vardi [60] [61] [70]
49Jens Vöge [38]
50Nico Wallmeier [58] [64] [66] [80]
51Pascal Weil [75]
52U. Wermuth [16]
53Thomas Wilke [54]
54Stefan Wöhrle [51] [59] [71] [72]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)