Scholarly Index
Karoliina Lehtinen
Centre National de la Recherche Scientifique; 144 total citations; 28 total publications; best world rank #47
Centre National de la Recherche Scientifique
144Total citations
28Total publications
7H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| semigroups and automata theory | 2021-2025 | 47 | FR 3 | 87.08 |
| Formal Methods in Verification | 2021-2025 | 126 | FR 5 | 88.09 |
| Logic, programming, and type systems | 2021-2025 | 143 | FR 9 | 79.30 |