Scholarly Index
Laurent Fribourg
Laboratoire Méthodes Formelles; 1,097 total citations; 94 total publications; best world rank #672
Laboratoire Méthodes Formelles
1,097Total citations
94Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 672 | FR 30 | 94.48 |
| Petri Nets in System Modeling | Lifetime | 680 | FR 48 | 89.15 |
| Formal Methods in Verification | 2021-2025 | 824 | FR 43 | 56.97 |
| Control and Stability of Dynamical Systems | 2021-2025 | 786 | FR 60 | 21.62 |