Photo of David Parker

David Parker

Mr

  • Room LG.102 - David Keir Building

    United Kingdom

20112019

Research output per year

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

Research Output

  • 1 Conference contribution
  • 1 Article

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

  • 6 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

    24 Citations (Scopus)