Stefan Blom (University of Twente)

Identifiers

• name variant Stefan Blom (University of Twente) 0.60 · backfill

Papers (3)

1. Future-based Static Analysis of Message Passing Programs cs.LO · 2016 · author #2
2. Verifying Parallel Loops with Separation Logic cs.SE · 2014 · author #1
3. Distributed Branching Bisimulation Minimization by Inductive Signatures cs.LO · 2009 · author #1

Mentions

• 1406.3484 #1 · backfill · confidence 0.70 Stefan Blom (University of Twente)
• 0912.2550 #1 · backfill · confidence 0.70 Stefan Blom (University of Twente)

Frequent Coauthors

• Marieke Huisman (University of Twente) 2 shared papers
• Jaco van de Pol (University of Twente) 1 shared papers
• Saeed Darabi (University of Twente) 1 shared papers
• Wytse Oortwijn (University of Twente) 1 shared papers