Browsing by Author Horne, Ross

Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 7 to 14 of 14 < previous 
Issue DateTitleAuthor(s)
2014Minimal type inference for Linked Data consumersCiobanu, Gabriel; Horne, Ross; Sassone, Vladimiro
2013Non-Interleaving Operational Semantics for Geographically Replicated DatabasesCiobanu, Gabriel; Horne, Ross
2012Operational Semantics for SPARQL UpdateHorne, Ross; Sassone, Vladimiro; Gibbins, Nicholas
2016Private Names in Non-Commutative LogicHorne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel
2012A Provenance Tracking Model for Data UpdatesCiobanu, Gabriel; Horne, Ross
2016Semantics for Specialising Attack Trees based on Linear LogicHorne, Ross; Mauw, Sjouke; Tiu, Alwen
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