Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Marieke Huisman

Permission-Based Separation Logic for Multithreaded Java Programs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Program Correctness by Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

VerifyThis – Verification Competition With a Human Factor

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

On Models and Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

How Do Developers Use APIs? A Case Study in Concurrency

2013English

Lazy Evaluation for Concurrent OLTP and Bulk Transactions

2016English

A Symbolic Approach to Permission Accounting for Concurrent Reasoning

2015English

Functional Outcome After Sacrospinous Hysteropexy for Uterine Descensus

International Urogynecology Journal
GynecologyUrologyObstetrics
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy