Simon Docherty

17 papers A* 2A 1B 4Journal 8Unranked 1

Year	Rank	Type	Title / Venue / Authors
2021	A*	`conf`	A Bunched Logic for Conditional Independence. LICS Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2020	J	`jnl`	A Logic to Reason about Dependence and Independence. CoRR Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2020	B	`conf`	Partially Observable Concurrent Kleene Algebra. CONCUR Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020	J	`jnl`	Partially Observable Concurrent Kleene Algebra. CoRR Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019	B	`conf`	A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. TABLEAUX Simon Docherty, Reuben N. S. Rowe
2019	J	`jnl`	A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. CoRR Simon Docherty, Reuben N. S. Rowe
2019	—	`conf`	Asset-Oriented Access Control: Towards a New IoT Framework. IOT Thomas Cattermole, Simon Docherty, David J. Pym, M. Angela Sasse
2019	—	`—`	Bunched logics: a uniform approach. Simon Docherty
2019	J	`jnl`	Stone-Type Dualities for Separation Logics. Log. Methods Comput. Sci. Simon Docherty, David J. Pym
2018	B	`conf`	A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. MFPS Simon Docherty, David J. Pym
2018	J	`jnl`	Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Log. Methods Comput. Sci. Simon Docherty, David J. Pym
2018	B	`conf`	Modular Tableaux Calculi for Separation Theories. FoSSaCS Simon Docherty, David J. Pym
2017	J	`jnl`	Erratum to: A substructural logic for layered graphs. J. Log. Comput. Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym
2017	A*	`conf`	Intuitionistic Layered Graph Logic. IJCAI Simon Docherty, David J. Pym
2017	J	`jnl`	Intuitionistic Layered Graph Logic: Semantics and Proof Theory. CoRR Simon Docherty, David J. Pym
2017	J	`jnl`	Stone-Type Dualities for Separation Logics. CoRR Simon Docherty, David J. Pym
2016	A	`conf`	Intuitionistic Layered Graph Logic. IJCAR Simon Docherty, David J. Pym