Scholarly Index
Luca Aceto
Reykjavík University; 2,509 total citations; 229 total publications; best world rank #170
Reykjavík University
2,509Total citations
229Total publications
25H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 246 | IS 1 | 97.34 |
| Logic, programming, and type systems | Lifetime | 185 | IS 1 | 97.31 |
| semigroups and automata theory | Lifetime | 333 | IS 1 | 93.91 |
| Logic, Reasoning, and Knowledge | Lifetime | 553 | IS 1 | 93.73 |
| Petri Nets in System Modeling | Lifetime | 737 | IS 1 | 88.59 |
| Formal Methods in Verification | 2021-2025 | 184 | IS 1 | 84.91 |
| Logic, programming, and type systems | 2021-2025 | 170 | IS 2 | 77.52 |