Scholarly Index
Felip Manyà
Artificial Intelligence Research Institute; 1,527 total citations; 101 total publications; best world rank #122
Artificial Intelligence Research Institute
1,527Total citations
101Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Constraint Satisfaction and Optimization | Lifetime | 217 | ES 7 | 93.48 |
| Formal Methods in Verification | Lifetime | 844 | ES 11 | 93.32 |
| Formal Methods in Verification | 2021-2025 | 656 | ES 11 | 62.10 |
| Constraint Satisfaction and Optimization | 2021-2025 | 122 | ES 5 | 59.90 |
| Logic, programming, and type systems | 2021-2025 | 416 | ES 11 | 60.72 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 826 | ES 24 | 44.19 |
| AI-based Problem Solving and Planning | 2021-2025 | 644 | ES 29 | 10.18 |