Scholarly Index

Christoph Scholl

Cornell University; 851 total citations; 89 total publications; best world rank #784

Cornell University

851Total citations
89Total publications
16H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime784US 27793.76
Formal Methods in Verification2021-2025992US 20252.06
Logic, programming, and type systems2021-2025788US 14339.91