Top1000 Scholar

Scholarly Index

Stephanie Weirich

University of Pennsylvania; 3,525 total citations; 142 total publications; best world rank #80

University of Pennsylvania

3,525Total citations
142Total publications
31H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime83US 3898.54
Formal Methods in VerificationLifetime282US 11697.01
Parallel Computing and Optimization TechniquesLifetime914US 55396.94
Security and Verification in ComputingLifetime221US 12696.61
Software Engineering ResearchLifetime712US 22496.12
Logic, Reasoning, and KnowledgeLifetime482US 14294.31
Logic, programming, and type systems2021-202580US 1985.67
Logic, Reasoning, and Knowledge2021-2025496US 7060.00