Scholarly Index
David Monniaux
Centre National de la Recherche Scientifique; 1,659 total citations; 56 total publications; best world rank #393
Centre National de la Recherche Scientifique
1,659Total citations
56Total publications
15H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 847 | FR 41 | 93.29 |
| Logic, programming, and type systems | 2021-2025 | 393 | FR 28 | 61.88 |
| Security and Verification in Computing | 2021-2025 | 932 | FR 17 | 57.79 |
| Formal Methods in Verification | 2021-2025 | 857 | FR 46 | 56.12 |