Scholarly Index
Arthur Charguéraud
Centre National de la Recherche Scientifique; 1,083 total citations; 39 total publications; best world rank #531
Centre National de la Recherche Scientifique
1,083Total citations
39Total publications
16H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 531 | FR 28 | 94.12 |
| Formal Methods in Verification | Lifetime | 998 | FR 54 | 92.35 |
| Logic, programming, and type systems | 2021-2025 | 545 | FR 36 | 53.64 |