Intuitionistic Layered Graph Logic. - Simon Docherty; David J. Pym (IJCAI, 2017)

Erratum to: A substructural logic for layered graphs. - Matthew Collinson; Kevin McDonald; Simon Docherty; David J. Pym (J. Log. Comput., 2017)

Modular Tableaux Calculi for Separation Theories. - Simon Docherty; David J. Pym (FoSSaCS, 2018)

A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. - Simon Docherty; David J. Pym (MFPS, 2018)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory. - Simon Docherty; David J. Pym (Log. Methods Comput. Sci., 2018)

Asset-Oriented Access Control: Towards a New IoT Framework. - Thomas Cattermole; Simon Docherty; David J. Pym; M. Angela Sasse (IOT, 2019)

A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. - Simon Docherty; Reuben N. S. Rowe (TABLEAUX, 2019)

Stone-Type Dualities for Separation Logics. - Simon Docherty; David J. Pym (Log. Methods Comput. Sci., 2019)

Bunched logics: a uniform approach. - Simon Docherty (2019)

Partially Observable Concurrent Kleene Algebra. - Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (CONCUR, 2020)

A Logic to Reason about Dependence and Independence. - Jialu Bao; Simon Docherty; Justin Hsu; Alexandra Silva 001 (CoRR, 2020)

A Bunched Logic for Conditional Independence. - Jialu Bao; Simon Docherty; Justin Hsu; Alexandra Silva 001 (LICS, 2021)