| 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 | 149 | 2006 |
| 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 | 148 | 2013 |
| Combining diagnosis and treatment using Asbru A Seyfang, S Miksch, M Marcos International Journal of Medical Informatics 68 (1-3), 49-57, 2002 | 80 | 2002 |
| 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 | 76 | 2013 |
| 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 | 72 | 2022 |
| 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 | 69 | 2007 |
| 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 | 57 | 2006 |
| 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 | 36 | 2011 |
| 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 | 33 | 2002 |
| 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 | 32 | 2019 |
| 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 | 32 | 2001 |
| 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 | 29 | 2004 |
| 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 | 25 | 2007 |
| 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 | 23 | 2010 |
| 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 | 23 | 2003 |
| 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 | 21 | 2011 |
| 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 | 20 | 2016 |
| 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 | 18 | 2006 |
| 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 | 17 | 2016 |
| 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 | 15 | 2020 |
Begoña Martínez-SalvadorAssociate Professor Computer Science, University Jaume-IVerified email at uji.es
