Scholarly Index
Amin Timany
Aarhus University; 589 total citations; 39 total publications; best world rank #12
Aarhus University
589Total citations
39Total publications
13H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 12 | DK 2 | 96.22 |
| Formal Methods in Verification | 2021-2025 | 56 | DK 2 | 94.20 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 51 | DK 2 | 91.35 |
| Distributed systems and fault tolerance | 2021-2025 | 187 | DK 4 | 82.64 |
| Security and Verification in Computing | 2021-2025 | 468 | DK 4 | 72.79 |