Scholarly Index
Narciso Martı́-Oliet
Universidad Complutense de Madrid; 1,845 total citations; 59 total publications; best world rank #208
Universidad Complutense de Madrid
1,845Total citations
59Total publications
19H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 547 | ES 5 | 93.95 |
| Formal Methods in Verification | 2021-2025 | 317 | ES 5 | 76.25 |
| Logic, programming, and type systems | 2021-2025 | 208 | ES 4 | 74.03 |