Top1000 Scholar

Scholarly Index

Rob van Glabbeek

University of Edinburgh; 1,308 total citations; 61 total publications; best world rank #118

University of Edinburgh

1,308Total citations
61Total publications
19H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime448GB 4195.81
Logic, programming, and type systemsLifetime445GB 5394.90
Logic, Reasoning, and KnowledgeLifetime946GB 12290.35
Logic, programming, and type systems2021-2025118GB 1781.36
Formal Methods in Verification2021-2025408GB 3372.31
Distributed systems and fault tolerance2021-2025688GB 2961.44
Logic, Reasoning, and Knowledge2021-2025779GB 6646.02
Petri Nets in System Modeling2021-2025570GB 1025.63