Scholarly Index
Manuel V. Hermenegildo
IMDEA Software Institute; 4,331 total citations; 305 total publications; best world rank #110
IMDEA Software Institute
4,331Total citations
305Total publications
38H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 110 | ES 1 | 98.23 |
| Formal Methods in Verification | Lifetime | 189 | ES 3 | 97.91 |
| Parallel Computing and Optimization Techniques | Lifetime | 823 | ES 16 | 97.16 |
| Software Testing and Debugging Techniques | Lifetime | 395 | ES 4 | 96.40 |
| Logic, Reasoning, and Knowledge | Lifetime | 706 | ES 12 | 92.17 |
| Model-Driven Software Engineering Techniques | Lifetime | 938 | ES 40 | 87.70 |
| Constraint Satisfaction and Optimization | Lifetime | 605 | ES 20 | 85.88 |
| Logic, programming, and type systems | 2021-2025 | 494 | ES 14 | 55.83 |