Folgen
Thomas Wilke
Thomas Wilke
Professor of Computer Science, Dept. of Computer Science, Kiel University
Bestätigte E-Mail-Adresse bei ti.informatik.uni-kiel.de
Titel
Zitiert von
Zitiert von
Jahr
Automata, logics, and infinite games: a guide to current research
E Grädel, W Thomas, T Wilke
Springer, 2003
11552003
Automata, logics, and infinite games, volume 2500 of LNCS
E Grädel, W Thomas, T Wilke
Springer, 2002
431*2002
First-order logic with two variables and unary temporal logic
K Etessami, MY Vardi, T Wilke
Information and computation 179 (2), 279-295, 2002
269*2002
Alternating tree automata, parity games, and modal {}-calculus
T Wilke
Bulletin of the Belgian Mathematical Society-Simon Stevin 8 (2), 359-391, 2001
2102001
Stutter-invariant temporal properties are expressible without the next-time operator
D Peled, T Wilke
Information Processing Letters 63 (5), 243-246, 1997
1981997
First Fit bin packing: A tight analysis
G Dósa, J Sgall
30th International symposium on theoretical aspects of computer science …, 2013
1962013
Specifying timed state sequences in powerful decidable logics and timed automata
T Wilke
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1994
1951994
Classifying discrete temporal properties
T Wilke
STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science …, 1999
1661999
Over words, two variables are as powerful as one quantifier alternation
D Thérien, T Wilke
Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing …, 1998
1621998
Translating regular expressions into small ε-free nondeterministic finite automata
J Hromkovič, S Seibert, T Wilke
Journal of Computer and System Sciences 62 (4), 565-588, 2001
150*2001
CTL+ Is Exponentially More Succinct than CTL
T Wilke
International Conference on Foundations of Software Technology and …, 1999
1321999
An algebraic theory for regular languages of finite and infinite words
T Wilke
International Journal of Algebra and Computation 3 (04), 447-489, 1993
1121993
Fair simulation relations, parity games, and state space reduction for Büchi automata
K Etessami, T Wilke, RA Schuller
SIAM Journal on Computing 34 (5), 1159-1175, 2005
1092005
Complementation, disambiguation, and determinization of Büchi automata unified
D Kähler, T Wilke
International Colloquium on Automata, Languages, and Programming, 724-735, 2008
942008
Automata: from logics to algorithms.
MY Vardi, T Wilke
Logic and automata 2, 629-736, 2008
892008
An Eilenberg theorem for∞-languages
T Wilke
International Colloquium on Automata, Languages, and Programming, 588-599, 1991
851991
Fair simulation relations, parity games, and state space reduction for Büchi automata
K Etessami, T Wilke, RA Schuller
Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001
832001
An until hierarchy for temporal logic
K Etessami, T Wilke
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 108-117, 1996
691996
Temporal logic and semidirect products: An effective characterization of the until hierarchy
D Thérien, T Wilke
Proceedings of 37th Conference on Foundations of Computer Science, 256-263, 1996
60*1996
An until hierarchy and other applications of an Ehrenfeucht–Fraıssé game for temporal logic
K Etessami, T Wilke
Information and Computation 160 (1-2), 88-108, 2000
592000
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20