A Model-based Approach to the Verification of Program Supervision Systems. - Mar Marcos; Sabine Moisan; Angel P. del Pobil (EUROVAV, 1997)

Knowledge Modeling of Program Supervision Task. - Mar Marcos; Sabine Moisan; Angel P. del Pobil (IEA/AIE (Vol. 1), 1998)

Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification. - Mar Marcos; Sabine Moisan; Angel P. del Pobil (Appl. Intell., 1999)

Model-based verification of knowledge-based systems: a case study. - Mar Marcos; Angel P. del Pobil; Sabine Moisan (IEE Proc. Softw., 2000)

Using Critiquing for Improving Medical Protocols: Harder than It Seems. - Mar Marcos; Geert Berger; Frank van Harmelen; Annette ten Teije; Hugo Roomans; Silvia Miksch (AIME, 2001)

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. - Mar Marcos; Michael Balser; Annette ten Teije; Frank van Harmelen (EKAW, 2002)

Combining diagnosis and treatment using ASBRU. - Andreas Seyfang; Silvia Miksch; Mar Marcos (Int. J. Medical Informatics, 2002)

Informal and Formal Medical Guidelines: Bridging the Gap. - Marije Geldof; Annette ten Teije; Frank van Harmelen; Mar Marcos; Peter Votruba (AIME, 2003)

Experiences in the Formalisation and Verification of Medical Protocols. - Mar Marcos; Michael Balser; Annette ten Teije; Frank van Harmelen; Christoph Duelli (AIME, 2003)

Safe and Sound: Artificial Intelligence in Hazardous Applications - John Fox, Subrata Das, AAAI Press, Menlo Park, CA, and MIT Press, Cambridge, MA/London, UK, 2000, 326 pp., References, Index, Illus., ISBN 0-262-06211-9. - Mar Marcos (Artif. Intell. Medicine, 2003)

Protocure: Supporting the Development of Medical Protocols through Formal Methods. - Michael Balser; Óscar Coltell; Joyce van Croonenborg; Christoph Duelli; Frank van Harmelen; Albert Jovell; Peter J. F. Lucas; Mar Marcos; Silvia Miksch; Wolfgang Reif; Kitty Rosenbrand; Andreas Seyfang; et al. (CGP, 2004)

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. - Radu Serban; Annette ten Teije; Frank van Harmelen; Mar Marcos; Cristina Polo-Conde (AIME, 2005)

Design Patterns for Modelling Guidelines. - Radu Serban; Annette ten Teije; Mar Marcos; Cristina Polo-Conde; Kitty Rosenbrand; Jolanda Wittenberg; Joyce van Croonenborg (AIME, 2005)

MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations. - Andreas Seyfang; Silvia Miksch; Cristina Polo-Conde; Jolanda Wittenberg; Mar Marcos; Kitty Rosenbrand (AIME, 2005)

Bridging the Gap Between Informal and Formal Guideline Representations. - Andreas Seyfang; Silvia Miksch; Mar Marcos; Jolanda Wittenberg; Cristina Polo-Conde; Kitty Rosenbrand (ECAI, 2006)

Interactive Verification of Medical Guidelines. - Jonathan Schmitt; Alwin Hoffmann; Michael Balser; Wolfgang Reif; Mar Marcos (FM, 2006)

Improving medical protocols by formal methods. - Annette ten Teije; Mar Marcos; Michael Balser; Joyce van Croonenborg; Christoph Duelli; Frank van Harmelen; Peter J. F. Lucas; Silvia Miksch; Wolfgang Reif; Kitty Rosenbrand; Andreas Seyfang (Artif. Intell. Medicine, 2006)

Maintaining Formal Models of Living Guidelines Efficiently. - Andreas Seyfang; Begoña Martínez-Salvador; Radu Serban; Jolanda Wittenberg; Silvia Miksch; Mar Marcos; Annette ten Teije; Kitty Rosenbrand (AIME, 2007)

Extraction and use of linguistic patterns for modelling medical guidelines. - Radu Serban; Annette ten Teije; Frank van Harmelen; Mar Marcos; Cristina Polo-Conde (Artif. Intell. Medicine, 2007)

A Constraint-based Approach to Medical Guidelines and Protocols. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Mar Marcos; Begoña Martínez-Salvador (Computer-based Medical Guidelines and Protocols, 2008)

Experiences in the Development of Electronic Care Plans for the Management of Comorbidities. - Esther Lozano; Mar Marcos; Begoña Martínez-Salvador; Albert Alonso; Josep Ramon Alonso 001 (KR4HC, 2009)

Towards the Interoperability of Computerised Guidelines and Electronic Health Records: An Experiment with openEHR Archetypes and a Chronic Heart Failure Guideline. - Mar Marcos; Begoña Martínez-Salvador (KR4HC, 2010)

An Archetype-Based Solution for the Interoperability of Computerised Guidelines and Electronic Health Records. - Mar Marcos; José Alberto Maldonado; Begoña Martínez-Salvador; David Moner; Diego Boscá; Montserrat Robles (AIME, 2011)

Interoperability of clinical decision-support systems and electronic health records using archetypes: A case study in clinical trial eligibility. - Mar Marcos; José Alberto Maldonado; Begoña Martínez-Salvador; Diego Boscá; Montserrat Robles (J. Biomed. Informatics, 2013)

Assessment of Clinical Guideline Models Based on Metrics for Business Process Models. - Mar Marcos; Joaquín Torres-Sospedra; Begoña Martínez-Salvador (KR4HC@VSL, 2014)

An Algorithm for Guideline Transformation: From BPMN to PROforma. - Begoña Martínez-Salvador; Mar Marcos; Anderson Sánchez (KR4HC@VSL, 2014)

An Algorithm for Guideline Transformation: From BPMN to SDA. - Begoña Martínez-Salvador; Mar Marcos; David Riaño 001 (EUSPN/ICTH, 2015)

A platform for exploration into chaining of web services for clinical data transformation and reasoning. - José Alberto Maldonado; Mar Marcos; Jesualdo Tomás Fernández-Breis; Estibaliz Parcero; Diego Boscá; María Del Carmen Legaz-García; Begoña Martínez-Salvador; Montserrat Robles (AMIA, 2016)

Using SNOMED CT Expression Constraints to Bridge the Gap Between Clinical Decision-Support Systems and Electronic Health Records. - Begoña Martínez-Salvador; Mar Marcos; Alejandro Mañas; José Alberto Maldonado; Montserrat Robles (MIE, 2016)

Supporting the Refinement of Clinical Process Models to Computer-Interpretable Guideline Models. - Begoña Martínez-Salvador; Mar Marcos (Bus. Inf. Syst. Eng., 2016)

Analysis of the process of representing clinical statements for decision-support applications: a comparison of openEHR archetypes and HL7 virtual medical record. - Arturo González-Ferrer; Mor Peleg; Mar Marcos; José Alberto Maldonado (J. Medical Syst., 2016)

Leveraging workflow control patterns in the domain of clinical practice guidelines. - Katharina Kaiser; Mar Marcos (BMC Medical Informatics Decis. Mak., 2016)

Towards the semantic enrichment of Computer Interpretable Guidelines: a method for the identification of relevant ontological terms. - Manuel Quesada-Martínez; Mar Marcos; Francisco Abad Navarro; Begoña Martínez-Salvador; Jesualdo Tomás Fernández-Breis (AMIA, 2018)

A Practical Exercise on Re-engineering Clinical Guideline Models Using Different Representation Languages. - Mar Marcos; Cristina Campos; Begoña Martínez-Salvador (KR4HC/ProHealth/TEAAM@AIME, 2019)

Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare. - Roberto Gatta; Mauro Vallati; Carlos Fernández-Llatas; Antonio Martinez-Millana; Stefania Orini; Lucia Sacchi; Jacopo Lenkowicz; Mar Marcos; Jorge Munoz-Gama; Michel A. Cuendet; Berardino De Bari; Luis Marco-Ruiz; et al. (Business Process Management Workshops, 2019)

CLIN-IK-LINKS: A platform for the design and execution of clinical data transformation and reasoning workflows. - José Alberto Maldonado; Mar Marcos; Jesualdo Tomás Fernández-Breis; Vicente Miguel Giménez-Solano; María Del Carmen Legaz-García; Begoña Martínez-Salvador (Comput. Methods Programs Biomed., 2020)

A Meta-model for the Guideline Definition Language. - Reyes Grangel; Cristina Campos; Begoña Martínez-Salvador; Mar Marcos (ICSOFT, 2021)

Process mining for healthcare: Characteristics and challenges. - Jorge Munoz-Gama; Niels Martin; Carlos Fernández-Llatas; Owen A. Johnson; Marcos Sepúlveda; Emmanuel Helm; Victor Galvez-Yanjari; Eric Rojas 001; Antonio Martinez-Millana; Davide Aloini; Ilaria Angela Amantea; Robert Andrews 001; et al. (J. Biomed. Informatics, 2022)

Radiological Structured Report Integrated with Quantitative Imaging Biomarkers and Qualitative Scoring Systems. - Alejandro Mañas-García; Ismael González-Valverde; E. Camacho-Ramos; Angel Alberich-Bayarri; José Alberto Maldonado; Mar Marcos; Montserrat Robles (J. Digit. Imaging, 2022)

Ontology Model for Supporting Process Mining on Healthcare-Related Data. - José Antonio Miñarro-Giménez; Carlos Fernández-Llatas; Begoña Martínez-Salvador; Catalina Martínez-Costa; Mar Marcos; Jesualdo Tomás Fernández-Breis (AIME, 2023)

A model-driven transformation approach for the modelling of processes in clinical practice guidelines. - Begoña Martínez-Salvador; Mar Marcos; Patricia Palau; Eloy Domínguez Mafé (Artif. Intell. Medicine, 2023)

A community-of-practice-based evaluation methodology for knowledge intensive computational methods and its application to multimorbidity decision support. - William Van Woensel; Samson W. Tu; Wojtek Michalowski; Syed Sibte Raza Abidi; Samina Abidi; José Ramón Alonso 001; Alessio Bottrighi; Marc Carrier; Ruth Edry; Irit Hochberg; Malvika Rao; Stephen P. Kingwell; et al. (J. Biomed. Informatics, 2023)

In Memoriam David Riaño, 1968-2022. - Annette ten Teije; Mar Marcos; Jose M. Juarez (Artif. Intell. Medicine, 2023)

Structural and Semantic Enrichment of Models for the Interactive Discovery of Clinical Processes. - Jose-Luis Bayo-Monton; Begoña Martínez-Salvador; Carlos Fernández-Llatas; Mar Marcos (ICPM Workshops, 2024)

A declarative approach for interactive process discovery in the clinical domain. - Carlos Fernández-Llatas; Begoña Martínez-Salvador; Mar Marcos (J. Biomed. Informatics, 2025)