Browsing by Author
Horne, Ross
Showing results 1 to 14 of 14
| Issue Date | Title | Author(s) |
 | 2017 | A characterisation of open bisimilarity using an intuitionistic modal logic | Ahrn, Ki Yung; Horne, Ross; Tiu, Alwen |
| 2015 | The Consistency and Complexity of Multiplicative Additive System Virtual | Horne, Ross |
| 2016 | A descriptive type foundation for RDF Schema | Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro |
| 2015 | Descriptive Types for Linked Data Resources | Horne, Ross; Sassone, Vladimiro; Ciobanu, Gabriel |
| 2014 | Ensuring Faultless Communication Behaviour in A Commercial Cloud | Umarov, Timur; Horne, Ross |
| 2014 | Extracting Threshold Conceptual Structures from Web Documents | Ciobanu, Gabriel; Horne, Ross; Vaideanu, Cristian |
| 2014 | Minimal type inference for Linked Data consumers | Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro |
| 2013 | Non-Interleaving Operational Semantics for Geographically Replicated Databases | Ciobanu, Gabriel; Horne, Ross |
| 2012 | Operational Semantics for SPARQL Update | Horne, Ross; Sassone, Vladimiro; Gibbins, Nicholas |
| 2016 | Private Names in Non-Commutative Logic | Horne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel |
| 2012 | A Provenance Tracking Model for Data Updates | Ciobanu, Gabriel; Horne, Ross |
| 2016 | Semantics for Specialising Attack Trees based on Linear Logic | Horne, Ross; Mauw, Sjouke; Tiu, Alwen |
| 2012 | Tracing where and who provenance in Linked Data: A calculus | Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro |
| 2014 | A Verified Algebra for Read-Write Linked Data | Horne, Ross; Sassone, Vladimiro |
