Scholarly Index
Carolyn Talcott
SRI International; 3,161 total citations; 159 total publications; best world rank #205
SRI International
3,161Total citations
159Total publications
31H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 205 | US 82 | 97.13 |
| Formal Methods in Verification | Lifetime | 313 | US 129 | 96.85 |
| Distributed systems and fault tolerance | Lifetime | 653 | US 371 | 95.87 |
| Logic, Reasoning, and Knowledge | Lifetime | 514 | US 151 | 94.00 |
| Petri Nets in System Modeling | 2021-2025 | 482 | US 31 | 34.19 |