Skip to content

Research at St Andrews

Formalization and Automation of Quality Assurance Processes in Radiation Oncology

Research output: Contribution to journalAbstractpeer-review

Author(s)

R. Munbodh, H. Zaveri, M. Caminati, J. Bowles

School/Research organisations

Details

Original languageEnglish
Pages (from-to)E274-E274
Number of pages1
JournalMedical Physics
Volume45
Issue number6
Publication statusPublished - 31 Jul 2018
Event60th Annual Meeting of the American-Association-of-Physicists-in-Medicine: AAPM - Nashville, United States
Duration: 29 Jul 20182 Aug 2018

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. A formally verified SMT approach to true concurrency

    Kuster Filipe Bowles, J. & Caminati, M. B., 24 Oct 2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. Calimeri, F., Perri, S. & Zumpano, E. (eds.). p. 357-371 (CEUR Workshop Proceedings).

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

  2. Correct composition in the presence of behavioural conflicts and dephasing

    Kuster Filipe Bowles, J. & Caminati, M. B., 1 Jan 2020, In: Science of Computer Programming. 185, 22 p., 102323.

    Research output: Contribution to journalArticlepeer-review

  3. A framework for automated conflict detection and resolution in medical guidelines

    Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1 Aug 2019, In: Science of Computer Programming. 182, p. 42-63 22 p.

    Research output: Contribution to journalArticlepeer-review

  4. An integrated approach to a combinatorial optimisation problem

    Kuster Filipe Bowles, J. & Caminati, M. B., 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). LNCS ed. Cham: Springer, p. 284-302 19 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11918).

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

  5. Balancing prescriptions with constraint solvers

    Bowles, J. K. F. & Caminati, M. B., 2019, Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Cham: Springer, p. 243-267 25 p. (Computational Biology; vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingChapter

Related by journal

  1. Graph-based risk assessment and error detection in radiation therapy

    Munbodh, R., Kuster Filipe Bowles, J. & Zaveri, H., Mar 2021, In: Medical Physics. 48, 3, p. 965-977 13 p.

    Research output: Contribution to journalArticlepeer-review

ID: 255500306

Top