Scholarly Index
Xavier Leroy
Collège de France; 13,138 total citations; 471 total publications; best world rank #30
Collège de France
13,138Total citations
471Total publications
55H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 30 | FR 1 | 99.28 |
| Formal Methods in Verification | Lifetime | 71 | FR 1 | 98.98 |
| Renal cell carcinoma treatment | Lifetime | 476 | FR 20 | 97.95 |
| Cardiac tumors and thrombi | Lifetime | 365 | FR 29 | 96.69 |
| Security and Verification in Computing | Lifetime | 156 | FR 2 | 97.31 |
| Renal and related cancers | Lifetime | 917 | FR 32 | 96.22 |
| Urologic and reproductive health conditions | Lifetime | 624 | FR 18 | 96.33 |
| Testicular diseases and treatments | Lifetime | 706 | FR 28 | 93.81 |
| Infectious Disease Case Reports and Treatments | Lifetime | 339 | FR 14 | 79.92 |
| Logic, programming, and type systems | 2021-2025 | 243 | FR 18 | 71.11 |