Thomas Wilke

Identifiers

• name variant Thomas Wilke 0.60 · backfill

Papers (5)

1. Backward deterministic and weak alternating $\omega$-automata cs.FL · 2017 · author #2
2. {\omega}-Automata cs.FL · 2016 · author #1
3. Complexity and Unwinding for Intransitive Noninterference cs.CR · 2013 · author #4
4. Noninterference with Local Policies cs.CR · 2012 · author #3
5. Mesoscopic QCD and the Theta Vacua hep-th · 2001 · author #2

Mentions

• 1308.1204 #4 · backfill · confidence 0.70 Thomas Wilke
• 1208.5580 #3 · backfill · confidence 0.70 Thomas Wilke

Frequent Coauthors

• Henning Schnoor 2 shared papers
• Sebastian Eggert 2 shared papers
• Jonathan Lenaghan 1 shared papers
• Ron van der Meyden 1 shared papers
• Sebastian Preugschat 1 shared papers