Scholarly Index
Matthieu Lemerre
Commissariat à l'Énergie Atomique et aux Énergies Alternatives; 74 total citations; 22 total publications; best world rank #304
Commissariat à l'Énergie Atomique et aux Énergies Alternatives
74Total citations
22Total publications
6H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 304 | FR 21 | 66.73 |
| Formal Methods in Verification | 2021-2025 | 686 | FR 32 | 61.07 |