Thomas Wilke 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 keys2009
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMihhail Aizatulin, Henning Schnoor, Thomas Wilke: Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. ESORICS 2009: 571-586
2008
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Kähler, Thomas Wilke: Complementation, Disambiguation, and Determinization of Büchi Automata Unified. ICALP (1) 2008: 724-735
2007
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaas Ole Kürtz, Ralf Küsters, Thomas Wilke: Selecting theories and nonce generation for recursive protocols. FMSE 2007: 61-70
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon van der Meyden, Thomas Wilke: Preservation of epistemic properties in security protocol implementations. TARK 2007: 212-221
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Küsters, Thomas Wilke: Transducer-based analysis of cryptographic protocols. Inf. Comput. 205(12): 1741-1776 (2007)
2006
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Fritz, Thomas Wilke: Simulation Relations for Alternating Parity Automata and Parity Games. Developments in Language Theory 2006: 59-70
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Kähler, Ralf Küsters, Thomas Wilke: A Dolev-Yao-Based Definition of Abuse-Free Protocols. ICALP (2) 2006: 95-106
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Bart Kuijpers, Christof Löding, Jan Van den Bussche, Thomas Wilke: A characterization of first-order topological properties of planar spatial data. J. ACM 53(2): 273-305 (2006)
2005
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon van der Meyden, Thomas Wilke: Synthesis of Distributed Systems from Knowledge-Based Specifications. CONCUR 2005: 562-576
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Kähler, Ralf Küsters, Thomas Wilke: Deciding Properties of Contract-Signing Protocols. STACS 2005: 158-169
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Thomas Wilke, Rebecca A. Schuller: Fair Simulation Relations, Parity Games, and State Space Reduction for Bu"chi Automata. SIAM J. Comput. 34(5): 1159-1175 (2005)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Fritz, Thomas Wilke: Simulation relations for alternating Büchi automata. Theor. Comput. Sci. 338(1-3): 275-314 (2005)
2004
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Benedikt, Christof Löding, Jan Van den Bussche, Thomas Wilke: A Characterization of First-Order Topological Properties of Planar Spatial Data. PODS 2004: 107-114
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Küsters, Thomas Wilke: Automata-Based Analysis of Recursive Cryptographic Protocols. STACS 2004: 382-393
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Thérien, Thomas Wilke: Nesting Until and Since in Linear Temporal Logic. Theory Comput. Syst. 37(1): 111-131 (2004)
2003
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlef Kähler, Thomas Wilke: Program Complexity of Dynamic LTL Model Checking. CSL 2003: 271-284
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: Minimizing Automata on Infinite Words. LPAR 2003: 289
2002
30no 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Fritz, Thomas Wilke: State Space Reductions for Alternating Büchi Automata. FSTTCS 2002: 157-168
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Küsters, Thomas Wilke: Deciding the First Level of the µ-Calculus Alternation Hierarchy. FSTTCS 2002: 241-252
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Thérien, Thomas Wilke: Nesting Until and Since in Linear Temporal Logic. STACS 2002: 455-464
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. Inf. Comput. 179(2): 279-295 (2002)
2001
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Thomas Wilke, Rebecca A. Schuller: Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata. ICALP 2001: 694-707
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: Linear Temporal Logic and Finite Semigroups. MFCS 2001: 96-110
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Sebastian Seibert, Thomas Wilke: Translating Regular Expressions into Small -Free Nondeterministic Finite Automata. J. Comput. Syst. Sci. 62(4): 565-588 (2001)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Thérien, Thomas Wilke: Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy. SIAM J. Comput. 31(3): 777-798 (2001)
2000
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Thomas Wilke: An Until Hierarchy and Other Applications of an Ehrenfeucht-Fraïssé Game for Temporal Logic. Inf. Comput. 160(1-2): 88-108 (2000)
1999
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: CTL+ is Exponentially more Succinct than CTL. FSTTCS 1999: 110-121
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Dickhöfer, Thomas Wilke: Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem. ICALP 1999: 281-290
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: Classifying Discrete Temporal Properties. STACS 1999: 32-46
1998
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Thérien, Thomas Wilke: Over Words, Two Variables Are as Powerful as One Quantifier Alternation. STOC 1998: 234-240
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. Theor. Comput. Sci. 195(2): 183-203 (1998)
1997
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic. ICALP 1997: 347-357
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Moshe Y. Vardi, Thomas Wilke: First-Order Logic with Two Variables and Unary Temporal Logic. LICS 1997: 228-235
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Seibert, Thomas Wilke: Bounds for Approximating MAXLINEQ3-2 and MAXEKSAT. Lectures on Proof Verification and Approximation Algorithms 1997: 179-212
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Sebastian Seibert, Thomas Wilke: Translating Regular Expressions into Small epsilon-Free Nondeterministic Finite Automata. STACS 1997: 55-66
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Thomas Wilke: Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. Inf. Process. Lett. 63(5): 243-246 (1997)
1996
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR 1996: 596-610
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Thérien, Thomas Wilke: Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy. FOCS 1996: 256-263
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Thomas Wilke: An Until Hierarchy for Temporal Logic. LICS 1996: 108-117
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke, Haiseung Yoo: Computing the Rabin Index of a Regular Language of Infinite Words. Inf. Comput. 130(1): 61-70 (1996)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: An Algebraic Characterization of Frontier Testable Tree Languages. Theor. Comput. Sci. 154(1): 85-106 (1996)
1995
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke, Haiseung Yoo: Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time. TAPSOFT 1995: 288-302
1994
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata. FTRTFT 1994: 694-715
1993
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability. ICALP 1993: 347-358
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: Locally Threshold Testable Languages of Infinite Words. STACS 1993: 607-616
1991
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wilke: An Eilenberg Theorem for Infinity-Languages. ICALP 1991: 588-599

Coauthor Index

1Mihhail Aizatulin [47]
2Michael Benedikt [35] [40]
3Jan Van den Bussche [35] [40]
4Martin Dickhöfer [19]
5Kousha Etessami [8] [14] [21] [25] [26] [37]
6Carsten Fritz [29] [36] [42]
7Erich Grädel [30]
8Juraj Hromkovic [12] [23]
9Detlef Kähler [32] [38] [41] [46]
10Bart Kuijpers [40]
11Klaas Ole Kürtz [45]
12Ralf Küsters [28] [34] [38] [41] [43] [45]
13Christof Löding [35] [40]
14Ron van der Meyden [39] [44]
15Doron Peled [10] [11] [16]
16Henning Schnoor [47]
17Rebecca A. Schuller [25] [37]
18Sebastian Seibert [12] [13] [23]
19Denis Thérien [9] [17] [22] [27] [33]
20Wolfgang Thomas [30]
21Moshe Y. Vardi [14] [26]
22Pierre Wolper [10] [16]
23Haiseung Yoo [5] [7]

Colors in the list of coauthors

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