| Bunched logics: a uniform approach SR Docherty UCL (University College London), 2019 | 28 | 2019 |
| Intuitionistic layered graph logic S Docherty, D Pym Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 17 | 2016 |
| A bunched logic for conditional independence J Bao, S Docherty, J Hsu, A Silva 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 13 | 2021 |
| A non-wellfounded, labelled proof system for propositional dynamic logic S Docherty, RNS Rowe International Conference on Automated Reasoning with Analytic Tableaux and …, 2019 | 13 | 2019 |
| Modular tableaux calculi for separation theories S Docherty, D Pym Foundations of Software Science and Computation Structures: 21st …, 2018 | 13 | 2018 |
| Partially observable concurrent Kleene algebra J Wagemaker, P Brunet, S Docherty, T Kappé, J Rot, A Silva arXiv preprint arXiv:2007.07593, 2020 | 9 | 2020 |
| Intuitionistic layered graph logic: semantics and proof theory S Docherty, D Pym Logical Methods in Computer Science 14, 2018 | 9 | 2018 |
| A model of type theory in cubical sets with connections S Docherty | 8 | 2014 |
| Reductive logic, coalgebra, and proof-search: a perspective from resource semantics AV Gheorghiu, S Docherty, DJ Pym, A Palmigiano, M Sadrzadeh Samson Abramsky on Logic and Structure in Computer Science and Beyond 25, 2021 | 7 | 2021 |
| Stone-type dualities for separation logics S Docherty, D Pym Logical Methods in Computer Science 15, 2019 | 7 | 2019 |
| 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 | 7 | 2018 |
| 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 | 2 | 2019 |
| A Stone-type Duality Theorem for Separation Logic via its Underlying Bunched Logics S Docherty, D Pym RN 17 (06), 06, 2017 | 2 | 2017 |
| Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics AV Gheorghiu, S Docherty, DJ Pym Samson Abramsky on Logic and Structure in Computer Science and Beyond, 833-875, 2023 | | 2023 |
| Provability in BI's Sequent Calculus is Decidable A Gheorghiu, S Docherty, D Pym arXiv preprint arXiv:2103.02343, 2021 | | 2021 |
| A Logic to Reason about Dependence and Independence. J Bao, S Docherty, J Hsu, A Silva CoRR, 2020 | | 2020 |
| Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Logics S Docherty, D Pym TACL 2019, 77, 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 | | |
