Scholarly Index
Giuseppe Castagna
Centre National de la Recherche Scientifique; 2,295 total citations; 65 total publications; best world rank #155
Centre National de la Recherche Scientifique
2,295Total citations
65Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 202 | FR 9 | 97.14 |
| Formal Methods in Verification | Lifetime | 779 | FR 37 | 93.78 |
| Logic, programming, and type systems | 2021-2025 | 155 | FR 11 | 78.26 |