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 12 to 14 of 14 < previous 
Issue DateTitleAuthor(s)
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