Scholarly Index
Salvador Lucas
Universitat Politècnica de València; 1,075 total citations; 94 total publications; best world rank #261
Universitat Politècnica de València
1,075Total citations
94Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 519 | ES 4 | 94.22 |
| Formal Methods in Verification | Lifetime | 801 | ES 10 | 93.61 |
| Logic, Reasoning, and Knowledge | Lifetime | 751 | ES 14 | 91.82 |
| Security and Verification in Computing | Lifetime | 941 | ES 10 | 88.54 |
| Logic, programming, and type systems | 2021-2025 | 261 | ES 7 | 69.61 |
| Formal Methods in Verification | 2021-2025 | 974 | ES 20 | 52.40 |