Ross Horne

According to our database1, Ross Horne authored at least 22 papers between 2011 and 2019.

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



In proceedings 
PhD thesis 





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