Jaco van de Pol (University of Twente)

Identifiers

• name variant Jaco van de Pol (University of Twente) 0.60 · backfill

Papers (4)

1. Modeling and Verification of the Bitcoin Protocol cs.LO · 2015 · author #3
2. Variations on Multi-Core Nested Depth-First Search cs.LO · 2011 · author #2
3. Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation cs.LO · 2009 · author #2
4. Distributed Branching Bisimulation Minimization by Inductive Signatures cs.LO · 2009 · author #2

Mentions

• 1511.04173 #3 · backfill · confidence 0.70 Jaco van de Pol (University of Twente)
• 1111.0369 #2 · backfill · confidence 0.70 Jaco van de Pol (University of Twente)
• 0912.3036 #2 · backfill · confidence 0.70 Jaco van de Pol (University of Twente)
• 0912.2550 #2 · backfill · confidence 0.70 Jaco van de Pol (University of Twente)

Frequent Coauthors

• Alfons Laarman (University of Twente) 1 shared papers
• Ansgar Fehnker (University of the South Pacific) 1 shared papers
• Kaylash Chaudhary (University of the South Pacific) 1 shared papers
• Lubos Brim (Masaryk University) 1 shared papers
• Marielle Stoelinga (University of Twente) 1 shared papers
• Stefan Blom (University of Twente) 1 shared papers