Scholarly Index
Igor Walukiewicz
Centre National de la Recherche Scientifique; 1,968 total citations; 72 total publications; best world rank #276
Centre National de la Recherche Scientifique
1,968Total citations
72Total publications
21H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 276 | FR 11 | 97.05 |
| Logic, programming, and type systems | Lifetime | 282 | FR 14 | 96.32 |
| semigroups and automata theory | Lifetime | 310 | FR 28 | 94.23 |
| Logic, Reasoning, and Knowledge | Lifetime | 589 | FR 33 | 93.46 |