Ross Horne

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ single authored publications

> Home > Persons > Ross Horne

Publications

2020
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/Horne20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Horne20
Ross Horne:
Session Subtyping and Multiparty Compatibility Using Circular Sequents. CONCUR 2020: 12:1-12:22
2019
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/Horne19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Horne19
Ross Horne:
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic. FSCD 2019: 23:1-23:16
2018
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-02536
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-02536
Ross Horne:
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties. CoRR abs/1811.02536 (2018)
2015
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cuza/Horne15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/Horne15
Ross Horne:
The Consistency and Complexity of Multiplicative Additive System Virtual. Sci. Ann. Comput. Sci. 25(2): 245-316 (2015)
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/egcee/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/egcee/2015
Ross Horne:
Embracing Global Computing in Emerging Economies - First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings. Communications in Computer and Information Science 514, Springer 2015, ISBN 978-3-319-25042-7 [contents]
2011
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Horne11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Horne11
Ross Horne:
Programming languages and principles for read-write linked data. University of Southampton, UK, 2011

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.