( en | de | ru )

 

Disambiguation of "Parker, David"

Author of the publication

copydeleteadd this publication to your clipboard
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.

, , , , , , , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 216-241. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Parker

Thomas Parker

Darren Parker

June Parker

Jane Parker

 

Other publications of authors with the same name

Variability management in safety-critical systems design and dependability analysis., , , , , , and . Journal of Software: Evolution and Process, (2019)Optimal slice timing correction and its interaction with fMRI parameters and artifacts., , and . Medical Image Anal., (2017)Quantitative Analysis of Fragrance and Odorants Released from Fresh and Decaying Strawberries., , , and . Sensors, 13 (6): 7939-7978 (2013)Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 52-66. Springer, (2002)Stochastic Model Checking., , and . SFM, volume 4486 of Lecture Notes in Computer Science, page 220-270. Springer, (2007)Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations., , , and . Int. J. Comput. Their Appl., 19 (2): 101-111 (2012)Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach., and . Autom., (2021)Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 15 (4): 1152-1166 (2018)Metabolite signal identification in accurate mass metabolomics data with MZedDB, an interactive m/z annotation tool utilising predicted ionisation behaviour 'rules'., , , , , , and . BMC Bioinform., (2009)Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems., , and . ICRA, page 779-785. IEEE, (2021)