Scholarly Index
Hubert Garavel
Institut polytechnique de Grenoble; 1,259 total citations; 84 total publications; best world rank #556
Institut polytechnique de Grenoble
1,259Total citations
84Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 602 | FR 26 | 94.92 |
| Petri Nets in System Modeling | Lifetime | 556 | FR 40 | 90.65 |
| Formal Methods in Verification | 2021-2025 | 927 | FR 51 | 53.85 |
| Logic, programming, and type systems | 2021-2025 | 642 | FR 44 | 48.05 |