Scholarly Index
Anna Ingólfsdóttir
Reykjavík University; 1,463 total citations; 166 total publications; best world rank #238
Reykjavík University
1,463Total citations
166Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 632 | IS 2 | 94.74 |
| Logic, programming, and type systems | Lifetime | 558 | IS 2 | 93.88 |
| semigroups and automata theory | Lifetime | 850 | IS 2 | 87.61 |
| Formal Methods in Verification | 2021-2025 | 238 | IS 2 | 81.50 |
| Logic, programming, and type systems | 2021-2025 | 369 | IS 4 | 63.01 |