Mar Marcos

发表

Combining diagnosis and treatment using ASBRU

Silvia Miksch, Andreas Seyfang, Mar Marcos, 2002, Int. J. Medical Informatics.

Interoperability of clinical decision-support systems and electronic health records using archetypes: A case study in clinical trial eligibility

Diego Boscá, Mar Marcos, Montserrat Robles, 2013, J. Biomed. Informatics.

A Practical Exercise on Re-engineering Clinical Guideline Models Using Different Representation Languages

Mar Marcos, Cristina Campos, Begoña Martínez-Salvador, 2019, KR4HC/ProHealth/TEAAM@AIME.

Experiences in the Formalisation and Verification of Medical Protocols

Frank van Harmelen, Annette ten Teije, Mar Marcos, 2003, AIME.

Towards the semantic enrichment of Computer Interpretable Guidelines: a method for the identification of relevant ontological terms

Jesualdo Tomás Fernández-Breis, Mar Marcos, Manuel Quesada-Martínez, 2018, AMIA.

Supporting the Refinement of Clinical Process Models to Computer-Interpretable Guideline Models

Mar Marcos, Begoña Martínez-Salvador, 2016, Bus. Inf. Syst. Eng..

Model-based verification of knowledge-based systems: a case study

Sabine Moisan, Angel P. del Pobil, Mar Marcos, 2000, IEE Proc. Softw..

An Archetype-Based Solution for the Interoperability of Computerised Guidelines and Electronic Health Records

Diego Boscá, Mar Marcos, Montserrat Robles, 2011, AIME.

CLIN-IK-LINKS: A platform for the design and execution of clinical data transformation and reasoning workflows

Jesualdo Tomás Fernández-Breis, Mar Marcos, José Alberto Maldonado, 2020, Comput. Methods Programs Biomed..

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols

Frank van Harmelen, Annette ten Teije, Mar Marcos, 2002, EKAW.

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, 2010, KR4HC.

An Algorithm for Guideline Transformation: From BPMN to SDA

David Riaño, Mar Marcos, Begoña Martínez-Salvador, 2015, EUSPN/ICTH.

Leveraging workflow control patterns in the domain of clinical practice guidelines

Katharina Kaiser, Mar Marcos, K. Kaiser, 2015, BMC Medical Informatics and Decision Making.

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines

Frank van Harmelen, Annette ten Teije, Mar Marcos, 2005, BNAIC.

Improving medical protocols by formal methods

Frank van Harmelen, Silvia Miksch, Annette ten Teije, 2006, Artif. Intell. Medicine.

Analysis of the process of representing clinical statements for decision-support applications: a comparison of openEHR archetypes and HL7 virtual medical record

Mor Peleg, Mar Marcos, Arturo González-Ferrer, 2016, Journal of Medical Systems.

Book review: Safe and Sound: Artificial Intelligence in Hazardous Applications

Mar Marcos, 2003 .

Knowledge Modeling of Program Supervision Task

Sabine Moisan, Angel P. del Pobil, Mar Marcos, 1998, IEA/AIE.

Towards a Knowledge and Data-Driven Perspective in Medical Processes

Mar Marcos, Carlos Fernandez-Llatas, Mar Marcos, 2020 .

Extraction and use of linguistic patterns for modelling medical guidelines

Frank van Harmelen, Annette ten Teije, Mar Marcos, 2007, Artif. Intell. Medicine.

Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification

Sabine Moisan, Angel P. del Pobil, Mar Marcos, 2004, Applied Intelligence.

Maintaining Formal Models of Living Guidelines Efficiently

Silvia Miksch, Annette ten Teije, Andreas Seyfang, 2007, AIME.

Interactive Verification of Medical Guidelines

Mar Marcos, Wolfgang Reif, Michael Balser, 2006, FM.

An Algorithm for Guideline Transformation: From BPMN to PROforma

Mar Marcos, Begoña Martínez-Salvador, Anderson Sánchez, 2014, KR4HC@VSL.

Protocure: Supporting the Development of Medical Protocols through Formal Methods

Frank van Harmelen, Silvia Miksch, Annette ten Teije, 2004, CGP.

Combining Diagnosis and Treatment Using Asbru

Silvia Miksch, Andreas Seyfang, Mar Marcos, 2001, MedInfo.

Using Critiquing for Improving Medical Protocols: Harder than It Seems

Frank van Harmelen, Silvia Miksch, Annette ten Teije, 2001, AIME.

What Role Can Process Mining Play in Recurrent Clinical Guidelines Issues? A Position Paper

Erica Tavazzi, Niels Martin, Mar Marcos, 2020, International journal of environmental research and public health.

A platform for exploration into chaining of web services for clinical data transformation and reasoning

Diego Boscá, Jesualdo Tomás Fernández-Breis, Mar Marcos, 2016, AMIA.

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, 2003, Artif. Intell. Medicine.

Leveraging electronic healthcare record standards and semantic web technologies for the identification of patient cohorts.

Jesualdo Tomás Fernández-Breis, Mar Marcos, Montserrat Robles, 2013, Journal of the American Medical Informatics Association : JAMIA.

Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare

Mar Marcos, Mauro Vallati, Jorge Munoz-Gama, 2019, Business Process Management Workshops.

Experiences in the Development of Electronic Care Plans for the Management of Comorbidities

Mar Marcos, Albert Alonso, Begoña Martínez-Salvador, 2009, KR4HC.

A Model-based Approach to the Verification of Program Supervision Systems

Sabine Moisan, Angel P. del Pobil, Mar Marcos, 1997, EUROVAV.

Improving medical protocols through formalisation: a case study

Frank van Harmelen, Mar Marcos, Hugo Roomans, 2002 .

Assessment of Clinical Guideline Models Based on Metrics for Business Process Models

Mar Marcos, Joaquín Torres-Sospedra, Begoña Martínez-Salvador, 2014, KR4HC@VSL.

Assessment of MHB: an intermediate language for the representation of medical guidelines

Silvia Miksch, Andreas Seyfang, Mar Marcos, 2005 .

Informal and Formal Medical Guidelines: Bridging the Gap

Frank van Harmelen, Annette ten Teije, Mar Marcos, 2003, AIME.

Bridging the Gap Between Informal and Formal Guideline Representations

Silvia Miksch, Andreas Seyfang, Mar Marcos, 2006, ECAI.

A constraint-based approach to medical guidelines and protocols.

Peter J. F. Lucas, Mar Marcos, Arjen Hommersom, 2006 .

Using SNOMED CT Expression Constraints to Bridge the Gap Between Clinical Decision-Support Systems and Electronic Health Records

Mar Marcos, José Alberto Maldonado, Montserrat Robles, 2016, MIE.

MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations

Silvia Miksch, Andreas Seyfang, Mar Marcos, 2005, AIME.

Design Patterns for Modelling Guidelines

Annette ten Teije, Mar Marcos, Radu Serban, 2005, AIME.

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

Grzegorz J. Nalepa, Mor Peleg, Mar Marcos, 2019, KR4HC/ProHealth/TEAAM@AIME.

Process Model Metrics for Quality Assessment of Computer-Interpretable Guidelines in PROforma

Mar Marcos, Begoña Martínez-Salvador, Joaquín Torres-Sospedra, 2021, Applied Sciences.

A Meta-model for the Guideline Definition Language

Mar Marcos, Cristina Campos, Begoña Martínez-Salvador, 2021, ICSOFT.