Thomas Wilke

First-Order Logic with Two Variables and Unary Temporal Logic

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke, 1997 .

State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences

Carsten Fritz, C. Fritz, Thomas Wilke, 2002 .

State Space Reductions for Alternating B

Carsten Fritz, C. Fritz, Thomas Wilke, 2002 .

Over Words, Two Variables Are as Powerful as One Quantiier Alternation: Fo 2 = 2 \ 2

Thomas Wilke, T. Wilke, 1998 .