Scholarly Index
David A. Plaisted
University of North Carolina Health Care; 2,535 total citations; 105 total publications; best world rank #178
University of North Carolina Health Care
2,535Total citations
105Total publications
25H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 178 | US 77 | 97.34 |
| Formal Methods in Verification | Lifetime | 312 | US 128 | 96.85 |
| Logic, Reasoning, and Knowledge | Lifetime | 286 | US 89 | 96.24 |