Items where authors include "Thomson, C."

Article

Gardner, A.J., Iverson, G.L., Bloomfield, P. et al. (21 more authors) (2024) Studying contact replays: investigating mechanisms, management and game exposures (SCRIMMAGE) for brain health in the Australasian National Rugby League: a protocol for a database design. BMJ Open Sport & Exercise Medicine, 10. e002216. ISSN 2055-7647

Hamdy, F.C. orcid.org/0000-0003-2627-2154, Lamb, A.D. orcid.org/0000-0002-2968-7155, Tullis, I.D.C. orcid.org/0000-0001-5148-0161 et al. (25 more authors) (2024) First-in-man study of the PSMA Minibody IR800-IAB2M for molecularly targeted intraoperative fluorescence guidance during radical prostatectomy. European Journal of Nuclear Medicine and Molecular Imaging, 51 (10). pp. 3009-3025. ISSN 1619-7070

Chakrabarty, S., Gleason, J.R., Han, Y. et al. (44 more authors) (2024) Low frequency, 100–600 MHz, searches with axion cavity haloscopes. Physical Review D, 109. 042004. ISSN 2470-0010

Nitta, T. orcid.org/0000-0002-9234-4833, Braine, T., Du, N. et al. (44 more authors) (2023) Search for a dark-matter-induced cosmic axion background with ADMX. Physical Review Letters, 131. 101002. ISSN 0031-9007

Su, D. orcid.org/0000-0002-0485-9627, Herraiz, L., Lucquiaud, M. orcid.org/0000-0003-2211-7157 et al. (2 more authors) (2023) Thermal integration of waste to energy plants with post-combustion CO2 capture. Fuel, 332 (1). 126004. ISSN 0016-2361

Thomson, C. and Holcombe, M. (2005) Using a formal method to model software design in XP projects. Annals of Mathematics, Computing and Teleinformatics, 1 (3). pp. 44-53. ISSN 1109-9305

Monograph

Thomson, C. (2005) Professionalism In The First Year Of A Software Engineering Curriculum. Technical Report. University of Sheffield: SOLAR

Thomson, C. (2004) The Sourcerer's Apprentice. Technical Report. University of Sheffield , SOLAR.

Conference or Workshop Item

Thomson, C. and Holcombe, W. (2003) Applying XP Ideas Formally: The Story Card and Extreme X-Machines. In: 1st South-East European Workshop on Formal Methods. Agile Formal Methods: Practical, Rigorous Methods for a changing world, 21-23 Nov 2003, Thessaloniki, Greece.

Proceedings Paper

Simons, A.J.H., Griffths, N. and Thomson, C. (2008) Feedback-Based Specification, Coding and Testing with JWalk. In: Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference. TAIC PART '08, 29-31 Aug 2008, Windsor, UK. IEEE , pp. 69-73. ISBN 978-0-7695-3383-4

Thomson, C., Holcombe, M., Cowling, T. et al. (2 more authors) (2008) A Pilot Study of Comparative Customer Comprehension between Extreme X-Machine and UML Models. In: ESEM '08 Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement. ESEM 08, October 9th - 10th, 2008, Kaiserslautern, Germany. ACM , pp. 270-272. ISBN 978-1-59593-971-5