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