Thomas Wilke

Thomas Wilke

Christian Albrechts Universität zu Kiel - Kiel / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1756683
Kiel University
person_outline Thomas Wilke's MOST POPULAR ARTICLES
1-) Automata, logics, and infinite games: a guide to current researchW ThomasSpringer Science & Business Media, 20029742002
2-) Automata, logics, and infinite Games. LNCS, vol. 2500E Grädel, W Thomas, T WilkeSpringer, Heidelberg, 2002463*2002
3-) First-order logic with two variables and unary temporal logicK Etessami, MY Vardi, T WilkeInformation and computation 179 (2), 279-295, 2002253*2002
4-) Alternating tree automata, parity games, and modal {}-calculusT WilkeBulletin of the Belgian Mathematical Society-Simon Stevin 8 (2), 359-391, 20012122001
5-) Stutter-invariant temporal properties are expressible without the next-time operatorD Peled, T WilkeInformation Processing Letters 63 (5), 243-246, 19971981997