Scholarly Index
Théo Winterhalter
Centre Inria de Saclay; 245 total citations; 15 total publications; best world rank #136
Centre Inria de Saclay
245Total citations
15Total publications
8H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 136 | FR 8 | 79.68 |
| Security and Verification in Computing | 2021-2025 | 684 | FR 12 | 65.34 |
| Formal Methods in Verification | 2021-2025 | 914 | FR 50 | 54.38 |