Research output per year
Research output per year
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.
- 1 Similar Profiles
-
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 proceeding › Conference contribution
38 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 journal › Article › peer-review
36 Citations (Scopus)