Scholarly Index
Sriram Sankaranarayanan
University of Colorado Boulder; 3,323 total citations; 121 total publications; best world rank #121
University of Colorado Boulder
3,323Total citations
121Total publications
31H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 121 | US 65 | 98.53 |
| Software Testing and Debugging Techniques | Lifetime | 549 | US 213 | 95.14 |
| Logic, programming, and type systems | Lifetime | 947 | US 315 | 90.76 |
| Polynomial and algebraic computation | Lifetime | 712 | US 226 | 86.14 |
| Numerical Methods and Algorithms | Lifetime | 933 | US 313 | 82.90 |