Statistics
Publications
77
Citations
4.7K
H-Index
37
Active since
1987
David Parker is an author at University of Birmingham specializing in computer science, model checking, and probabilistic model checking.
Publications per year
1987–2022
77
77
Marta Kwiatkowska, Gethin Norman, David Parker · ACM SIGMETRICS Performance Evaluation Review · 2009 · 250 citations · Full text
Probabilistic model checking of complex biological pathways
John K. Heath, Marta Kwiatkowska, Gethin Norman et al. · Theoretical Computer Science · 2007 · 241 citations
1–5 of 77