Simon Docherty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2016–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | LICS | A Bunched Logic for Conditional Independence. | Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva |
| 2020 | CONCUR | Partially Observable Concurrent Kleene Algebra. | Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2019 | TABLEAUX | A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. | Simon Docherty, Reuben N. S. Rowe |
| 2018 | FOSSACS | Modular Tableaux Calculi for Separation Theories. | Simon Docherty, David J. Pym |
| 2017 | IJCAI | Intuitionistic Layered Graph Logic. | Simon Docherty, David J. Pym |
| 2016 | CADE | Intuitionistic Layered Graph Logic. | Simon Docherty, David J. Pym |