An Analytic Propositional Proof System on Graphs
Acclavio, Matteo, Horne, Ross, Straßburger, Lutz
Published in Logical methods in computer science (21.10.2022)
Published in Logical methods in computer science (21.10.2022)
Get full text
Journal Article
Assessing the Solid Protocol in Relation to Security and Privacy Obligations
Esposito, Christian, Horne, Ross, Robaldo, Livio, Buelens, Bart, Goesaert, Elfi
Published in Information (Basel) (01.07.2023)
Published in Information (Basel) (01.07.2023)
Get full text
Journal Article
Embracing Global Computing in Emerging Economies: First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings
Year of Publication 21.11.2015
Get full text
Conference Proceeding
A Provenance Tracking Model for Data Updates
Ciobanu, Gabriel, Horne, Ross
Published in Electronic proceedings in theoretical computer science (15.08.2012)
Published in Electronic proceedings in theoretical computer science (15.08.2012)
Get full text
Journal Article
A Verified Algebra for Linked Data
Horne, Ross, Sassone, Vladimiro
Published in Electronic proceedings in theoretical computer science (29.07.2011)
Published in Electronic proceedings in theoretical computer science (29.07.2011)
Get full text
Journal Article
Local Type Checking for Linked Data Consumers
Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro
Published in Electronic proceedings in theoretical computer science (01.01.2013)
Published in Electronic proceedings in theoretical computer science (01.01.2013)
Get full text
Journal Article
A logical account of subtyping for session types
Horne, Ross, Padovani, Luca
Published in Journal of logical and algebraic methods in programming (01.10.2024)
Published in Journal of logical and algebraic methods in programming (01.10.2024)
Get full text
Journal Article
A Logical Account of Subtyping for Session Types
Horne, Ross, Padovani, Luca
Published in Electronic proceedings in theoretical computer science (13.04.2023)
Published in Electronic proceedings in theoretical computer science (13.04.2023)
Get full text
Journal Article
Global types with internal delegation
Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Horne, Ross
Published in Theoretical computer science (06.02.2020)
Published in Theoretical computer science (06.02.2020)
Get full text
Journal Article
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments
Horne, Ross, Mauw, Sjouke, Yurkov, Semen
Published in 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (01.08.2022)
Published in 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (01.08.2022)
Get full text
Conference Proceeding