Top1000 Scholar

Scholarly Index

Benjamin C. Pierce

California University of Pennsylvania; 10,405 total citations; 248 total publications; best world rank #9

California University of Pennsylvania

10,405Total citations
248Total publications
52H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime9US 599.68
Formal Methods in VerificationLifetime44US 2899.30
Logic, Reasoning, and KnowledgeLifetime68US 2998.64
Advanced Database Systems and QueriesLifetime212US 10098.20
Advanced Malware Detection TechniquesLifetime543US 20596.77
Security and Verification in ComputingLifetime202US 11796.79
Distributed systems and fault toleranceLifetime519US 30696.58
Model-Driven Software Engineering TechniquesLifetime222US 5195.89
Software Engineering ResearchLifetime823US 26295.51
Mathematics, Computing, and Information ProcessingLifetime111US 3986.31
semigroups and automata theoryLifetime713US 22189.19
Computability, Logic, AI AlgorithmsLifetime627US 29088.47
Web Application Security VulnerabilitiesLifetime190US 7583.27
Logic, programming, and type systems2021-2025284US 5868.16