Top1000 Scholar

Scholarly Index

Robert Harper

Carnegie Mellon University; 6,886 total citations; 216 total publications; best world rank #18

Carnegie Mellon University

6,886Total citations
216Total publications
43H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime18US 1399.43
Formal Methods in VerificationLifetime64US 4099.03
Logic, Reasoning, and KnowledgeLifetime54US 2398.90
Parallel Computing and Optimization TechniquesLifetime546US 35197.97
Distributed systems and fault toleranceLifetime677US 38595.79
Mathematics, Computing, and Information ProcessingLifetime92US 3188.04
Model-Driven Software Engineering TechniquesLifetime638US 12991.10
Logic, programming, and type systems2021-2025249US 5070.54
Logic, Reasoning, and Knowledge2021-2025314US 4370.37
Advanced Algebra and Logic2021-2025640US 3053.27