Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
88441 - 88450 out of 101,464Page size: 10
  1. Published

    An integrated framework for verifying multiple care pathways

    Bowles, J., Caminati, M. B. & Cha, S., 7/02/2018, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 17595273

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Published

    An exploration of the mediating effects of a digital, mobile vocabulary learning tool and device use on Gulf Arab learners’ receptive vocabulary knowledge and capacity for self-regulated learning.

    Bowles, M., 16/03/2021, Lancaster University. 266 p.

    Research output: Thesis › Doctoral Thesis

  3. 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/ISSN › Chapter

  4. 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/Magazine › Journal article › peer-review

  5. 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/Magazine › Journal article › peer-review

  6. 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/ISSN › Conference contribution/Paper › peer-review

  7. 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/ISSN › Conference contribution/Paper › peer-review

  8. 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/Magazine › Journal article › peer-review

  9. 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

  10. 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 paper › peer-review

Previous 1...8841 8842 8843 8844 8845 8846 8847 8848 ...10147 Next

Back to top