Scholarly Index
Alejandro Aguirre
Aarhus University; 170 total citations; 20 total publications; best world rank #114
Aarhus University
170Total citations
20Total publications
8H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 143 | DK 4 | 86.97 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 114 | DK 4 | 84.29 |
| Logic, programming, and type systems | 2021-2025 | 163 | DK 10 | 77.81 |