Scholarly Index
Thomas Ehrhard
Institut de Recherche en Informatique Fondamentale; 1,455 total citations; 96 total publications; best world rank #210
Institut de Recherche en Informatique Fondamentale
1,455Total citations
96Total publications
21H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 210 | FR 10 | 97.09 |
| Logic, Reasoning, and Knowledge | Lifetime | 269 | FR 16 | 96.39 |
| Formal Methods in Verification | Lifetime | 713 | FR 32 | 94.19 |
| Logic, programming, and type systems | 2021-2025 | 326 | FR 24 | 65.10 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 405 | FR 17 | 64.81 |