Concepedia

Ross Horne

RH

10

Publications

170

Citations

10

H-Index

2012

Active since

Affiliations

University of Luxembourg(Current)

Nanyang Technological University

University of Southampton

University of Turin

Romanian Academy

Ross Horne is an author at University of Luxembourg specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationData SecurityData ManagementManagementCryptographyData Privacy

Publications per year

2012–2023

10

Publications

10

Semantics for Specialising Attack Trees based on Linear Logic

Ross Horne, Sjouke Mauw, Alwen Tiu · Fundamenta Informaticae · 2017 · 27 citations · Full text

Attack Tree, Computational Logic, Engineering +15

Tracing where and who provenance in Linked Data: A calculus

Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone · Theoretical Computer Science · 2012 · 22 citations · Full text

Engineering, Information Retrieval, Data Science +11

Global types with internal delegation

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini et al. · Theoretical Computer Science · 2019 · 20 citations · Full text

Engineering, Automated Reasoning, Polymorphism (Computer Science) +5

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom

Rob van Glabbeek, Peter Höfner, Ross Horne · Open Repository and Bibliography (University of Luxembourg) · 2021 · 20 citations · Full text

Engineering, Verification, Session Type System +16

Cloud removal from satellite imagery using multispectral edge-filtered conditional generative adversarial networks

Cengis Hasan, Ross Horne, Sjouke Mauw et al. · International Journal of Remote Sensing · 2022 · 18 citations · Full text

Rows per page

1–5 of 10