Scholarly Index
Baudouin Le Charlier
UCLouvain; 906 total citations; 47 total publications; best world rank #663
UCLouvain
906Total citations
47Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 905 | BE 12 | 92.96 |
| Logic, programming, and type systems | Lifetime | 663 | BE 10 | 93.09 |