Browsing by Author
Sassone, Vladimiro
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) |
 | 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 | Minimal type inference for Linked Data consumers | Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro |
| 2012 | Operational Semantics for SPARQL Update | Horne, Ross; Sassone, Vladimiro; Gibbins, Nicholas |
| 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 |
