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

2 items

Predicate Subtypes in VerCors

2026

Cited

0

Verified Parameterized Choreographies Technical Report

2025

Cited

0

Resume (English only)

Co-authors

10 total

Professor in Computer Science, KTH Royal Institute of Technology

Professor of Software Security and Correctness, Radboud University Nijmegen

Rosemary Monahan

National Univeristy of Ireland