Scholarly Index
David A. Schmidt
East Tennessee State University; 1,562 total citations; 50 total publications; best world rank #622
East Tennessee State University
1,562Total citations
50Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 622 | US 219 | 93.39 |
| Formal Methods in Verification | Lifetime | 892 | US 308 | 93.03 |