Simon Docherty

Orcid: 0000-0001-7523-6630

According to our database1, Simon Docherty authored at least 12 papers between 2017 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
A Bunched Logic for Conditional Independence.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
A Logic to Reason about Dependence and Independence.
CoRR, 2020

Partially Observable Concurrent Kleene Algebra.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019
Bunched logics: a uniform approach.
PhD thesis, 2019

Stone-Type Dualities for Separation Logics.
Log. Methods Comput. Sci., 2019

A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Asset-Oriented Access Control: Towards a New IoT Framework.
Proceedings of the 9th International Conference on the Internet of Things, 2019

2018
Intuitionistic Layered Graph Logic: Semantics and Proof Theory.
Log. Methods Comput. Sci., 2018

A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Modular Tableaux Calculi for Separation Theories.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017
Erratum to: A substructural logic for layered graphs.
J. Log. Comput., 2017

Intuitionistic Layered Graph Logic.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017


  Loading...