Scholarly Index

Ankush Das

Amazon (United States); 175 total citations; 14 total publications; best world rank #264

Amazon (United States)

175Total citations
14Total publications
5H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systems2021-2025264US 5469.27
Formal Methods in Verification2021-2025525US 11367.01