Photo of David Parker
  • Room LG.102 - David Keir Building

    United Kingdom

20112019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where David Parker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Markov processes Engineering & Materials Science
Statistical Models Engineering & Materials Science

Research Output 2011 2019

  • 1 Conference contribution
  • 1 Article
4 Citations (Scopus)

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)

Hahn, E. M., Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Kretínský, J., Parker, D., Quatmann, T., Ruijters, E. & Steinmetz, M., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). p. 69-92 24 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Markov processes
Statistical Models
24 Citations (Scopus)

Radiochromic film spectroscopy of laser-accelerated proton beams using the FLUKA code and dosimetry traceable to primary standards

Kirby, D., Green, S., Fiorini, F., Parker, D., Romagnani, L., Doria, D., Kar, S., Lewis, C., Borghesi, M. & Palmans, H., Jun 2011, In : Laser And Particle Beams. 29, 2, p. 231-239 9 p.

Research output: Contribution to journalArticle