Home > Research > Publications & Outputs
  1. Published
  2. Published

    Balancing prescriptions with constraint solvers

    Bowles, J. & Caminati, M. B., 12/06/2019, Automated Reasoning for Systems Biology and Medicine. Springer, Vol. 30.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  3. Published

    Correct composition in the presence of behavioural conflicts and dephasing

    Bowles, J. & Caminati, M. B., 15/10/2019, In: Science of Computer Programming. 185, 102323.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    A framework for automated conflict detection and resolution in medical guidelines

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

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. & Caminati, M. B., 11/10/2017, ICFEM: International Conference on Formal Engineering Methods. Springer, Vol. 10610. p. 209-225

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Mind the gap: addressing behavioural inconsistencies with formal methods

    Bowles, J. & Caminati, M. B., 6/12/2016, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE, 16777776

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    The development of alternative farm enterprises : a study of family labour farms in the Northern Pennines of England.

    Bowler, I., Clark, G., Crockett, A., Ilbery, B. & Shaw, A., 07/1996, In: Journal of Rural Studies. 12, 3, p. 285-295 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Transdisciplinary ethical principles and standards for mobile mental health

    Bowie-DaBreo, D., Iles-Smith, H., Sunram-Lea, S.-I. & Sas, C., 6/07/2020.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

  9. Published

    A call for responsible innovation in mobile mental health: findings from a content analysis and ethical review of the depression app marketplace

    Bowie-DaBreo, D., Sas, C., Sunram-Lea, S.-I. & Iles-Smith, H., 7/10/2020.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  10. Published

    A transdisciplinary framework for ethical mobile mental health

    Bowie-DaBreo, D., 2024, Lancaster University. 240 p.

    Research output: ThesisDoctoral Thesis

Back to top