Research output per year
Research output per year
Project Details
| Acronym | Rutherford Fellowship |
|---|---|
| Status | Finished |
| Effective start/end date | 15/02/18 → 13/03/22 |
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
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique 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
Press/Media
-
Globally addressing polypharmacy and multimorbidities with computational techniques
29/05/20
1 Media contribution
Press/Media: Relating to Research
-
Dr Juliana Bowles – Computing Conflict-free Treatments for Multiple Chronic Illnesses
18/03/20
1 Media contribution
Press/Media: Relating to Research