Scholarly Index
Nicolas Tabareau
Centre Inria de l'Université de Rennes; 916 total citations; 57 total publications; best world rank #9
Centre Inria de l'Université de Rennes
916Total citations
57Total publications
16H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 730 | FR 43 | 92.53 |
| Logic, programming, and type systems | 2021-2025 | 9 | FR 1 | 96.64 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 74 | FR 3 | 88.57 |
| Formal Methods in Verification | 2021-2025 | 710 | FR 33 | 60.30 |