Tim Willemse

Identifiers

• name variant Tim Willemse 0.60 · backfill

Papers (2)

1. Minimal and Canonical Quotients for Simulation Equivalences cs.LO · 2026 · author #2
2. Verification of Parametric Markov Automata under Time-bounded Reachability cs.LO · 2026 · author #3

Mentions

• 2606.21450 #2 · arxiv_oai · confidence 0.70 Tim Willemse
• 2606.21444 #3 · arxiv_oai · confidence 0.70 Tim Willemse

Frequent Coauthors

• Eduardo Costa Martins 1 shared papers
• Kevin van de Glind 1 shared papers
• Matthias Volk 1 shared papers