Ross Horne
Ross Horne
Verified email at - Homepage
Cited by
Cited by
Semantics for specialising attack trees based on linear logic
R Horne, S Mauw, A Tiu
Fundamenta Informaticae 153 (1-2), 57-86, 2017
Tracing where and who provenance in linked data: A calculus
M Dezani-Ciancaglini, R Horne, V Sassone
Theoretical Computer Science 464, 113-129, 2012
A verified algebra for read–write Linked Data
R Horne, V Sassone
Science of Computer Programming 89, 2-22, 2014
Minimal type inference for linked data consumers
G Ciobanu, R Horne, V Sassone
Journal of Logical and Algebraic Methods in Programming 84 (4), 485-504, 2015
Operational semantics for SPARQL Update
R Horne, V Sassone, N Gibbins
Joint International Semantic Technology Conference, 242-257, 2011
The consistency and complexity of multiplicative additive system virtual
R Horne
Scientific Annals of Computer Science 15 (2), 245-316, 2015
A descriptive type foundation for RDF Schema
G Ciobanu, R Horne, V Sassone
Journal of Logical and Algebraic Methods in Programming 85 (5), 681-706, 2016
Behavioural analysis of sessions using the calculus of structures
G Ciobanu, R Horne
International Andrei Ershov Memorial Conference on Perspectives of System …, 2015
SPEC: an equivalence checker for security protocols
A Tiu, N Nguyen, R Horne
Asian Symposium on Programming Languages and Systems, 87-95, 2016
A provenance tracking model for data updates
G Ciobanu, R Horne
FOCLASA 2012 91, 31-44, 2012
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
R Horne, A Tiu, B Aman, G Ciobanu
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-44, 2019
Constructing weak simulations from linear implications for processes with private names
RJ Horne, A Tiu
Mathematical Structures in Computer Science, 2019
Quasi-open bisimilarity with mismatch is intuitionistic
R Horne, KY Ahn, S Lin, A Tiu
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
Programming languages and principles for read–write Linked Data
RJ Horne
University of Southampton, 2011
The sub-additives: A proof theory for probabilistic choice extending linear logic
RJ Horne
4th International Conference on Formal Structures for Computation and …, 2019
A characterisation of open bisimilarity using an intuitionistic modal logic
KY Ahn, R Horne, A Tiu
28th International Conference on Concurrency Theory (CONCUR 2017) 85, 7:1--7:17, 2017
Private Names in Non-Commutative Logic
R Horne, A Tiu, B Aman, G Ciobanu
27th International Conference on Concurrency Theory (CONCUR 2016) 59 (31), 1-16, 2016
Breaking unlinkability of the ICAO 9303 standard for e-passports using bisimilarity
I Filimonov, R Horne, S Mauw, Z Smith
European Symposium on Research in Computer Security, 577-594, 2019
Extracting threshold conceptual structures from web documents
G Ciobanu, R Horne, C Văideanu
International Conference on Conceptual Structures, 130-144, 2014
Non-interleaving operational semantics for geographically replicated databases
G Ciobanu, R Horne
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 15th …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20