Operational Semantics for SPARQL Update. - Ross Horne; Vladimiro Sassone; Nicholas Gibbins (JIST, 2011)

A Verified Algebra for Linked Data - Ross Horne; Vladimiro Sassone (FOCLASA, 2011)

Programming languages and principles for read-write linked data. - Ross Horne (2011)

A Provenance Tracking Model for Data Updates - Gabriel Ciobanu; Ross Horne (FOCLASA, 2012)

Tracing where and who provenance in Linked Data: A calculus. - Mariangiola Dezani-Ciancaglini; Ross Horne; Vladimiro Sassone (Theor. Comput. Sci., 2012)

Ensuring Faultless Communication Behaviour in A Commercial Cloud. - Ross Horne; Timur Umarov (SEFM Workshops, 2013)

Non-interleaving Operational Semantics for Geographically Replicated Databases. - Gabriel Ciobanu; Ross Horne (SYNASC, 2013)

Local Type Checking for Linked Data Consumers. - Gabriel Ciobanu; Ross Horne; Vladimiro Sassone (WWV, 2013)

Descriptive Types for Linked Data Resources. - Gabriel Ciobanu; Ross Horne; Vladimiro Sassone (Ershov Memorial Conference, 2014)

Extracting Threshold Conceptual Structures from Web Documents. - Gabriel Ciobanu; Ross Horne; Cristian Vaideanu (ICCS, 2014)

A verified algebra for read-write Linked Data. - Ross Horne; Vladimiro Sassone (Sci. Comput. Program., 2014)

Behavioural Analysis of Sessions Using the Calculus of Structures. - Gabriel Ciobanu; Ross Horne (Ershov Memorial Conference, 2015)

The Consistency and Complexity of Multiplicative Additive System Virtual. - Ross Horne (Sci. Ann. Comput. Sci., 2015)

Minimal type inference for Linked Data consumers. - Gabriel Ciobanu; Ross Horne; Vladimiro Sassone (J. Log. Algebraic Methods Program., 2015)

SPEC: An Equivalence Checker for Security Protocols. - Alwen Tiu; Nam Nguyen; Ross Horne (APLAS, 2016)

Private Names in Non-Commutative Logic. - Ross Horne; Alwen Tiu; Bogdan Aman; Gabriel Ciobanu (CONCUR, 2016)

A descriptive type foundation for RDF Schema. - Gabriel Ciobanu; Ross Horne; Vladimiro Sassone (J. Log. Algebraic Methods Program., 2016)

A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. - Ki Yung Ahn; Ross Horne; Alwen Tiu (CoRR, 2017)

Generating Witness of Non-Bisimilarity for the pi-Calculus. - Ki Yung Ahn; Ross Horne; Alwen Tiu (CoRR, 2017)

Semantics for Specialising Attack Trees based on Linear Logic. - Ross Horne; Sjouke Mauw; Alwen Tiu (Fundam. Informaticae, 2017)

The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. - Ross Horne; Sjouke Mauw; Alwen Tiu (GraMSec@FLoC, 2018)

Quasi-Open Bisimilarity with Mismatch is Intuitionistic. - Ross Horne; Ki Yung Ahn; Shang-Wei Lin 001; Alwen Tiu (LICS, 2018)

A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties. - Ross Horne (CoRR, 2018)

Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity. - Ihor Filimonov; Ross Horne; Sjouke Mauw; Zach Smith (ESORICS (1), 2019)

The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic. - Ross Horne (FSCD, 2019)

Constructing weak simulations from linear implications for processes with private names. - Ross Horne; Alwen Tiu (Math. Struct. Comput. Sci., 2019)

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. - Ross Horne; Alwen Tiu; Bogdan Aman; Gabriel Ciobanu (ACM Trans. Comput. Log., 2019)

Session Subtyping and Multiparty Compatibility Using Circular Sequents. - Ross Horne (CONCUR, 2020)

Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. - Dov M. Gabbay; Ross Horne; Sjouke Mauw; Leendert van der Torre (GraMSec@CSF, 2020)

Logic Beyond Formulas: A Proof System on Graphs. - Matteo Acclavio; Ross Horne; Lutz Straßburger (LICS, 2020)

Global types with internal delegation. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini; Ross Horne (Theor. Comput. Sci., 2020)

Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. - Ross Horne; Sjouke Mauw; Semen Yurkov (ICTAC, 2021)

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. - Rob van Glabbeek; Peter Höfner; Ross Horne (LICS, 2021)

Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments. - Ross Horne; Sjouke Mauw; Semen Yurkov (CoRR, 2021)

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. - Ki Yung Ahn; Ross Horne; Alwen Tiu (Log. Methods Comput. Sci., 2021)

Discovering ePassport Vulnerabilities using Bisimilarity. - Ross Horne; Sjouke Mauw (Log. Methods Comput. Sci., 2021)

Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. - Clément Aubert; Ross Horne; Christian Johansen (CONCUR, 2022)

Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments. - Ross Horne; Sjouke Mauw; Semen Yurkov (CSF, 2022)

Is Eve nearby? Analysing protocols under the distant-attacker assumption. - Reynaldo Gil Pons; Ross Horne; Sjouke Mauw; Alwen Tiu; Rolando Trujillo-Rasua (CSF, 2022)

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. - Hamed Arshad; Ross Horne; Christian Johansen; Olaf Owe; Tim A. C. Willemse (FORTE, 2022)

A Graphical Proof Theory of Logical Time. - Matteo Acclavio; Ross Horne; Sjouke Mauw; Lutz Straßburger (FSCD, 2022)

Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. - Clément Aubert; Ross Horne; Christian Johansen (EXPRESS/SOS, 2022)

Assessing the Solid Protocol in Relation to Security & Privacy Obligations. - Christian Esposito 001; Olaf Hartig; Ross Horne; Chang Sun (CoRR, 2022)

An Analytic Propositional Proof System on Graphs. - Matteo Acclavio; Ross Horne; Lutz Straßburger (Log. Methods Comput. Sci., 2022)

Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu. - Andrei Alexandru; Bogdan Aman; Ross Horne (Theor. Comput. Sci., 2022)

Provably Unlinkable Smart Card-based Payments. - Sergiu Bursuc; Ross Horne; Sjouke Mauw; Semen Yurkov (CCS, 2023)

Assessing the Solid Protocol in Relation to Security and Privacy Obligations. - Christian Esposito 001; Ross Horne; Livio Robaldo; Bart Buelens; Elfi Goesaert (Inf., 2023)

Anomaly Detection Using Deep Learning Respecting the Resources on Board a CubeSat. - Ross Horne; Sjouke Mauw; Andrzej Mizera; André Stemper; Jan Thoemel (J. Aerosp. Inf. Syst., 2023)

When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus. - Ross Horne; Sjouke Mauw; Semen Yurkov (Theor. Comput. Sci., 2023)

Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. - Alfredo Capozucca; Maximiliano Cristiá; Ross Horne; Ricardo Katz (CSF, 2024)

Clark-Wilson Policies in ACP: Controlling Information Flow Between Solid Apps. - Ellie Forsyth; Ross Horne (SoSy, 2024)

Escaping from Identity Providers: Protecting Privacy with Verifiable Credentials in Community Solid Server. - Ben Macdonald; Ross Horne; Biagio Boi (SoSy, 2024)

SSI, from Specifications to Protocol? Formally Verify Security! - Christoph H.-J. Braun; Ross Horne; Tobias Käfer; Sjouke Mauw (WWW, 2024)

A logical account of subtyping for session types. - Ross Horne; Luca Padovani (J. Log. Algebraic Methods Program., 2024)

XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. - Hamed Arshad; Ross Horne; Christian Johansen; Olaf Owe; Tim A. C. Willemse (Sci. Comput. Program., 2024)

Open Bisimilarity for the π-Calculus with Mismatch. - Tiange Liu; Alwen Tiu; Ross Horne (CONCUR, 2025)