Mar Marcos
Mar Marcos
Verified email at uji.es
TitleCited byYear
Improving medical protocols by formal methods
A Ten Teije, M Marcos, M Balser, J van Croonenborg, C Duelli, ...
Artificial intelligence in medicine 36 (3), 193-209, 2006
1312006
Interoperability of clinical decision-support systems and electronic health records using archetypes: a case study in clinical trial eligibility
M Marcos, JA Maldonado, B Martínez-Salvador, D Boscá, M Robles
Journal of biomedical informatics 46 (4), 676-689, 2013
982013
Combining diagnosis and treatment using Asbru
A Seyfang, S Miksch, M Marcos
International Journal of Medical Informatics 68 (1-3), 49-57, 2002
712002
Extraction and use of linguistic patterns for modelling medical guidelines
R Serban, A ten Teije, F van Harmelen, M Marcos, C Polo-Conde
Artificial intelligence in medicine 39 (2), 137-149, 2007
552007
Bridging the gap between informal and formal guideline representations
J Wittenberg, C Polo-Conde, K Rosenbrand
ECAI 2006: 17th European Conference on Artificial Intelligence 141, 447, 2006
552006
Leveraging electronic healthcare record standards and semantic web technologies for the identification of patient cohorts
JT Fernández-Breis, JA Maldonado, M Marcos, MC Legaz-García, ...
Journal of the American Medical Informatics Association 20 (e2), e288-e296, 2013
532013
From informal knowledge to formal logic: a realistic case study in medical protocols
M Marcos, M Balser, A Ten Teije, F Van Harmelen
International Conference on Knowledge Engineering and Knowledge Management …, 2002
342002
Using critiquing for improving medical protocols: harder than it seems
M Marcos, G Berger, F Van Harmelen, A ten Teije, H Roomans, S Miksch
Conference on Artificial Intelligence in Medicine in Europe, 431-442, 2001
332001
Towards the interoperability of computerised guidelines and electronic health records: an experiment with openEHR archetypes and a chronic heart failure guideline
M Marcos, B Martínez-Salvador
International Workshop on Knowledge Representation for Health Care, 101-113, 2010
302010
Maintaining formal models of living guidelines efficiently
A Seyfang, B Martínez-Salvador, R Serban, J Wittenberg, S Miksch, ...
Conference on Artificial Intelligence in Medicine in Europe, 441-445, 2007
212007
Protocure: supporting the development of medical protocols through formal methods
M Balser, O Coltell, J van Croonenborg, C Duelli, F van Harmelen, ...
Studies in health technology and informatics, 103-107, 2004
212004
Experiences in the formalisation and verification of medical protocols
M Marcos, M Balser, A Ten Teije, F Van Harmelen, C Duelli
Conference on Artificial Intelligence in Medicine in Europe, 132-141, 2003
212003
An archetype-based solution for the interoperability of computerised guidelines and electronic health records
M Marcos, JA Maldonado, B Martínez-Salvador, D Moner, D Boscá, ...
Conference on Artificial Intelligence in Medicine in Europe, 276-285, 2011
172011
Experiences in the development of electronic care plans for the management of comorbidities
E Lozano, M Marcos, B Martínez-Salvador, A Alonso, JR Alonso
International Workshop on Knowledge Representation for Health Care, 113-123, 2009
162009
Interactive verification of medical guidelines
J Schmitt, A Hoffmann, M Balser, W Reif, M Marcos
International Symposium on Formal Methods, 32-47, 2006
142006
MHB–a many-headed bridge between informal and formal guideline representations
A Seyfang, S Miksch, C Polo-Conde, J Wittenberg, M Marcos, ...
Conference on Artificial Intelligence in Medicine in Europe, 146-150, 2005
132005
A constraint-based approach to medical guidelines and protocols
AJ Hommersom, PC Groot, PJF Lucas, M Marcos, B Martínez-Salvador
[Sl: sn], 2006
112006
Analysis of the process of representing clinical statements for decision-support applications: a comparison of openEHR archetypes and HL7 virtual medical record
A González-Ferrer, M Peleg, M Marcos, JA Maldonado
Journal of medical systems 40 (7), 163, 2016
102016
Leveraging workflow control patterns in the domain of clinical practice guidelines
K Kaiser, M Marcos
BMC medical informatics and decision making 16 (1), 20, 2016
92016
A Model-based Approach to the Verification of Program Supervision Systems.
M Marcos, S Moisan, AP Del Pobil
EUROVAV, 231-241, 1997
81997
The system can't perform the operation now. Try again later.
Articles 1–20