Scholarly Index
David A. Naumann
Stevens Institute of Technology; 1,673 total citations; 91 total publications; best world rank #283
Stevens Institute of Technology
1,673Total citations
91Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 283 | US 104 | 96.32 |
| Security and Verification in Computing | Lifetime | 290 | US 162 | 95.81 |
| Formal Methods in Verification | Lifetime | 746 | US 266 | 94.01 |