Scholarly Index
Ben Greenman
University of Utah; 409 total citations; 35 total publications; best world rank #37
University of Utah
409Total citations
35Total publications
12H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 37 | US 8 | 91.34 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 68 | US 2 | 85.05 |
| Formal Methods in Verification | 2021-2025 | 429 | US 91 | 71.11 |