Scholarly Index
Haniel Barbosa
Universidade Federal de Minas Gerais; 72 total citations; 14 total publications; best world rank #409
Universidade Federal de Minas Gerais
72Total citations
14Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 409 | BR 5 | 60.89 |
| Formal Methods in Verification | 2021-2025 | 795 | BR 13 | 57.74 |