Scholarly Index
David Parker
University of Oxford; 4,670 total citations; 154 total publications; best world rank #100
University of Oxford
4,670Total citations
154Total publications
36H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 100 | GB 9 | 98.66 |
| Software Reliability and Analysis Research | Lifetime | 279 | GB 24 | 97.61 |
| Safety Systems Engineering in Autonomy | Lifetime | 174 | GB 30 | 90.79 |
| Advanced Software Engineering Methodologies | Lifetime | 929 | GB 71 | 93.10 |
| Software Testing and Debugging Techniques | Lifetime | 931 | GB 50 | 92.69 |
| Petri Nets in System Modeling | Lifetime | 630 | GB 27 | 89.73 |
| Formal Methods in Verification | 2021-2025 | 375 | GB 31 | 73.79 |
| AI-based Problem Solving and Planning | 2021-2025 | 618 | GB 40 | 15.50 |