Automata, logics, and infinite games: a guide to current research E Grädel, W Thomas, T Wilke Springer, 2003 | 1144 | 2003 |

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 | 268* | 2002 |

Alternating tree automata, parity games, and modal {}-calculus T Wilke Bulletin of the Belgian Mathematical Society-Simon Stevin 8 (2), 359-391, 2001 | 210 | 2001 |

Stutter-invariant temporal properties are expressible without the next-time operator D Peled, T Wilke Information Processing Letters 63 (5), 243-246, 1997 | 196 | 1997 |

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 | 192 | 1994 |

First Fit bin packing: A tight analysis G Dósa, J Sgall 30th International symposium on theoretical aspects of computer science …, 2013 | 189 | 2013 |

Classifying discrete temporal properties T Wilke STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science …, 1999 | 166 | 1999 |

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 | 161 | 1998 |

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 | 149* | 2001 |

CTL^{+} Is Exponentially More Succinct than CTLT Wilke International Conference on Foundations of Software Technology and …, 1999 | 131 | 1999 |

An algebraic theory for regular languages of finite and infinite words T Wilke International Journal of Algebra and Computation 3 (04), 447-489, 1993 | 111 | 1993 |

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 | 109 | 2005 |

Complementation, disambiguation, and determinization of Büchi automata unified D Kähler, T Wilke International Colloquium on Automata, Languages, and Programming, 724-735, 2008 | 92 | 2008 |

Automata: from logics to algorithms. MY Vardi, T Wilke Logic and automata 2, 629-736, 2008 | 89 | 2008 |

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 | 83 | 2001 |

An Eilenberg theorem for∞-languages T Wilke International Colloquium on Automata, Languages, and Programming, 588-599, 1991 | 83 | 1991 |

An until hierarchy for temporal logic K Etessami, T Wilke Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 108-117, 1996 | 69 | 1996 |

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 algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages D Peled, T Wilke, P Wolper Theoretical Computer Science 195 (2), 183-203, 1998 | 59 | 1998 |