According to our database1, Ross Horne authored at least 22 papers between 2011 and 2019.
Legend:Book In proceedings Article PhD thesis Other
The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
Quasi-Open Bisimilarity with Mismatch is Intuitionistic.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement.
Proceedings of the 5th International Workshop on Graphical Models for Security, 2018
Semantics for Specialising Attack Trees based on Linear Logic.
Fundam. Inform., 2017
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
A descriptive type foundation for RDF Schema.
J. Log. Algebr. Meth. Program., 2016
Private Names in Non-Commutative Logic.
Proceedings of the 27th International Conference on Concurrency Theory, 2016
SPEC: An Equivalence Checker for Security Protocols.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
Minimal type inference for Linked Data consumers.
J. Log. Algebr. Meth. Program., 2015
The Consistency and Complexity of Multiplicative Additive System Virtual.
Sci. Ann. Comp. Sci., 2015
Behavioural Analysis of Sessions Using the Calculus of Structures.
Proceedings of the Perspectives of System Informatics, 2015
A verified algebra for read-write Linked Data.
Sci. Comput. Program., 2014
Extracting Threshold Conceptual Structures from Web Documents.
Proceedings of the Graph-Based Representation and Reasoning, 2014
Descriptive Types for Linked Data Resources.
Proceedings of the Perspectives of System Informatics, 2014
Local Type Checking for Linked Data Consumers.
Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013
Non-interleaving Operational Semantics for Geographically Replicated Databases.
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Ensuring Faultless Communication Behaviour in A Commercial Cloud.
Proceedings of the Software Engineering and Formal Methods, 2013
Tracing where and who provenance in Linked Data: A calculus.
Theor. Comput. Sci., 2012
A Provenance Tracking Model for Data Updates
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012
Programming languages and principles for read-write linked data.
PhD thesis, 2011
A Verified Algebra for Linked Data
Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011
Operational Semantics for SPARQL Update.
Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011