Top1000 Scholar

Scholarly Index

Jan Hoffmann

Carnegie Mellon University; 1,203 total citations; 55 total publications; best world rank #169

Carnegie Mellon University

1,203Total citations
55Total publications
18H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime442US 17695.85
Logic, programming, and type systemsLifetime532US 20294.11
Formal Methods in Verification2021-2025171US 3785.36
Parallel Computing and Optimization Techniques2021-2025752US 25680.57
Logic, programming, and type systems2021-2025169US 3377.61
Embedded Systems Design Techniques2021-2025554US 14367.07