Scholarly Index
Alberto Verdejo
Universidad Complutense de Madrid; 589 total citations; 40 total publications; best world rank #237
Universidad Complutense de Madrid
589Total citations
40Total publications
13H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 339 | ES 6 | 75.12 |
| Logic, programming, and type systems | 2021-2025 | 237 | ES 6 | 71.47 |