Thomas Wilke
Publication Activity (10 Years)
Years Active: 1991-2024
Publications (10 Years): 7
Publications (10 Years): 7
Top Topics
University of Kiel, Germany (PHD)
Education History
University of Kiel, Germany
PHD
Publications
- Thomas Wilke
- Sebastian Preugschat, Thomas Wilke
- Thomas Wilke
- Thomas Wilkeω-Automata. CoRR (2016)
- Christoph Dürr, Thomas Wilke
- Seth Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi
- Bernhard Koerber, Thomas Wilke
- Natacha Portier, Thomas Wilke
- Natacha Portier, Thomas Wilke
- Sebastian Eggert, Henning Schnoor, Thomas Wilke
- Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke
- Sebastian Fischer, Frank Huch, Thomas Wilke
- Detlef Kähler, Ralf Küsters, Thomas Wilke
- Moshe Y. Vardi, Thomas Wilke
- Ralf Küsters, Thomas Wilke
- Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke
- Detlef Kähler, Ralf Küsters, Thomas Wilke
- Detlef Kähler, Ralf Küsters, Thomas Wilke
- Carsten Fritz, Thomas Wilke
- Ralf Küsters, Thomas Wilke
- Denis Thérien, Thomas Wilke
- Thomas Wilke
- Detlef Kähler, Thomas Wilke
- Denis Thérien, Thomas Wilke
- Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
- Carsten Fritz, Thomas Wilke
- Ralf Küsters, Thomas Wilke
- Thomas Wilke
- Kousha Etessami, Thomas Wilke
- Thomas Wilke
- Thomas Wilke
- Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
- Thomas Wilke
- Kousha Etessami, Thomas Wilke
- Thomas Wilke
- Thomas Wilke, Haiseung Yoo
- Thomas Wilke
- Thomas Wilke
- Thomas Wilke