Browse by Author or creator

2024

Arshad, Hamed and Horne, Ross and Johansen, Christian and Owe, Olaf and Willemse, Tim A.C. (2024) XACML2mCRL2 : automatic transformation of XACML policies into mCRL2 specifications. Science of Computer Programming, 232. 103046. ISSN 0167-6423

2023

Bursuc, Sergiu and Horne, Ross and Mauw, Sjouke and Yurkov, Semen; (2023) Provably unlinkable smart card-based payments. In: CCS '23. Association for Computing Machinery, Inc, DNK, pp. 1392-1406. ISBN 9798400700507

Bursuc, Sergiu and Horne, Ross and Mauw, Sjouke and Yurkov, Semen (2023) Provably unlinkable smart card-based payments. Other. arXiv, Ithaca, NY.

Esposito, Christian and Horne, Ross and Robaldo, Livio and Buelens, Bart and Goesaert, Elfi (2023) Assessing the solid protocol in relation to security and privacy obligations. Information, 14 (7). 411. ISSN 2078-2489

Horne, Ross and Padovani, Luca; Castellani, Ilaria and Scalas, Alceste, eds. (2023) A logical account of subtyping for session types. In: Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. Electronic Proceedings in Theoretical Computer Science, 378 . Open Publishing Association, Waterloo, NSW, pp. 26-37.

2022

Acclavio, Matteo and Horne, Ross and Straßburger, Lutz (2022) An analytic propositional proof system on graphs. Logical Methods in Computer Science, 18 (4). 1:1-1:80. ISSN 1860-5974

Aubert, Clément and Horne, Ross and Johansen, Christian; Castiglioni, Valentina and Mezzina, Claudio A., eds. (2022) Bisimulations respecting duration and causality for the non-interleaving applied pi-calculus. In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association, POL, pp. 3-22.

Aubert, Clément and Horne, Ross and Johansen, Christian; Klin, Bartek and Lasota, Sławomir and Muscholl, Anca, eds. (2022) Diamonds for security : a non-interleaving operational semantics for the applied pi-calculus. In: 33rd International Conference on Concurrency Theory. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL, 30:1-30:26. ISBN 9783959772464

Acclavio, Matteo and Horne, Ross and Mauw, Sjouke and Straßburger, Lutz; Felty, Amy P., ed. (2022) A graphical proof theory of logical time. In: 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, ISR, 22:1-22:25. ISBN 9783959772334

Hasan, Cengis and Horne, Ross and Mauw, Sjouke and Mizera, Andrzej (2022) Cloud removal from satellite imagery using multispectral edge-filtered conditional generative adversarial networks. International Journal of Remote Sensing, 43 (5). pp. 1881-1893. ISSN 0143-1161

2021

Horne, Ross and Mauw, Sjouke and Yurkov, Semen; Cerone, Antonio and Ölveczky, Peter Csaba, eds. (2021) Compositional analysis of protocol equivalence in the applied pi-calculus using quasi-open bisimilarity. In: Theoretical Aspects of Computing – ICTAC 2021. Lecture Notes in Computer Science - LNCS, 12819 . Springer: Lecture Notes in Computer Science, KAZ, pp. 235-255. ISBN 9783030853150

Ahn, Ki Yung and Horne, Ross and Tiu, Alwen (2021) A characterisation of open bisimilarity using an intuitionistic modal logic. Logical Methods in Computer Science, 17 (3). 2:1-2:40. ISSN 1860-5974

Horne, Ross and Mauw, Sjouke (2021) Discovering ePassport vulnerabilities using bisimilarity. Logical Methods in Computer Science, 17 (2). 24. ISSN 1860-5974

2020

Horne, Ross; Konnov, Igor and Kovacs, Laura, eds. (2020) Session subtyping and multiparty compatibility using circular sequents. In: 31st International Conference on Concurrency Theory, CONCUR 2020. Leibniz International Proceedings in Informatics, LIPIcs, 171 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, AUT, 12.1-12.22. ISBN 9783959771603

Castellani, Ilaria and Dezani-Ciancaglini, Mariangiola and Giannini, Paola and Horne, Ross (2020) Global types with internal delegation. Theoretical Computer Science, 807. 128 - 153. ISSN 0304-3975

2019

Horne, Ross; Geuvers, Herman and Geuvers, Herman, eds. (2019) The sub-additives : a proof theory for probabilistic choice extending linear logic. In: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019. Leibniz International Proceedings in Informatics, LIPIcs, 131 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU, 23:1-23:16. ISBN 9783959771078

2017

Ahn, Ki Yung and Horne, Ross and Tiu, Alwen; Meyer, Roland and Nestmann, Uwe, eds. (2017) A characterisation of open bisimilarity using an intuitionistic modal logic. In: 28th International Conference on Concurrency Theory. Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU, 7:1–7:17. ISBN 9783959770484

Horne, Ross and Mauw, Sjouke and Tiu, Alwen (2017) Semantics for specialising attack trees based on linear logic. Fundamenta Informaticae, 153 (1-2). pp. 57-86. ISSN 0169-2968

2016

Horne, Ross and Tiu, Alwen and Aman, Bogdan and Ciobanu, Gabriel; Desharnais, Josée and Jagadeesan, Radha, eds. (2016) Private names in non-commutative logic. In: 27th International Conference on Concurrency Theory (CONCUR 2016). Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, 31:1-31:16. ISBN 9783959770170

Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro (2016) A descriptive type foundation for RDF schema. Journal of Logical and Algebraic Methods in Programming, 85 (5, Pt.). pp. 681-706. ISSN 2352-2208

Ciobanu, Gabriel and Horne, Ross; Mazzara, Manuel and Voronkov, Andrei, eds. (2016) Behavioural analysis of sessions using the calculus of structures. In: Perspectives of System Informatics. Lecture Notes in Computer Science . Springer, Cham, pp. 91-106. ISBN 9783319415796

2015

Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro; Voronkov, Andrei and Virbitskaite, Irina, eds. (2015) Descriptive types for linked data resources. In: Perspectives of System Informatics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, SUN, pp. 1-25. ISBN 9783662468234

2013

Ciobanu, Gabriel and Horne, Ross and Sassone, Vladimiro (2013) Local type checking for linked data consumers. Electronic Proceedings in Theoretical Computer Science, EPTCS, 123. pp. 19-33. ISSN 2075-2180

2012

Ciobanu, Gabriel and Horne, Ross (2012) A provenance tracking model for data apdates. EPTCS, 91. pp. 31-44.