Scholarly Index
Luca Cardelli
University of Oxford; 14,387 total citations; 181 total publications; best world rank #4
University of Oxford
14,387Total citations
181Total publications
57H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 4 | GB 2 | 99.75 |
| DNA and Biological Computing | Lifetime | 17 | GB 1 | 98.62 |
| Formal Methods in Verification | Lifetime | 50 | GB 3 | 99.24 |
| Distributed systems and fault tolerance | Lifetime | 112 | GB 3 | 98.92 |
| Logic, Reasoning, and Knowledge | Lifetime | 66 | GB 14 | 98.67 |
| Gene Regulatory Network Analysis | Lifetime | 106 | GB 7 | 98.28 |
| Model-Driven Software Engineering Techniques | Lifetime | 136 | GB 14 | 97.07 |
| Advanced Database Systems and Queries | Lifetime | 946 | GB 40 | 93.63 |
| Origins and Evolution of Life | Lifetime | 252 | GB 20 | 90.37 |
| semigroups and automata theory | Lifetime | 717 | GB 47 | 89.07 |
| Gene Regulatory Network Analysis | 2021-2025 | 469 | GB 33 | 73.22 |
| Petri Nets in System Modeling | 2021-2025 | 603 | GB 12 | 22.41 |