Marieke Huisman
Scholar

Marieke Huisman

Google Scholar ID: ntTJhw8AAAAJ
Unknown affiliation
Google Scholar↗
Citations & Impact
All-time
Citations
1,394
 
H-index
16
 
i10-index
39
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
5 items
Scalable Deductive Verification of Data-Level Parallel Programs
2026
Cited
0
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
2026
Cited
0
Crash-free Deductive Verifiers
2026
Cited
0
Predicate Subtypes in VerCors
2026
Cited
0
Verified Parameterized Choreographies Technical Report
2025
Cited
0
Resume (English only)
Co-authors
10 total
Co-author 1
Co-author 1
Dilian Gurov
Dilian Gurov
Professor in Computer Science, KTH Royal Institute of Technology
Bart Jacobs
Bart Jacobs
Professor of Software Security and Correctness, Radboud University Nijmegen
Rosemary Monahan
Rosemary Monahan
National Univeristy of Ireland
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8