Scholarly Index
Lionel Parreaux
Hong Kong University of Science and Technology; 231 total citations; 22 total publications; best world rank #55
Hong Kong University of Science and Technology
231Total citations
22Total publications
8H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 55 | CN 2 | 88.78 |
| Formal Methods in Verification | 2021-2025 | 223 | CN 42 | 82.57 |