R. Horne
发表
V. Sassone,
Gabriel Ciobanu,
R. Horne,
2016
.
V. Sassone,
Gabriel Ciobanu,
R. Horne,
2018
.
Gabriel Ciobanu,
R. Horne,
Cristian Vaideanu,
2019
.
Ki Yung Ahn,
A. Tiu,
R. Horne,
2018
.
Dov M. Gabbay,
Ross Horne,
Sjouke Mauw,
2020,
GraMSec@CSF.
R. Horne,
2005
.
Christian Johansen,
R. Horne,
Clément Aubert,
2022,
CONCUR.
A. Tiu,
R. Horne,
2016
.
Lutz Straßburger,
R. Horne,
Matteo Acclavio,
2020,
ArXiv.
Lutz Straßburger,
R. Horne,
Matteo Acclavio,
2020,
Log. Methods Comput. Sci..
Ross Horne,
Vladimiro Sassone,
V. Sassone,
2014,
Sci. Comput. Program..
Ross Horne,
Vladimiro Sassone,
Nicholas Gibbins,
2011,
JIST.
Ross Horne,
R. Horne,
Ross Horne,
2011
.
Ross Horne,
Vladimiro Sassone,
V. Sassone,
2011,
FOCLASA.
Ross Horne,
Vladimiro Sassone,
V. Sassone,
2011
.
Ross Horne,
R. Horne,
2019,
FSCD.
Ross Horne,
Peter Höfner,
Rob van Glabbeek,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Gabriel Ciobanu,
Ross Horne,
Cristian Vaideanu,
2014,
ICCS.
Ross Horne,
Sjouke Mauw,
S. Mauw,
2020,
Log. Methods Comput. Sci..
Gabriel Ciobanu,
Ross Horne,
Vladimiro Sassone,
2015,
J. Log. Algebraic Methods Program..
Gabriel Ciobanu,
Ross Horne,
Vladimiro Sassone,
2013,
WWV.
Ross Horne,
Alwen Tiu,
Ki Yung Ahn,
2017,
ArXiv.
Gabriel Ciobanu,
Ross Horne,
Gabriel Ciobanu,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Ross Horne,
Sjouke Mauw,
S. Mauw,
2020,
Log. Methods Comput. Sci..
Ross Horne,
Sjouke Mauw,
Semen Yurkov,
2021,
ArXiv.
Ross Horne,
Alwen Tiu,
A. Tiu,
2019,
Mathematical Structures in Computer Science.
Bogdan Aman,
Gabriel Ciobanu,
Ross Horne,
2016,
ACM Trans. Comput. Log..
Gabriel Ciobanu,
Bogdan Aman,
Ross Horne,
2016,
CONCUR.
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties
pdf
Ross Horne,
R. Horne,
2018,
ArXiv.
Ross Horne,
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
2020,
Theor. Comput. Sci..
H. Kurniawati,
B. Cardier,
T. Putland,
2019,
Society at a Glance: Asia/Pacific.