David Parker

12.3k total citations
125 papers, 2.6k citations indexed

About

David Parker is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, David Parker has authored 125 papers receiving a total of 2.6k indexed citations (citations by other indexed papers that have themselves been cited), including 65 papers in Computational Theory and Mathematics, 39 papers in Software and 31 papers in Artificial Intelligence. Recurrent topics in David Parker's work include Formal Methods in Verification (64 papers), Software Reliability and Analysis Research (31 papers) and Advanced Software Engineering Methodologies (17 papers). David Parker is often cited by papers focused on Formal Methods in Verification (64 papers), Software Reliability and Analysis Research (31 papers) and Advanced Software Engineering Methodologies (17 papers). David Parker collaborates with scholars based in United Kingdom, United States and China. David Parker's co-authors include Gethin Norman, Marta Kwiatkowska, Keshab K. Parhi, Bruno Lacerda, Nick Hawes, Jeremy Sproston, Sandeep K. Shukla, Sam Akehurst, John K. Heath and J.J.M.M. Rutten and has published in prestigious journals such as SHILAP Revista de lepidopterología, Bioinformatics and Scientific Reports.

In The Last Decade

David Parker

119 papers receiving 2.4k citations

Author Peers

Peers are selected by citation overlap in the author's most active subfields. citations · hero ref

Author Last Decade Papers Cites
David Parker 1.3k 793 753 503 353 125 2.6k
Gethin Norman 1.3k 1.0× 697 0.9× 776 1.0× 388 0.8× 290 0.8× 71 2.1k
Holger Hermanns 1.9k 1.5× 1.2k 1.6× 1.0k 1.3× 511 1.0× 169 0.5× 166 3.0k
Wolfgang Reisig 2.0k 1.6× 891 1.1× 394 0.5× 665 1.3× 248 0.7× 76 3.4k
Brenda S. Baker 821 0.6× 671 0.8× 570 0.8× 700 1.4× 211 0.6× 44 3.0k
Joseph Sifakis 3.0k 2.4× 1.4k 1.8× 1.3k 1.7× 556 1.1× 99 0.3× 105 4.2k
Una-May O’Reilly 436 0.3× 1.6k 2.0× 126 0.2× 558 1.1× 331 0.9× 147 3.0k
Mike Hinchey 569 0.4× 1.7k 2.1× 751 1.0× 996 2.0× 69 0.2× 219 2.9k
Daniel J. Rosenkrantz 1.3k 1.0× 1.1k 1.3× 97 0.1× 1.2k 2.5× 320 0.9× 128 3.3k
Richard E. Korf 473 0.4× 3.7k 4.6× 221 0.3× 2.1k 4.2× 117 0.3× 119 5.2k
Armando Solar-Lezama 729 0.6× 1.7k 2.2× 1.5k 2.0× 734 1.5× 47 0.1× 114 3.7k

Countries citing papers authored by David Parker

Since Specialization
Citations

This map shows the geographic impact of David Parker's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by David Parker with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David Parker more than expected).

Fields of papers citing papers by David Parker

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by David Parker. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by David Parker. The network helps show where David Parker may publish in the future.

Co-authorship network of co-authors of David Parker

This figure shows the co-authorship network connecting the top 25 collaborators of David Parker. A scholar is included among the top collaborators of David Parker based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with David Parker. David Parker is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
2.
Alliey‐Rodriguez, Ney, Carol A. Tamminga, Matcheri S. Keshavan, et al.. (2024). Genetic analysis of psychosis Biotypes: shared Ancestry-adjusted polygenic risk and unique genomic associations. Molecular Psychiatry. 30(6). 2673–2685. 3 indexed citations
3.
Lacerda, Bruno, et al.. (2024). A Framework for Simultaneous Task Allocation and Planning under Uncertainty. ACM Transactions on Autonomous and Adaptive Systems. 19(4). 1–30. 1 indexed citations
4.
5.
Budde, Carlos E., Arnd Hartmanns, Jan Křetínský, et al.. (2021). On Correctness, Precision, and Performance in Quantitative Verification. Lecture notes in computer science. 216–241. 1 indexed citations
6.
Li, Cheng, David Parker, & Qi Hao. (2021). Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems. University of Birmingham Research Portal (University of Birmingham). 779–785. 5 indexed citations
7.
Lacerda, Bruno, et al.. (2019). Probabilistic planning with formal performance guarantees for mobile service robots. The International Journal of Robotics Research. 38(9). 1098–1123. 42 indexed citations
8.
Parker, David, et al.. (2018). Online Fault Diagnosis in Petri Net Models of Discrete-Event Systems Using Fourier-Motzkin. University of Birmingham Research Portal (University of Birmingham). 397–402. 2 indexed citations
9.
Lacerda, Bruno, David Parker, & Nick Hawes. (2015). Optimal policy generation for partially satisfiable co-safe LTL specifications. University of Birmingham Research Portal (University of Birmingham). 1587–1593. 24 indexed citations
10.
Forejt, Vojtěch, et al.. (2015). Permissive Controller Synthesis for Probabilistic Systems. Logical Methods in Computer Science. Volume 11, Issue 2. 10 indexed citations
11.
Lacerda, Bruno, David Parker, & Nick Hawes. (2014). Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. University of Birmingham Research Portal (University of Birmingham). 1511–1516. 51 indexed citations
12.
Júlvez, Jorge, Marta Kwiatkowska, Gethin Norman, & David Parker. (2012). Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam). 19. 101–111. 3 indexed citations
13.
Hahn, Ernst Moritz, Gethin Norman, David Parker, Björn Wachter, & Lijun Zhang. (2011). Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. 69–78. 13 indexed citations
14.
Kwiatkowska, Marta, et al.. (2009). Probabilistic Mobile Ambients. Theoretical Computer Science. 410(12-13). 1272–1303. 14 indexed citations
15.
Heath, John K., et al.. (2007). Probabilistic model checking of complex biological pathways. Theoretical Computer Science. 391(3). 239–257. 123 indexed citations
16.
Kwiatkowska, Marta, et al.. (2006). Simulation and verification for computational modelling of signalling pathways. Winter Simulation Conference. 1666–1674. 20 indexed citations
17.
Hinton, Andrew, Marta Kwiatkowska, Gethin Norman, & David Parker. (2006). PRISM: A tool for automatic verification of probabilistic systems. University of Birmingham Research Portal (University of Birmingham). 53 indexed citations
18.
Rutten, J.J.M.M., Marta Kwiatkowska, Gethin Norman, & David Parker. (2004). Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. 103 indexed citations
19.
Hermanns, Holger, Marta Kwiatkowska, Gethin Norman, David Parker, & Markus Siegle. (2003). On the use of MTBDDs for performability analysis and verification of stochastic systems. The Journal of Logic and Algebraic Programming. 56(1-2). 23–67. 35 indexed citations
20.
Parker, David & Jon Robinson. (2002). PROPERTY VALUATION SOFTWARE PACKAGES: AN EVALUATION. 32(3). 500–8. 4 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Gethin Norman Breakdown of academic impact, for papers by Holger Hermanns Breakdown of academic impact, for papers by Wolfgang Reisig Breakdown of academic impact, for papers by Brenda S. Baker Breakdown of academic impact, for papers by Joseph Sifakis Breakdown of academic impact, for papers by Una-May O’Reilly Breakdown of academic impact, for papers by Mike Hinchey Breakdown of academic impact, for papers by Daniel J. Rosenkrantz Breakdown of academic impact, for papers by Richard E. Korf Breakdown of academic impact, for papers by Armando Solar-Lezama
Rankless by CCL
2026