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


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

Phone: +44 (0)1334 46 1622


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.

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.

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.

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.

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.

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.

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.

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.