The Consistency and Complexity of Multiplicative Additive System Virtual by Horne, Ross

Get full text
Get full text

A Provenance Tracking Model for Data Updates by Ciobanu, Gabriel, Horne, Ross

Get full text
Get full text

A Verified Algebra for Read-Write Linked Data by Horne, Ross, Sassone, Vladimiro

Get full text
Get full text

Ensuring Faultless Communication Behaviour in A Commercial Cloud by Umarov, Timur, Horne, Ross

Get full text
Get full text

Non-Interleaving Operational Semantics for Geographically Replicated Databases by Ciobanu, Gabriel, Horne, Ross

Get full text
Get full text

Descriptive Types for Linked Data Resources by Horne, Ross, Sassone, Vladimiro, Ciobanu, Gabriel

Get full text
Get full text

Minimal type inference for Linked Data consumers by Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

Get full text
Get full text

Operational Semantics for SPARQL Update by Horne, Ross, Sassone, Vladimiro, Gibbins, Nicholas

Get full text
Get full text

Extracting Threshold Conceptual Structures from Web Documents by Ciobanu, Gabriel, Horne, Ross, Vaideanu, Cristian

Get full text
Get full text

A descriptive type foundation for RDF Schema by Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

Get full text
Get full text

Semantics for Specialising Attack Trees based on Linear Logic by Horne, Ross, Mauw, Sjouke, Tiu, Alwen

Get full text
Get full text

Tracing where and who provenance in Linked Data: A calculus by Dezani-Ciancaglini, Mariangiola, Horne, Ross, Sassone, Vladimiro

Get full text
Get full text

A characterisation of open bisimilarity using an intuitionistic modal logic by Ahrn, Ki Yung, Horne, Ross, Tiu, Alwen

Get full text
Get full text

Private Names in Non-Commutative Logic by Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel

Get full text
Get full text