Scholarly Index

Ross Horne

University of Strathclyde; 257 total citations; 37 total publications; best world rank #126

University of Strathclyde

257Total citations
37Total publications
10H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systems2021-2025126GB 1880.76
Logic, Reasoning, and Knowledge2021-2025487GB 4160.33
Formal Methods in Verification2021-2025799GB 6157.68
Access Control and Trust2021-2025169GB 753.72