Follow
Mar Marcos
Mar Marcos
Verified email at uji.es
Title
Cited by
Cited by
Year
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
1552006
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
1532013
Process Mining for Healthcare: Characteristics and Challenges
J Munoz-Gama, N Martin, C Fernandez-Llatas, OA Johnson, M Sepúlveda, ...
Journal of Biomedical Informatics, 103994, 2022
1412022
Combining diagnosis and treatment using Asbru
A Seyfang, S Miksch, M Marcos
International Journal of Medical Informatics 68 (1-3), 49-57, 2002
822002
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
812013
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
722007
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
572006
Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare
R Gatta, M Vallati, C Fernandez-Llatas, A Martinez-Millana, S Orini, ...
International Conference on Business Process Management, 545-556, 2019
372019
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
Knowledge Representation for Health-Care: ECAI 2010 Workshop KR4HC 2010 …, 2011
362011
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
342001
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
282004
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
252007
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
Knowledge Representation for Health-Care. Data, Processes and Guidelines …, 2010
242010
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
242003
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
222016
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á, ...
Artificial Intelligence in Medicine: 13th Conference on Artificial …, 2011
212011
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
192016
CLIN-IK-LINKS: A platform for the design and execution of clinical data transformation and reasoning workflows
JA Maldonado, M Marcos, JT Fernández-Breis, VM Giménez-Solano, ...
Computer Methods and Programs in Biomedicine 197, 105616, 2020
182020
Interactive verification of medical guidelines
J Schmitt, A Hoffmann, M Balser, W Reif, M Marcos
FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006
182006
The system can't perform the operation now. Try again later.
Articles 1–20