Scholarly Index
Ana Cavalcanti
University of York; 1,979 total citations; 146 total publications; best world rank #113
University of York
1,979Total citations
146Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 471 | GB 44 | 95.69 |
| Logic, programming, and type systems | Lifetime | 496 | GB 63 | 94.50 |
| Advanced Software Engineering Methodologies | Lifetime | 824 | GB 64 | 93.75 |
| Model-Driven Software Engineering Techniques | Lifetime | 831 | GB 65 | 88.95 |
| Formal Methods in Verification | 2021-2025 | 193 | GB 14 | 84.46 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 113 | GB 9 | 76.85 |
| Advanced Software Engineering Methodologies | 2021-2025 | 758 | GB 34 | 41.80 |
| Safety Systems Engineering in Autonomy | 2021-2025 | 594 | GB 53 | 23.12 |
| AI-based Problem Solving and Planning | 2021-2025 | 565 | GB 37 | 21.56 |