Project Details
| Acronym | Automated Conflict Resolution |
|---|---|
| Status | Finished |
| Effective start/end date | 1/07/15 → 15/12/18 |
Funding
- EPSRC: £320,098.77
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This project contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being
Fingerprint
-
A formally verified SMT approach to true concurrency
Kuster Filipe Bowles, J. & Caminati, M. B., 24 Oct 2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. Calimeri, F., Perri, S. & Zumpano, E. (eds.). p. 357-371 (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Correct composition in the presence of behavioural conflicts and dephasing
Kuster Filipe Bowles, J. & Caminati, M. B., 1 Jan 2020, In: Science of Computer Programming. 185, 22 p., 102323.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A framework for automated conflict detection and resolution in medical guidelines
Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1 Aug 2019, In: Science of Computer Programming. 182, p. 42-63 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Activities
-
Formal approaches for optimised prescribing in patients with multimorbidities
Bowles, J. K. F. (Speaker)
25 Oct 2018Activity: Talk or presentation types › Invited talk
-
Brown University
Bowles, J. K. F. (Visiting researcher)
24 Oct 2018 → 26 Oct 2018Activity: Visiting an external institution types › Visiting an external academic institution
-
Optimised prescribing for multimorbid patients with constraint solvers
Bowles, J. K. F. (Speaker)
29 Aug 2018 → 31 Aug 2018Activity: Talk or presentation types › Invited talk
Press/Media
-
Dr Juliana Bowles – Computing Conflict-free Treatments for Multiple Chronic Illnesses
18/03/20
1 Media contribution
Press/Media: Relating to Research
Datasets
-
A verified algorithm enumerating event structures (dataset)
Bowles, J. K. F. (Creator) & Caminati, M. B. (Creator), Bitbucket, 2017
https://bitbucket.org/caminati/oeises
Dataset