Computer Science @ University of St Andrews

University of St Andrews crest

Dr Juliana Bowles

Director of Impact

Senior Lecturer - School of Computer Science

Full research profile

Email: jkfb@st-andrews.ac.uk

Office: JC1.07 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1622

Web: https://juliana.host.cs.st-andrews.ac.uk

Recent Publications

Kuster Filipe Bowles, J & Caminati, MB 2019, An integrated approach to a combinatorial optimisation problem. in W Ahrendt & SL Tapia Tarifa (eds), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. LNCS edn, Lecture Notes in Computer Science (Programming and Software Engineering), vol. 11918, Springer, Cham, pp. 284-302, 15th International Conference on integrated Formal Methods (iFM 2019), Bergen, Norway, 2/12/19. https://doi.org/10.1007/978-3-030-34968-4_16

Bowles, JKF & Caminati, MB 2019, Balancing prescriptions with constraint solvers. in P Liò & P Zuliani (eds), Automated Reasoning for Systems Biology and Medicine. Computational Biology, vol. 30, Springer, Cham, pp. 243-267. https://doi.org/10.1007/978-3-030-17297-8_9

Kuster Filipe Bowles, J & Munbodh, R 2019, Computer aided verification of radiotherapy treatment plans. in Medical Physics. vol. 46, Wiley/American Association of Physicists in Medicine, 61st American Association of Physicists in Medicine Annual Meeting (AAPM 2019), San Antonio, United States, 14/07/19. https://doi.org/10.1002/mp.13589

Mendoza Santana, JJ & Kuster Filipe Bowles, J 2019, Formal reasoning over class models with TOMM. in Journal of Object Technology. vol. 18, 12, Association Internationale pour les Technologies Objets, 15th European Conference on Modelling Foundations and Applications (ECMFA), Eindhoven, Netherlands, 15/07/19. https://doi.org/10.5381/jot.2019.18.2.a12

Silvina, A, Kuster Filipe Bowles, J & Hall, P 2019, On predicting the outcomes of chemotherapy treatments in Breast cancer. in D Riaño, S Wilk & A ten Teije (eds), Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11526 LNAI, Springer, pp. 180-190, AIME 2019 17th Conference on Artificial Intelligence in Medicine
, Poznan, Poland, 26/06/19. https://doi.org/10.1007/978-3-030-21642-9_24

Ford, E, Boyd, A, K. F. Bowles, J, Havard, A, Aldridge, R, Curcin, V, Greiver, M, Harron, K, Katikireddi, V, Rodgers, S & Sperrin, M 2019, 'Our data, our society, our health: a vision for inclusive and transparent health data science in the United Kingdom and beyond', Learning Health Systems, vol. 3, no. 3, e10191. https://doi.org/10.1002/lrh2.10191

Janjic, V, Bowles, J, Belk, M & Pitsillides, A 2019, Security and privacy of medical data: challenges for next-generation patient-centric healthcare systems. in ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery, Inc, New York, pp. 213-214, 27th ACM International Conference on User Modeling, Adaptation and Personalization, UMAP 2019, Larnaca, Cyprus, 9/06/19. https://doi.org/10.1145/3314183.3326364

Bowles, JKF, Caminati, MB & Cha, S 2018, An integrated framework for verifying multiple care pathways. in Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE). vol. 2018-January, IEEE Computer Society, pp. 1-8, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, 13/09/17. https://doi.org/10.1109/TASE.2017.8285628