Scholarly Index
Patrick Lincoln
SRI International; 4,838 total citations; 86 total publications; best world rank #368
SRI International
4,838Total citations
86Total publications
34H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 506 | US 198 | 95.53 |
| Logic, programming, and type systems | Lifetime | 368 | US 140 | 95.68 |
| Logic, Reasoning, and Knowledge | Lifetime | 604 | US 173 | 93.29 |