References of "Horne, Ross James 50032150"
     in
Bookmark and Share    
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: 86 (1 UL)
Full Text
Peer Reviewed
See detailNon-interleaving Operational Semantics for Geographically Replicated Databases
Ciobanu, Gabriel; Horne, Ross James UL

in 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013 (2013)

Detailed reference viewed: 81 (4 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: 85 (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: 79 (1 UL)