Scholarly Index

Daniel P. Friedman

University of California, Berkeley; 4,339 total citations; 103 total publications; best world rank #172

University of California, Berkeley

4,339Total citations
103Total publications
30H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime172US 7497.38
Formal Methods in VerificationLifetime938US 31792.70
Logic, Reasoning, and KnowledgeLifetime916US 24390.56