Tim A.C. Willemse

Identifiers

• name variant Tim A.C. Willemse 0.60 · backfill

Papers (5)

1. A Comparison of BDD-Based Parity Game Solvers cs.LO · 2018 · author #3
2. Improvement in Small Progress Measures cs.LO · 2015 · author #2
3. Strategy Derivation for Small Progress Measures cs.LO · 2014 · author #2
4. Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds cs.LO · 2013 · author #2
5. Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider cs.LO · 2011 · author #3

Mentions

• 1509.07207 #2 · backfill · confidence 0.70 Tim A.C. Willemse
• 1407.2149 #2 · backfill · confidence 0.70 Tim A.C. Willemse
• 1307.4465 #2 · backfill · confidence 0.70 Tim A.C. Willemse
• 1101.5324 #3 · backfill · confidence 0.70 Tim A.C. Willemse

Frequent Coauthors

• Maciej Gazda 3 shared papers
• Lisette Sanchez 1 shared papers
• Vincent J.J. Kusters 1 shared papers
• Wieger Wesselink 1 shared papers
• Yi-Ling Hwong 1 shared papers