Scholarly Index
Aaron Stump
University of Iowa; 1,617 total citations; 73 total publications; best world rank #489
University of Iowa
1,617Total citations
73Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 489 | US 184 | 94.54 |
| Formal Methods in Verification | Lifetime | 842 | US 294 | 93.34 |