Wolfgang Thomas Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2010
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas, Pascal Weil: Preface of STACS 2007 Special Issue. Theory Comput. Syst. 46(3): 397 (2010)
2009
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne 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
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: The Reachability Problem over Infinite Graphs. CSR 2009: 12-18
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Hänsch, Michaela Slaats, Wolfgang Thomas: Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. FCT 2009: 181-192
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Facets of Synthesis: Revisiting Church's Problem. FOSSACS 2009: 1-14
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik Klein, Frank G. Radmacher, Wolfgang Thomas: The Complexity of Reachability in Randomized Sabotage Games. FSEN 2009: 162-177
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo Felscher, Wolfgang Thomas: Compositionality and Reachability with Conditions on Path Lengths. Int. J. Found. Comput. Sci. 20(5): 851-868 (2009)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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)
2008
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Horn, Wolfgang Thomas, Nico Wallmeier: Optimal Strategy Synthesis in Request-Response Games. ATVA 2008: 361-373
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Model Transformations in Decidability Proofs for Monadic Theories. CSL 2008: 23-31
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Church's Problem and a Tour through Automata Theory. Pillars of Computer Science 2008: 635-655
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Optimizing Winning Strategies in Regular Infinite Games. SOFSEM 2008: 118-123
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas, Pascal Weil: STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings Springer 2007
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Rabinovich, Wolfgang Thomas: Logical Refinements of Church's Problem. CSL 2007: 69-83
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter 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)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems CoRR abs/0710.5659: (2007)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. Logical Methods in Computer Science 3(4): (2007)
2006
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry 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
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Durand, Wolfgang Thomas: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings Springer 2006
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Moshe Rabinovich, Wolfgang Thomas: Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. CSL 2006: 562-574
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarianto Wong, Aloys Krieg, Wolfgang Thomas: On Intersection Problems for Polynomially Generated Sets. ICALP (2) 2006: 516-527
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier: Observations on determinization of Büchi automata. Theor. Comput. Sci. 363(2): 224-233 (2006)
2005
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Some Perspectives of Infinite-State Verification. ATVA 2005: 3-10
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier: Observations on Determinization of Büchi Automata. CIAA 2005: 262-272
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Cristau, Christof Löding, Wolfgang Thomas: Deterministic Automata on Unranked Trees. FCT 2005: 68-79
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas, Julien Cristau, Christof Löding: Deterministic Automata on Unranked Trees. Foundations of Semistructured Data 2005
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi: 05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005
2004
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. LICS 2004: 2-11
2003
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNico Wallmeier, Patrick Hütten, Wolfgang Thomas: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. CIAA 2003: 11-22
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilipp Rohde, Wolfgang Thomas: Ein e-Lecture-System für die Theoretische Informatik. DeLFI 2003: 17-26
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Constructing Infinite Graphs with a Decidable MSO-Theory. MFCS 2003: 113-124
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Uniform and nonuniform recognizability. Theor. Comput. Sci. 292(1): 299-316 (2003)
2002
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErich 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Infinite Games and Verification (Extended Abstract of a Tutorial). CAV 2002: 58-64
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Cachat, Jacques Duparc, Wolfgang Thomas: Solving Pushdown Games with a Sigma3 Winning Condition. CSL 2002: 322-336
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle: Tiling Systems over Infinite Pictures and Their Acceptance Conditions. Developments in Language Theory 2002: 297-306
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Carton, Wolfgang Thomas: The Monadic Theory of Morphic Infinite Words and Generalizations. Inf. Comput. 176(1): 51-65 (2002)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Matz, Nicole Schweikardt, Wolfgang Thomas: The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. Inf. Comput. 179(2): 356-383 (2002)
2001
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: A Short Introduction to Infinite Automata. Developments in Language Theory 2001: 130-144
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Logic for Computer Science: The Engineering Challenge. Informatics 2001: 257-267
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: The Engineering Challenge for Logic. LICS 2001
2000
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Wolfgang Thomas: Developments in Language Theory, Foundations, Applications, and Perspectives, Aachen, Germany, 6-9 July 1999 World Scientific 2000
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristof Löding, Wolfgang Thomas: Alternating Automata and Logics over Infinite Words. IFIP TCS 2000: 521-535
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Carton, Wolfgang Thomas: The Monadic Theory of Morphic Infinite Words and Generalizations. MFCS 2000: 275-284
1999
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Complementation of Büchi Automata Revised. Jewels are Forever 1999: 109-120
1998
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMogens 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
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Monadic Logic and Automata: Recent Developments. LICS 1998: 136-138
1997
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Buhrke, Wolfgang Thomas, Jens Vöge: Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT 1997: 99-108
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Matz, Wolfgang Thomas: The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. LICS 1997: 236-244
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words. Structures in Logic and Computer Science 1997: 118-143
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Automata Theory on Trees and Partial Orders. TAPSOFT 1997: 20-38
1996
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDora 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIna Schiering, Wolfgang Thomas: Counter-Free Automata, First-Order Logic and Star-Free Expressions. Developments in Language Theory 1995: 166-175
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: On the Synthesis of Strategies in Infinite Games. STACS 1995: 1-13
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Straubing, Denis Thérien, Wolfgang Thomas: Regular Languages Defined with Generalized Quanifiers Inf. Comput. 118(2): 289-301 (1995)
1994
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Finite-State Strategies in Regular Infinite Games. FSTTCS 1994: 149-158
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Finite-State Recognizability and Logic: from Words to Graphs. IFIP Congress (1) 1994: 499-506
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas: Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. STACS 1994: 365-375
1993
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEija Jurvanen, Andreas Potthoff, Wolfgang Thomas: Tree Languages Recognizable by Regular Frontier Check. Developments in Language Theory 1993: 3-17
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Potthoff, Wolfgang Thomas: Regular Tree Languages Without Unary Symbols are Star-Free. FCT 1993: 396-405
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKurt Mehlhorn, Volker Claus, Wolfgang Thomas: Komplexitätstheorie und Algorithmik. Perspektiven der Informatik 1993: 113-116
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Logik in der Informatik. Perspektiven der Informatik 1993: 116-120
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Semantik und Verifikation. Perspektiven der Informatik 1993: 120-124
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas, Helmut Lescow: Logical Specifications of Infinite Computations. REX School/Symposium 1993: 583-621
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science. TAPSOFT 1993: 559-568
1992
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Infinite Trees and Automation-Definable Relations over omega-Words. Theor. Comput. Sci. 103(1): 143-159 (1992)
1991
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: On Logics, Tilings, and Automata. ICALP 1991: 441-454
1990
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Infinite Trees and Automaton Definable Relations over Omega-Words. STACS 1990: 263-277
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Automata on Infinite Objects. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 133-192
1989
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. Kell, Albert Maier, Andreas Potthoff, Wolfgang Thomas, U. Wermuth: AMORE: A System for Computing Automata, MOnoidsm and Regular Expressions. STACS 1989: 537-538
1988
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Automata and quantifier hierarchies. Formal Properties of Finite Automata and Applications 1988: 104-119
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Straubing, Denis Thérien, Wolfgang Thomas: regular Languages Defined with Generalized Quantifiers. ICALP 1988: 561-575
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Computation tree logic and regular omega-languages. REX Workshop 1988: 690-713
1987
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: A Concatenation Game and the Dot-Depth Hierarchy. Computation Theory and Logic 1987: 415-426
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThilo Hafer, Wolfgang Thomas: Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. ICALP 1987: 269-279
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees LICS 1987: 245-256
1986
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: On Frontiers of Regular Trees. ITA 20(4): 371-381 (1986)
1985
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalter 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Logical Aspects in the Study of Tree Languages. CAAP 1984: 31-50
1983
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: A hierarchy of sets of infinite trees. Theoretical Computer Science 1983: 335-342
1982
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Classifying Regular Events in Symbolic Logic. J. Comput. Syst. Sci. 25(3): 360-376 (1982)
1981
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: A Combinatorial Approach to the Theory of omega-Automata Information and Control 48(3): 261-283 (1981)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Remark on the Star-Height-Problem. Theor. Comput. Sci. 13: 231-237 (1981)
1980
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: On the Bounded Monadic Theory of Well-Ordered Structures. J. Symb. Log. 45(2): 334-338 (1980)
1979
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Thomas: Star-Free Regular Sets of omega-Sequences Information and Control 42(2): 148-156 (1979)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)