Scholarly Index
Vasco T. Vasconcelos
University of Lisbon; 1,738 total citations; 104 total publications; best world rank #274
University of Lisbon
1,738Total citations
104Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 388 | PT 1 | 95.52 |
| Formal Methods in Verification | Lifetime | 604 | PT 2 | 94.92 |
| Logic, programming, and type systems | 2021-2025 | 274 | PT 5 | 68.81 |
| Formal Methods in Verification | 2021-2025 | 579 | PT 4 | 64.60 |