Top1000 Scholar

Scholarly Index

Marijn J. H. Heule

Carnegie Mellon University; 1,223 total citations; 75 total publications; best world rank #123

Carnegie Mellon University

1,223Total citations
75Total publications
20H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime571US 21595.12
Logic, programming, and type systemsLifetime815US 27691.82
Constraint Satisfaction and OptimizationLifetime437US 12088.90
Benford’s Law and Fraud DetectionLifetime123US 4470.29
Logic, programming, and type systems2021-2025180US 3576.47
Formal Methods in Verification2021-2025401US 8572.64
Constraint Satisfaction and Optimization2021-2025166US 2552.96
Logic, Reasoning, and Knowledge2021-2025968US 11538.64