Scholarly Index
Patricia Johann
Appalachian State University; 617 total citations; 58 total publications; best world rank #451
Appalachian State University
617Total citations
58Total publications
14H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 908 | US 309 | 92.92 |
| Logic, programming, and type systems | Lifetime | 672 | US 234 | 93.01 |
| Logic, Reasoning, and Knowledge | Lifetime | 841 | US 228 | 91.11 |
| Logic, programming, and type systems | 2021-2025 | 451 | US 90 | 58.76 |