References of "Sassone, Vladimiro"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA descriptive type foundation for RDF Schema
Ciobanu, Gabriel; Horne, Ross James UL; Sassone, Vladimiro

in Journal of Logical and Algebraic Methods in Programming (2016), 85(5), 681-706

Detailed reference viewed: 74 (0 UL)
Full Text
Peer Reviewed
See detailMinimal type inference for Linked Data consumers
Ciobanu, Gabriel; Horne, Ross James UL; Sassone, Vladimiro

in Journal of Logical and Algebraic Methods in Programming (2015), 84(4), 485-504

Detailed reference viewed: 66 (1 UL)
Full Text
Peer Reviewed
See detailA verified algebra for read-write Linked Data
Horne, Ross James UL; Sassone, Vladimiro

in Science of Computer Programming (2014), 89

Detailed reference viewed: 83 (1 UL)
Full Text
Peer Reviewed
See detailTracing where and who provenance in Linked Data: A calculus
Dezani-Ciancaglini, Mariangiola; Horne, Ross James UL; Sassone, Vladimiro

in Theoretical Computer Science (2012), 464

Detailed reference viewed: 82 (1 UL)
Full Text
Peer Reviewed
See detailOperational Semantics for SPARQL Update
Horne, Ross James UL; Sassone, Vladimiro; Gibbins, Nicholas

in The Semantic Web - Joint International Semantic Technology Conference JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings (2011)

Detailed reference viewed: 77 (1 UL)