Simon Docherty

According to our database, Simon Docherty authored at least 12 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Bunched Logic for Conditional Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

A Logic to Reason about Dependence and Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

CoRR, 2020

Partially Observable Concurrent Kleene Algebra.

Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Bunched logics: a uniform approach.

Simon Docherty

PhD thesis, 2019

Stone-Type Dualities for Separation Logics.

Simon Docherty, David J. Pym

Log. Methods Comput. Sci., 2019

A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic.

Simon Docherty, Reuben N. S. Rowe

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Asset-Oriented Access Control: Towards a New IoT Framework.

Thomas Cattermole, Simon Docherty, David J. Pym, M. Angela Sasse

Proceedings of the 9th International Conference on the Internet of Things, 2019

2018

Intuitionistic Layered Graph Logic: Semantics and Proof Theory.

Simon Docherty, David J. Pym

Log. Methods Comput. Sci., 2018

A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics.

Simon Docherty, David J. Pym

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Modular Tableaux Calculi for Separation Theories.

Simon Docherty, David J. Pym

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Erratum to: A substructural logic for layered graphs.

Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym

J. Log. Comput., 2017

2016

Intuitionistic Layered Graph Logic.

Simon Docherty, David J. Pym

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016