Scholarly Index

Lorenzo Gheri

University of Liverpool; 66 total citations; 6 total publications; best world rank #456

University of Liverpool

66Total citations
6Total publications
5H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systems2021-2025456GB 5558.48
Formal Methods in Verification2021-2025891GB 6955.11