Ross James Horne

Ross James Horne

Postdoctoral researcher

Faculty or Centre Faculty of Science, Technology and Communication
Research Unit RU CSC
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E03 0335-150
Email
Telephone (+352) 46 66 44 5756
Fax (+352) 46 66 44 35756
powered by
orbilu.uni.lu

2018

Full Text
See detailQuasi-Open Bisimilarity with Mismatch is Intuitionistic
Horne, Ross James; Ahn, Ki Yung; Lin, Shang-wei; Tiu, Alwen

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)

Full Text
See detailThe Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement
Horne, Ross James; Mauw, Sjouke; Tiu, Alwen

Scientific Conference (2018, July 08)

Top of Page

2017

Full Text
See detailA Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Ahn, Ki Yung; Horne, Ross James; Tiu, Alwen

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

Top of Page

2016

Full Text
See detailA descriptive type foundation for RDF Schema
Ciobanu, Gabriel; Horne, Ross James; Sassone, Vladimiro

in Journal of Logical and Algebraic Methods in Programming (2016), 85(5), 681-706

Full Text
See detailPrivate Names in Non-Commutative Logic
Horne, Ross James; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel

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

Full Text
See detailSPEC: An Equivalence Checker for Security Protocols
Tiu, Alwen; Nguyen, Nam; Horne, Ross James

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

Top of Page

2015

Full Text
See detailBehavioural analysis of sessions using the calculus of structures
Ciobanu, Gabriel; Horne, Ross James

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)

Full Text
See detailMinimal type inference for Linked Data consumers
Ciobanu, Gabriel; Horne, Ross James; Sassone, Vladimiro

in Journal of Logical and Algebraic Methods in Programming (2015), 84(4), 485-504

Full Text
See detailThe consistency and complexity of multiplicative additive system virtual
Horne, Ross James

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

Top of Page

2014

Full Text
See detailA verified algebra for read-write Linked Data
Horne, Ross James; Sassone, Vladimiro

in Science of Computer Programming (2014), 89

Top of Page

2013

Full Text
See detailNon-interleaving Operational Semantics for Geographically Replicated Databases
Ciobanu, Gabriel; Horne, Ross James

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

Top of Page

2012

Full Text
See detailTracing where and who provenance in Linked Data: A calculus
Dezani-Ciancaglini, Mariangiola; Horne, Ross James; Sassone, Vladimiro

in Theoretical Computer Science (2012), 464

Top of Page

2011

Full Text
See detailOperational Semantics for SPARQL Update
Horne, Ross James; Sassone, Vladimiro; Gibbins, Nicholas

in The Semantic Web - Joint International Semantic Technology Conference JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings (2011)

Top of Page