David Parker
About
David Parker has authored 92 papers that have received a total of 1.6k indexed citations.
This includes 57 papers in Computational Theory and Mathematics, 34 papers in Software and 31 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (56 papers), Software Reliability and Analysis Research (27 papers) and Advanced Software Engineering Methodologies (18 papers). David Parker is often cited by papers focused on Formal Methods in Verification (56 papers), Software Reliability and Analysis Research (27 papers) and Advanced Software Engineering Methodologies (18 papers) and collaborates with scholars based in United Kingdom, United States and Germany. David Parker's co-authors include Marta Kwiatkowska, Gethin Norman, Nick Hawes, Sam Akehurst and Bruno Lacerda and has published in prestigious journals such as Bioinformatics, Scientific Reports and Automatica
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by O. Olfert are published in Top fields papers by Cláudia G. Petersen are about Top journals papers by Jin Chen are published in Top authors papers by Davide Farnocchia are co-authored with Top journals papers by Gero Wieners are published in Top fields papers by Marieke L. de Kam are about Top countries impacted by papers by Benno H. W. Hendriks Top fields papers by Jan Endrikat are about