Top1000 Scholar

Scholarly Index

Lawrence C. Paulson

University of Cambridge; 3,975 total citations; 148 total publications; best world rank #4

University of Cambridge

3,975Total citations
148Total publications
34H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Mathematics, Computing, and Information ProcessingLifetime4GB 198.14
Logic, programming, and type systemsLifetime42GB 799.10
Logic, Reasoning, and KnowledgeLifetime59GB 1398.79
Formal Methods in VerificationLifetime136GB 1398.35
Computability, Logic, AI AlgorithmsLifetime150GB 895.80
Advanced Authentication Protocols SecurityLifetime137GB 796.43
User Authentication and Security SystemsLifetime244GB 1895.75
Digital Rights Management and SecurityLifetime308GB 2481.94
Logic, programming, and type systems2021-2025225GB 2872.20
Formal Methods in Verification2021-2025675GB 5361.54
Logic, Reasoning, and Knowledge2021-2025591GB 4854.15
Advanced Algebra and Logic2021-2025896GB 1841.30