Ross Horne

Cited by

	All	Since 2020
Citations	586	390
h-index	16	13
i10-index	28	19

120

201220132014201520162017201820192020202120222023202420257 13 13 25 25 23 17 51 45 55 74 113 87 15

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Alwen TiuSchool of Computing, The Australian National UniversityVerified email at anu.edu.au
Gabriel CiobanuRomanian Academy, IasiVerified email at iit.academiaromana-is.ro
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
Bogdan AmanInstitute of Computer Science, Romanian Academy AND Faculty of Computer Science, UAIC, Iasi, RomaniaVerified email at iit.academiaromana-is.ro
Ki Yung AhnAssistant Professor of Computer Engineering at Hannam University, Daejeon, KoreaVerified email at hnu.kr
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Andrzej MizeraPost-doc, University of LuxembourgVerified email at uni.lu
Christian JohansenProfessor at NTNU - Norwegian University of Science and TechnologyVerified email at ntnu.no
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Peter HöfnerAustralian National University (ANU)Verified email at hoefner-online.de
Ilaria CastellaniResearcher in Computer Science, INRIA, FranceVerified email at inria.fr
Paola GianniniUniversita' Piemonte OrientaleVerified email at uniupo.it
Nicholas GibbinsLecturer in Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
cristian vaideanuAssistant Professor, University "Al. I. Cuza " of Iasi Verified email at uaic.ro
Clément AubertAugusta University, GA, USAVerified email at math.cnrs.fr
Bart BuelensFlemish Institute for Technological Research (VITO)Verified email at vito.be
Christian EspositoUniversity of SalernoVerified email at unisa.it
Rolando Trujillo RasúaRamon i Cajal ResearcherVerified email at urv.cat

Ross Horne

University of Strathclyde

Verified email at strath.ac.uk - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Semantics for specialising attack trees based on linear logic R Horne, S Mauw, A Tiu Fundamenta Informaticae 153 (1-2), 57-86, 2017	39	2017
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom R van Glabbeek, P Höfner, R Horne ACM/IEEE LICS 2021 36th Annual Symposium on Logic in Computer Science 29 …, 2021	33	2021
Tracing where and who provenance in linked data: A calculus M Dezani-Ciancaglini, R Horne, V Sassone Theoretical Computer Science 464, 113-129, 2012	31	2012
Global types with internal delegation I Castellani, M Dezani-Ciancaglini, P Giannini, R Horne Theoretical Computer Science 807, 128-153, 2020	28	2020
SPEC: an equivalence checker for security protocols A Tiu, N Nguyen, R Horne Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016	26	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	24	2019
The consistency and complexity of multiplicative additive system virtual R Horne Scientific Annals of Computer Science 15 (2), 245-316, 2015	23	2015
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	22*	2019
Quasi-open bisimilarity with mismatch is intuitionistic R Horne, KY Ahn, SW Lin, A Tiu Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	22	2018
A verified algebra for read–write Linked Data R Horne, V Sassone Science of Computer Programming 89, 2-22, 2014	22*	2014
Logic Beyond Formulas: A Proof System on Graphs M Acclavio, R Horne, L Straßburger LICS'20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in …, 2020	20	2020
Constructing weak simulations from linear implications for processes with private names R Horne, A Tiu Mathematical Structures in Computer Science 29 (8), 1275-1308, 2019	20	2019
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	19*	2016
Behavioural analysis of sessions using the calculus of structures G Ciobanu, R Horne Perspectives of System Informatics: 10th International Andrei Ershov …, 2016	19	2016
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	19*	2015
Operational semantics for SPARQL update R Horne, V Sassone, N Gibbins The Semantic Web: Joint International Semantic Technology Conference, JIST …, 2012	19	2012
Discovering ePassport Vulnerabilities using Bisimilarity R Horne, S Mauw Logical Methods in Computer Science 17 (2), 24:1-24:52, 2021	16	2021
A graphical proof theory of logical time M Acclavio, R Horne, S Mauw, L Straßburger FSCD 2022-7th International Conference on Formal Structures for Computation …, 2022	15	2022
Session subtyping and multiparty compatibility using circular sequents RJ Horne In 31st International Conference on Concurrency Theory (CONCUR 2020)., 2020	15	2020
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus R Horne, S Mauw, S Yurkov Theoretical Computer Science 959, 113842, 2023	14*	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors