Items where Author is "Bowles, Juliana"

Journal Article

Bowles, Juliana and Caminati, Marco B. (2019) Correct composition in the presence of behavioural conflicts and dephasing. Science of Computer Programming, 185: 102323. ISSN 0167-6423

Bowles, Juliana and Caminati, Marco B. and Cha, S. and Mendoza, J. (2019) A framework for automated conflict detection and resolution in medical guidelines. Science of Computer Programming. pp. 42-63. ISSN 0167-6423

Contribution in Book/Report/Proceedings

Caminati, Marco and Bowles, Juliana (2022) Representation Theorems Obtained by Mining across Web Sources for Hints. In: 2023 6th International Conference on Information and Computer Technologies (ICICT) :. 2023 6th International Conference on Information and Computer Technologies (ICICT) . IEEE. (In Press)

Bowles, Juliana and Caminati, Marco B. (2020) A formally verified SMT approach to true concurrency. In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020 :. UNSPECIFIED.

Bowles, Juliana and Caminati, Marco B. (2019) An integrated approach to a combinatorial optimisation problem. In: Integrated Formal Methods :. Springer, pp. 204-382. ISBN 9783030349684

Bowles, Juliana and Caminati, Marco B. (2019) Balancing prescriptions with constraint solvers. In: Automated Reasoning for Systems Biology and Medicine :. Springer. ISBN 9783030172978

Bowles, Juliana and Caminati, Marco B. and Cha, Suhyun (2018) An integrated framework for verifying multiple care pathways. In: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) :. IEEE. ISBN 9781538619247

Bowles, Juliana and Caminati, Marco B. (2017) A flexible approach for finding optimal paths with minimal conflicts. In: ICFEM: International Conference on Formal Engineering Methods :. Springer, pp. 209-225. ISBN 9783319686905

Bowles, Juliana and Caminati, Marco B (2017) Correct composition of dephased behavioural models. In: Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings 14 :. Springer. ISBN 9783319680347

Bowles, Juliana and Caminati, Marco B. (2017) A verified algorithm enumerating event structures. In: Intelligent Computer Mathematics :. Springer. ISBN 9783319620749

Bowles, Juliana and Caminati, Marco B. (2016) Mind the gap : addressing behavioural inconsistencies with formal methods. In: 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) :. IEEE. ISBN 9781509055753

Other

Munbodh, R. and Zaveri, H. and Caminati, Marco B. and Bowles, Juliana (2018) Formalization and Automation of Quality Assurance Processes in Radiation Oncology. University of St Andrews.