Scholarly Index
Gérard Boudol
Research Centre Inria Sophia Antipolis - Méditerranée; 2,659 total citations; 56 total publications; best world rank #267
Research Centre Inria Sophia Antipolis - Méditerranée
2,659Total citations
56Total publications
21H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 267 | FR 13 | 96.44 |
| Formal Methods in Verification | Lifetime | 881 | FR 43 | 93.08 |
| Security and Verification in Computing | Lifetime | 650 | FR 12 | 91.72 |
| Logic, Reasoning, and Knowledge | Lifetime | 971 | FR 53 | 90.13 |