Top1000 Scholar

Scholarly Index

Clark Barrett

Stanford University; 2,541 total citations; 106 total publications; best world rank #399

Stanford University

2,541Total citations
106Total publications
26H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime399US 15996.17
Logic, programming, and type systemsLifetime451US 17394.85
Adversarial Robustness in Machine LearningLifetime885US 24084.59
Formal Methods in Verification2021-2025448US 9669.94
Logic, programming, and type systems2021-2025403US 7961.12
Logic, Reasoning, and Knowledge2021-2025840US 10643.59
Model-Driven Software Engineering Techniques2021-2025496US 3942.97