Scholarly Index
Thibault Dardinier
ETH Zurich; 93 total citations; 12 total publications; best world rank #52
ETH Zurich
93Total citations
12Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 52 | CH 2 | 89.07 |
| Security and Verification in Computing | 2021-2025 | 199 | CH 7 | 84.49 |
| Distributed systems and fault tolerance | 2021-2025 | 346 | CH 17 | 73.52 |
| Formal Methods in Verification | 2021-2025 | 397 | CH 8 | 72.84 |