Avoiding medication conflicts for patients with multimorbidities

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)


Clinical pathways are care plans which detail essential steps in the care of patients with a specific clinical problem, usually a chronic disease. A pathway includes recommendations of medications prescribed at different stages of the care plan. For patients with three or more chronic diseases (known asmultimorbidities) the multiple pathways have to be applied together. One common problem for such patients is the adverse interaction between medications given for different diseases. This paper proposes a solution for avoiding medication conflicts for patients with multimorbidities through the use of formal methods. We introduce the notion of a pharmaceutical graph to capture the medications associated to different stages of a pathway. We then explore the use of an optimising SMT solver (Z3) to quickly find the set of medications with the minimal number and severity of conflicts which is assumed to be the safest. We evaluate the approach on a well known case of an elderly patient with five multimorbidities.
Original languageEnglish
Title of host publicationIntegrated Formal Methods
Subtitle of host publication12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-3, 2016, Proceedings
EditorsErika Ábrahám, Marieke Huisman
Number of pages15
ISBN (Print)9783319336923, 9783319336930
Publication statusPublished - 2016
Event12th International Conference on integrated Formal Methods - Reykjavík University (RU), Reykjavík, Iceland
Duration: 1 Jun 20165 Jun 2016

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference12th International Conference on integrated Formal Methods
Internet address


Dive into the research topics of 'Avoiding medication conflicts for patients with multimorbidities'. Together they form a unique fingerprint.

Cite this