References of "Horne, Ross James 50032150"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Ahn, Ki Yung; Horne, Ross James UL; Tiu, Alwen

in 28th International Conference on Concurrency Theory (CONCUR 2017). (2017)

Detailed reference viewed: 46 (0 UL)
Full Text
Peer Reviewed
See detailSPEC: An Equivalence Checker for Security Protocols
Tiu, Alwen; Nguyen, Nam; Horne, Ross James UL

in Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings (2016)

Detailed reference viewed: 89 (0 UL)
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: 85 (0 UL)
Full Text
Peer Reviewed
See detailPrivate Names in Non-Commutative Logic
Horne, Ross James UL; Tiu, Alwen; Aman, Bogdan et al

in 27th International Conference on Concurrency Theory (CONCUR 2016) (2016)

Detailed reference viewed: 32 (0 UL)
Full Text
Peer Reviewed
See detailThe consistency and complexity of multiplicative additive system virtual
Horne, Ross James UL

in Scientific Annals of Computer Science (2015), 25(2), 245-316

Detailed reference viewed: 78 (3 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: 74 (1 UL)
Full Text
Peer Reviewed
See detailBehavioural analysis of sessions using the calculus of structures
Ciobanu, Gabriel; Horne, Ross James UL

in In Perspectives of System Informatics, 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27 (2015)

Detailed reference viewed: 99 (2 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: 95 (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: 88 (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: 92 (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: 87 (1 UL)