Scholarly Index
Erika Ábrahám
RWTH Aachen University; 1,446 total citations; 139 total publications; best world rank #273
RWTH Aachen University
1,446Total citations
139Total publications
19H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 498 | DE 45 | 95.55 |
| Formal Methods in Verification | 2021-2025 | 273 | DE 21 | 78.88 |
| Safety Systems Engineering in Autonomy | 2021-2025 | 289 | DE 75 | 51.99 |
| Polynomial and algebraic computation | 2021-2025 | 619 | DE 44 | 38.46 |
| Logic, programming, and type systems | 2021-2025 | 922 | DE 82 | 32.64 |