References of "Horne, Ross James 50032150"
     in
Bookmark and Share    
Full Text
See detailThe Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
Horne, Ross James UL; Mauw, Sjouke UL; Tiu, Alwen

Scientific Conference (2018, July 08)

Detailed reference viewed: 67 (8 UL)
Full Text
Peer Reviewed
See detailQuasi-Open Bisimilarity with Mismatch is Intuitionistic
Horne, Ross James UL; Ahn, Ki Yung; Lin, Shang-wei et al

in Proceedings of LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, July 9-12, 2018 (LICS '18) (2018)

Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that is also a congruence. This work extends quasi-open bisimilarity to handle mismatch (guards with inequalities). This ... [more ▼]

Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that is also a congruence. This work extends quasi-open bisimilarity to handle mismatch (guards with inequalities). This minimal extension of quasi-open bisimilarity allows fresh names to be manufactured to provide constructive evidence that an inequality holds. The extension of quasi-open bisimilarity is canonical and robust --- coinciding with open barbed bisimilarity (an objective notion of bisimilarity congruence) and characterised by an intuitionistic variant of an established modal logic. The more famous open bisimilarity is also considered, for which the coarsest extension for handling mismatch is identified. Applications to checking privacy properties are highlighted. Examples and soundness results are mechanised using the proof assistant Abella. [less ▲]

Detailed reference viewed: 47 (1 UL)
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: 16 (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: 39 (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: 13 (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: 40 (0 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: 41 (1 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: 29 (1 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: 28 (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: 47 (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: 40 (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: 43 (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: 41 (1 UL)