Scholarly Index

A. W. Roscoe

University of Oxford; 4,463 total citations; 112 total publications; best world rank #143

University of Oxford

4,463Total citations
112Total publications
29H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime309GB 3096.86
Advanced Authentication Protocols SecurityLifetime143GB 996.30
User Authentication and Security SystemsLifetime272GB 1995.43
Security and Verification in ComputingLifetime350GB 2395.15
Logic, programming, and type systemsLifetime807GB 9491.88
Security and Verification in Computing2021-2025888GB 3459.17