Scholarly Index
Kenji Maillard
École Centrale de Nantes; 123 total citations; 14 total publications; best world rank #218
École Centrale de Nantes
123Total citations
14Total publications
6H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 218 | FR 14 | 72.95 |
| Formal Methods in Verification | 2021-2025 | 972 | FR 56 | 52.45 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 822 | FR 35 | 44.26 |