The Consistency and Complexity of Multiplicative Additive System Virtual

由 Horne, Ross
出版 2016

A Provenance Tracking Model for Data Updates

由 Ciobanu, Gabriel, Horne, Ross
出版 2015

Non-Interleaving Operational Semantics for Geographically Replicated Databases

由 Ciobanu, Gabriel, Horne, Ross
出版 2015

A Verified Algebra for Read-Write Linked Data

由 Horne, Ross, Sassone, Vladimiro
出版 2015

Ensuring Faultless Communication Behaviour in A Commercial Cloud

由 Umarov, Timur, Horne, Ross
出版 2015

Semantics for Specialising Attack Trees based on Linear Logic

由 Horne, Ross, Mauw, Sjouke, Tiu, Alwen
出版 2017

Extracting Threshold Conceptual Structures from Web Documents

由 Ciobanu, Gabriel, Horne, Ross, Vaideanu, Cristian
出版 2015

Descriptive Types for Linked Data Resources

由 Horne, Ross, Sassone, Vladimiro, Ciobanu, Gabriel
出版 2015

Operational Semantics for SPARQL Update

由 Horne, Ross, Sassone, Vladimiro, Gibbins, Nicholas
出版 2015

Minimal type inference for Linked Data consumers

由 Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro
出版 2015

A descriptive type foundation for RDF Schema

由 Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro
出版 2016

A characterisation of open bisimilarity using an intuitionistic modal logic

由 Ahrn, Ki Yung, Horne, Ross, Tiu, Alwen
出版 2018

Tracing where and who provenance in Linked Data: A calculus

由 Dezani-Ciancaglini, Mariangiola, Horne, Ross, Sassone, Vladimiro
出版 2015

Private Names in Non-Commutative Logic

由 Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel
出版 2016