Browsing by Author Sassone, Vladimiro

Showing results 1 to 6 of 6
Issue DateTitleAuthor(s)
2016A descriptive type foundation for RDF SchemaCiobanu, Gabriel; Horne, Ross; Sassone, Vladimiro
2015Descriptive Types for Linked Data ResourcesHorne, Ross; Sassone, Vladimiro; Ciobanu, Gabriel
2014Minimal type inference for Linked Data consumersCiobanu, Gabriel; Horne, Ross; Sassone, Vladimiro
2012Operational Semantics for SPARQL UpdateHorne, Ross; Sassone, Vladimiro; Gibbins, Nicholas
2012Tracing where and who provenance in Linked Data: A calculusDezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro
2014A Verified Algebra for Read-Write Linked DataHorne, Ross; Sassone, Vladimiro