Scholarly Index
Steven Holtzen
Universidad del Noreste; 176 total citations; 18 total publications; best world rank #548
Universidad del Noreste
176Total citations
18Total publications
7H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 705 | MX 1 | 60.35 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 615 | MX 2 | 53.22 |
| Logic, programming, and type systems | 2021-2025 | 548 | MX 2 | 53.35 |