Marielle Stoelinga (University of Twente)

Identifiers

• name variant Marielle Stoelinga (University of Twente) 0.60 · backfill

Papers (1)

1. Modeling and Verification of the Bitcoin Protocol cs.LO · 2015 · author #4

Mentions

• 1511.04173 #4 · backfill · confidence 0.70 Marielle Stoelinga (University of Twente)

Frequent Coauthors

• Ansgar Fehnker (University of the South Pacific) 1 shared papers
• Jaco van de Pol (University of Twente) 1 shared papers
• Kaylash Chaudhary (University of the South Pacific) 1 shared papers