Top1000 Scholar

Scholarly Index

Adam Chlipala

Massachusetts Institute of Technology; 2,554 total citations; 96 total publications; best world rank #27

Massachusetts Institute of Technology

2,554Total citations
96Total publications
25H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime133US 5998.01
Formal Methods in VerificationLifetime229US 10497.59
Security and Verification in ComputingLifetime164US 9797.26
Distributed systems and fault toleranceLifetime696US 39595.65
Logic, Reasoning, and KnowledgeLifetime809US 22091.42
Logic, programming, and type systems2021-202527US 393.64
Formal Methods in Verification2021-202585US 2191.44
Security and Verification in Computing2021-2025457US 14373.09