Simon Docherty
Simon Docherty
Verified email at ucl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Intuitionistic layered graph logic
S Docherty, D Pym
International Joint Conference on Automated Reasoning, 469-486, 2016
162016
Bunched logics: a uniform approach
SR Docherty
UCL (University College London), 2019
82019
A Stone-type duality theorem for Separation Logic via its underlying bunched logics
S Docherty, D Pym
Electronic Notes in Theoretical Computer Science 336, 101-118, 2018
62018
Modular tableaux calculi for separation theories
S Docherty, D Pym
International Conference on Foundations of Software Science and Computation …, 2018
62018
A model of type theory in cubical sets with connections
S Docherty
62014
Stone-type dualities for separation logics
S Docherty, D Pym
arXiv preprint arXiv:1710.03021, 2017
52017
Intuitionistic layered graph logic: semantics and proof theory
S Docherty, D Pym
arXiv preprint arXiv:1702.05795, 2017
52017
A non-wellfounded, labelled proof system for propositional dynamic logic
S Docherty, RNS Rowe
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
22019
A Stone-type Duality Theorem for Separation Logic via its Underlying Bunched Logics
S Docherty, D Pym
RN 17 (06), 06, 2017
22017
A Logic to Reason about Dependence and Independence
J Bao, S Docherty, J Hsu, A Silva
arXiv preprint arXiv:2008.09231, 2020
2020
Partially observable concurrent Kleene algebra
J Wagemaker, P Brunet, S Docherty, T Kappé, J Rot, A Silva
arXiv preprint arXiv:2007.07593, 2020
2020
Asset-Oriented Access Control: Towards a New IoT Framework
T Cattermole, S Docherty, D Pym, MA Sasse
Proceedings of the 9th International Conference on the Internet of Things, 1-4, 2019
2019
Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Logics
S Docherty, D Pym
TACL 2019, 77, 2019
2019
Stone-Type Dualities for Separation Logics
D Pym, S Docherty
Logical Methods in Computer Science 15, 2019
2019
Erratum to: A substructural logic for layered graphs
M Collinson, K McDonald, S Docherty, D Pym
Journal of Logic and Computation 27 (1), 413-414, 2017
2017
Resource Reasoning in Duality Theoretic Form
S Docherty
The system can't perform the operation now. Try again later.
Articles 1–16