Mar Marcos

49 papers A 1B 12C 1Misc 2Journal 17Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
A declarative approach for interactive process discovery in the clinical domain.
J. Biomed. Informatics
Carlos Fernández-Llatas, Begoña Martínez-Salvador, Mar Marcos
2024 — conf
Structural and Semantic Enrichment of Models for the Interactive Discovery of Clinical Processes.
ICPM Workshops
Jose-Luis Bayo-Monton, Begoña Martínez-Salvador, Carlos Fernández-Llatas, Mar Marcos
2023 J jnl
A community-of-practice-based evaluation methodology for knowledge intensive computational methods and its application to multimorbidity decision support.
J. Biomed. Informatics
William Van Woensel, Samson W. Tu, Wojtek Michalowski, Syed Sibte Raza Abidi, Samina Abidi, José Ramón Alonso, Alessio Bottrighi, Marc Carrier, Ruth Edry, Irit Hochberg, Malvika Rao, Stephen P. Kingwell, Alexandra Kogan, Mar Marcos, Begoña Martínez-Salvador, Martin Michalowski, Luca Piovesan, David Riaño, Paolo Terenziani, Szymon Wilk, Mor Peleg
2023 J jnl
A model-driven transformation approach for the modelling of processes in clinical practice guidelines.
Artif. Intell. Medicine
Begoña Martínez-Salvador, Mar Marcos, Patricia Palau, Eloy Domínguez Mafé
2023 B ed.
Artificial Intelligence in Medicine - 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12-15, 2023, Proceedings
AIME
Jose M. Juarez, Mar Marcos, Gregor Stiglic, Allan Tucker
2023 J jnl
In Memoriam David Riaño, 1968-2022.
Artif. Intell. Medicine
Annette ten Teije, Mar Marcos, Jose M. Juarez
2023 B conf
Ontology Model for Supporting Process Mining on Healthcare-Related Data.
AIME
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
2022 J jnl
Process mining for healthcare: Characteristics and challenges.
J. Biomed. Informatics
Jorge Munoz-Gama, Niels Martin, Carlos Fernández-Llatas, Owen A. Johnson, Marcos Sepúlveda, Emmanuel Helm, Victor Galvez-Yanjari, Eric Rojas, Antonio Martinez-Millana, Davide Aloini, Ilaria Angela Amantea, Robert Andrews, Michael Arias, Iris Beerepoot, Elisabetta Benevento, Andrea Burattin, Daniel Capurro, Josep Carmona, Marco Comuzzi, Benjamin Dalmas, Rene de la Fuente, Chiara Di Francescomarino, Claudio Di Ciccio, Roberto Gatta, Chiara Ghidini, Fernanda Gonzalez-Lopez, Gema Ibáñez-Sánchez, Hilda B. Klasky, Angelina Prima Kurniati, Xixi Lu, Felix Mannhardt, Ronny Mans, Mar Marcos, Renata Medeiros de Carvalho, Marco Pegoraro, Simon K. Poon, Luise Pufahl, Hajo A. Reijers, Simon Remy, Stefanie Rinderle-Ma, Lucia Sacchi, Fernando Seoane, Minseok Song, Alessandro Stefanini, Emilio Sulis, Arthur H. M. ter Hofstede, Pieter J. Toussaint, Vicente Traver, Zoe Valero-Ramon, Inge van de Weerd, Wil M. P. van der Aalst, Rob J. B. Vanwersch, Mathias Weske, Moe Thandar Wynn, Francesca Zerbato
2022 J jnl
Radiological Structured Report Integrated with Quantitative Imaging Biomarkers and Qualitative Scoring Systems.
J. Digit. Imaging
Alejandro Mañas-García, Ismael González-Valverde, E. Camacho-Ramos, Angel Alberich-Bayarri, José Alberto Maldonado, Mar Marcos, Montserrat Robles
2021 C conf
A Meta-model for the Guideline Definition Language.
ICSOFT
Reyes Grangel, Cristina Campos, Begoña Martínez-Salvador, Mar Marcos
2020 J jnl
CLIN-IK-LINKS: A platform for the design and execution of clinical data transformation and reasoning workflows.
Comput. Methods Programs Biomed.
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
2019 — conf
A Practical Exercise on Re-engineering Clinical Guideline Models Using Different Representation Languages.
KR4HC/ProHealth/TEAAM@AIME
Mar Marcos, Cristina Campos, Begoña Martínez-Salvador
2019 — ed.
Artificial Intelligence in Medicine: Knowledge Representation and Transparent and Explainable Systems - AIME 2019 International Workshops, KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26-29, 2019, Revised Selected Papers
KR4HC/ProHealth/TEAAM@AIME
Mar Marcos, Jose M. Juarez, Richard Lenz, Grzegorz J. Nalepa, Slawomir Nowaczyk, Mor Peleg, Jerzy Stefanowski, Gregor Stiglic
2019 — conf
Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare.
Business Process Management Workshops
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, Alessandro Stefanini, Maurizio Castellano
2018 Misc conf
Towards the semantic enrichment of Computer Interpretable Guidelines: a method for the identification of relevant ontological terms.
AMIA
Manuel Quesada-Martínez, Mar Marcos, Francisco Abad Navarro, Begoña Martínez-Salvador, Jesualdo Tomás Fernández-Breis
2016 Misc conf
A platform for exploration into chaining of web services for clinical data transformation and reasoning.
AMIA
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
2016 J jnl
Analysis of the process of representing clinical statements for decision-support applications: a comparison of openEHR archetypes and HL7 virtual medical record.
J. Medical Syst.
Arturo González-Ferrer, Mor Peleg, Mar Marcos, José Alberto Maldonado
2016 J jnl
Leveraging workflow control patterns in the domain of clinical practice guidelines.
BMC Medical Informatics Decis. Mak.
Katharina Kaiser, Mar Marcos
2016 J jnl
Supporting the Refinement of Clinical Process Models to Computer-Interpretable Guideline Models.
Bus. Inf. Syst. Eng.
Begoña Martínez-Salvador, Mar Marcos
2016 — conf
Using SNOMED CT Expression Constraints to Bridge the Gap Between Clinical Decision-Support Systems and Electronic Health Records.
MIE
Begoña Martínez-Salvador, Mar Marcos, Alejandro Mañas, José Alberto Maldonado, Montserrat Robles
2015 — conf
An Algorithm for Guideline Transformation: From BPMN to SDA.
EUSPN/ICTH
Begoña Martínez-Salvador, Mar Marcos, David Riaño
2014 — conf
An Algorithm for Guideline Transformation: From BPMN to PROforma.
KR4HC@VSL
Begoña Martínez-Salvador, Mar Marcos, Anderson Sánchez
2014 — conf
Assessment of Clinical Guideline Models Based on Metrics for Business Process Models.
KR4HC@VSL
Mar Marcos, Joaquín Torres-Sospedra, Begoña Martínez-Salvador
2013 J jnl
Interoperability of clinical decision-support systems and electronic health records using archetypes: A case study in clinical trial eligibility.
J. Biomed. Informatics
Mar Marcos, José Alberto Maldonado, Begoña Martínez-Salvador, Diego Boscá, Montserrat Robles
2011 B conf
An Archetype-Based Solution for the Interoperability of Computerised Guidelines and Electronic Health Records.
AIME
Mar Marcos, José Alberto Maldonado, Begoña Martínez-Salvador, David Moner, Diego Boscá, Montserrat Robles
2010 — conf
Towards the Interoperability of Computerised Guidelines and Electronic Health Records: An Experiment with openEHR Archetypes and a Chronic Heart Failure Guideline.
KR4HC
Mar Marcos, Begoña Martínez-Salvador
2009 — conf
Experiences in the Development of Electronic Care Plans for the Management of Comorbidities.
KR4HC
Esther Lozano, Mar Marcos, Begoña Martínez-Salvador, Albert Alonso, Josep Ramon Alonso
2008 — ch.
A Constraint-based Approach to Medical Guidelines and Protocols.
Computer-based Medical Guidelines and Protocols
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Mar Marcos, Begoña Martínez-Salvador
2007 J jnl
Extraction and use of linguistic patterns for modelling medical guidelines.
Artif. Intell. Medicine
Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde
2007 B conf
Maintaining Formal Models of Living Guidelines Efficiently.
AIME
Andreas Seyfang, Begoña Martínez-Salvador, Radu Serban, Jolanda Wittenberg, Silvia Miksch, Mar Marcos, Annette ten Teije, Kitty Rosenbrand
2006 A conf
Bridging the Gap Between Informal and Formal Guideline Representations.
ECAI
Andreas Seyfang, Silvia Miksch, Mar Marcos, Jolanda Wittenberg, Cristina Polo-Conde, Kitty Rosenbrand
2006 J jnl
Improving medical protocols by formal methods.
Artif. Intell. Medicine
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
2006 B conf
Interactive Verification of Medical Guidelines.
FM
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
2005 B conf
Design Patterns for Modelling Guidelines.
AIME
Radu Serban, Annette ten Teije, Mar Marcos, Cristina Polo-Conde, Kitty Rosenbrand, Jolanda Wittenberg, Joyce van Croonenborg
2005 B conf
MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations.
AIME
Andreas Seyfang, Silvia Miksch, Cristina Polo-Conde, Jolanda Wittenberg, Mar Marcos, Kitty Rosenbrand
2005 B conf
Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines.
AIME
Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde
2005 — conf
Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines.
BNAIC
Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde
2004 — conf
Protocure: Supporting the Development of Medical Protocols through Formal Methods.
CGP
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, Annette ten Teije
2003 B conf
Experiences in the Formalisation and Verification of Medical Protocols.
AIME
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli
2003 B conf
Informal and Formal Medical Guidelines: Bridging the Gap.
AIME
Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba
2003 J jnl
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.
Artif. Intell. Medicine
Mar Marcos
2002 J jnl
Combining diagnosis and treatment using ASBRU.
Int. J. Medical Informatics
Andreas Seyfang, Silvia Miksch, Mar Marcos
2002 B conf
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.
EKAW
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen
2001 — conf
Combining Diagnosis and Treatment Using Asbru.
MedInfo
Andreas Seyfang, Silvia Miksch, Mar Marcos
2001 B conf
Using Critiquing for Improving Medical Protocols: Harder than It Seems.
AIME
Mar Marcos, Geert Berger, Frank van Harmelen, Annette ten Teije, Hugo Roomans, Silvia Miksch
2000 J jnl
Model-based verification of knowledge-based systems: a case study.
IEE Proc. Softw.
Mar Marcos, Angel P. del Pobil, Sabine Moisan
1999 J jnl
Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification.
Appl. Intell.
Mar Marcos, Sabine Moisan, Angel P. del Pobil
1998 — conf
Knowledge Modeling of Program Supervision Task.
IEA/AIE (Vol. 1)
Mar Marcos, Sabine Moisan, Angel P. del Pobil
1997 — conf
A Model-based Approach to the Verification of Program Supervision Systems.
EUROVAV
Mar Marcos, Sabine Moisan, Angel P. del Pobil