Scholarly Index

Andres Erbsen

Google (United States); 191 total citations; 15 total publications; best world rank #236

Google (United States)

191Total citations
15Total publications
6H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in Verification2021-2025289US 6577.75
Logic, programming, and type systems2021-2025236US 4971.68
Security and Verification in Computing2021-2025610US 18267.80