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

Automata, logics, and infinite Games. LNCS, vol. 2500 E Grädel, W Thomas, T Wilke Springer, Heidelberg, 2002 | 478* | 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 | 252* | 2002 |

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

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

Specifying timed state sequences in powerful decidable logics and timed automata T Wilke Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 2005 | 183 | 2005 |

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

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

Classifying discrete temporal properties T Wilke STACS 99, 32-46, 1999 | 155 | 1999 |

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

CTL^{+} Is Exponentially More Succinct than CTLT Wilke Foundations of Software Technology and Theoretical Computer Science: 19th …, 1999 | 128 | 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 | 102 | 2005 |

Complementation, disambiguation, and determinization of Büchi automata unified D Kähler, T Wilke Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008 | 92 | 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 | 86 | 2001 |

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

An Eilenberg theorem for∞-languages T Wilke Automata, Languages and Programming: 18th International Colloquium Madrid …, 1991 | 82 | 1991 |

An until hierarchy for temporal logic K Etessami, T Wilke Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 108-117, 1996 | 67 | 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 |

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 | 59* | 1996 |