Scholarly Index
Richard Waldinger
SRI International; 2,503 total citations; 69 total publications; best world rank #357
SRI International
2,503Total citations
69Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 357 | US 134 | 95.76 |
| Formal Methods in Verification | Lifetime | 531 | US 203 | 95.35 |