Scholarly Index

Graham Hutton

University of Nottingham; 1,569 total citations; 133 total publications; best world rank #151

University of Nottingham

1,569Total citations
133Total publications
18H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime323GB 4196.03
Formal Methods in VerificationLifetime942GB 7892.68
Logic, Reasoning, and KnowledgeLifetime839GB 10991.14
Logic, programming, and type systems2021-2025151GB 2078.63