Scholarly Index

Natarajan Shankar

SRI International; 2,498 total citations; 68 total publications; best world rank #345

SRI International

2,498Total citations
68Total publications
25H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime345US 14496.54
Logic, programming, and type systemsLifetime362US 13695.73