Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by David Pym

Modular Tableaux Calculi for Separation Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

2 Fast 2 Secure: A Case Study of Post-Breach Security Changes

2019English

Modal Location-Resource-Process Logic for Access Control

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy