Koen Claessen

Identifiers

• name variant Koen Claessen 0.60 · backfill

Papers (3)

1. A Supervisory Control Algorithm Based on Property-Directed Reachability cs.SY · 2017 · author #1
2. Hipster: Integrating Theory Exploration in a Proof Assistant cs.LO · 2014 · author #4
3. A Faithful Semantics for Generalised Symbolic Trajectory Evaluation cs.LO · 2009 · author #1

Mentions

• 1711.06501 #1 · arxiv_oai · confidence 0.70 Koen Claessen
• 1405.3426 #4 · backfill · confidence 0.70 Koen Claessen
• 0901.2518 #1 · backfill · confidence 0.70 Koen Claessen

Frequent Coauthors

• Bengt Lennartson 1 shared papers
• Dan Rosen 1 shared papers
• Jan-Willem Roorda 1 shared papers
• Jonatan Kilhamn 1 shared papers
• Laura Kov\'acs 1 shared papers
• Moa Johansson 1 shared papers
• Nicholas Smallbone 1 shared papers