Top1000 Scholar

Scholarly Index

Glynn Winskel

Queen Mary University of London; 4,593 total citations; 139 total publications; best world rank #93

Queen Mary University of London

4,593Total citations
139Total publications
32H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime102GB 1198.29
Formal Methods in VerificationLifetime185GB 2097.94
Petri Nets in System ModelingLifetime93GB 597.41
Logic, Reasoning, and KnowledgeLifetime256GB 4096.52
Business Process Modeling and AnalysisLifetime741GB 5094.04
Advanced Database Systems and QueriesLifetime919GB 3993.80
Model-Driven Software Engineering TechniquesLifetime819GB 6289.05
Advanced Authentication Protocols SecurityLifetime754GB 4284.71
Computability, Logic, AI AlgorithmsLifetime932GB 6984.51
Access Control and TrustLifetime967GB 9081.35
Logic, Reasoning, and Knowledge2021-2025981GB 9238.16
Computability, Logic, AI Algorithms2021-2025495GB 2934.82