Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Simon Docherty

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BaoDH021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BaoDH021
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva:
A Bunched Logic for Conditional Independence. LICS 2021: 1-14
2020
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/WagemakerBDKR020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/WagemakerBDKR020
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva:
Partially Observable Concurrent Kleene Algebra. CONCUR 2020: 20:1-20:22
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-07593
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-07593
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva:
Partially Observable Concurrent Kleene Algebra. CoRR abs/2007.07593 (2020)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-09231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-09231
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva:
A Logic to Reason about Dependence and Independence. CoRR abs/2008.09231 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Docherty19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Docherty19
Simon Docherty:
Bunched logics: a uniform approach. University College London, UK, 2019
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/DochertyP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/DochertyP19
Simon Docherty, David J. Pym:
Stone-Type Dualities for Separation Logics. Log. Methods Comput. Sci. 15(1) (2019)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iot/CattermoleDPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iot/CattermoleDPS19
Thomas Cattermole, Simon Docherty, David J. Pym, M. Angela Sasse:
Asset-Oriented Access Control: Towards a New IoT Framework. IOT 2019: 31:1-31:4
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/DochertyR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/DochertyR19
Simon Docherty, Reuben N. S. Rowe:
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. TABLEAUX 2019: 335-352
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-06143
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-06143
Simon Docherty, Reuben N. S. Rowe:
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. CoRR abs/1905.06143 (2019)
2018
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/DochertyP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/DochertyP18
Simon Docherty, David J. Pym:
Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Log. Methods Comput. Sci. 14(4) (2018)
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/DochertyP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DochertyP18
Simon Docherty, David J. Pym:
Modular Tableaux Calculi for Separation Theories. FoSSaCS 2018: 441-458
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DochertyP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DochertyP18
Simon Docherty, David J. Pym:
A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. MFPS 2018: 101-118
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/CollinsonMDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/CollinsonMDP17
Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym:
Erratum to: A substructural logic for layered graphs. J. Log. Comput. 27(1): 413-414 (2017)
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DochertyP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DochertyP17
Simon Docherty, David J. Pym:
Intuitionistic Layered Graph Logic. IJCAI 2017: 4816-4820
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DochertyP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DochertyP17
Simon Docherty, David J. Pym:
Intuitionistic Layered Graph Logic: Semantics and Proof Theory. CoRR abs/1702.05795 (2017)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-03021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03021
Simon Docherty, David J. Pym:
Stone-Type Dualities for Separation Logics. CoRR abs/1710.03021 (2017)
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DochertyP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DochertyP16
Simon Docherty, David J. Pym:
Intuitionistic Layered Graph Logic. IJCAR 2016: 469-486

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.