Marieke Huisman (University of Twente)

Identifiers

• name variant Marieke Huisman (University of Twente) 0.60 · backfill

Papers (6)

1. Predicate Subtypes in VerCors cs.LO · 2026 · author #2
2. Verification of Shared-Reading Synchronisers cs.SE · 2018 · author #2
3. Future-based Static Analysis of Message Passing Programs cs.LO · 2016 · author #3
4. Permission-Based Separation Logic for Multithreaded Java Programs cs.LO · 2014 · author #2
5. Verifying Parallel Loops with Separation Logic cs.SE · 2014 · author #3
6. Quantitative Security Analysis for Multi-threaded Programs cs.CR · 2013 · author #2

Mentions

• 1411.0851 #2 · backfill · confidence 0.70 Marieke Huisman (University of Twente)
• 1406.3484 #3 · backfill · confidence 0.70 Marieke Huisman (University of Twente)
• 1306.2693 #2 · backfill · confidence 0.70 Marieke Huisman (University of Twente)

Frequent Coauthors

• Stefan Blom (University of Twente) 2 shared papers
• Afshin Amighi (Hogeschool Rotterdam) 1 shared papers
• Afshin Amighi (University of Twente) 1 shared papers
• Christian Haack (aicas GmbH) 1 shared papers
• Cl\'ement Hurlin (Prove & Run) 1 shared papers
• \"Omer \c{S}akar (University of Twente) 1 shared papers
• Saeed Darabi (University of Twente) 1 shared papers
• Stefan Blom (Better Be) 1 shared papers
• Tri Minh Ngo (University of Twente) 1 shared papers
• Tycho Dubbeling (University of Twente) 1 shared papers
• Wytse Oortwijn (University of Twente) 1 shared papers