Mar Marcos

Orcid: 0000-0001-9672-4190

According to our database1, Mar Marcos authored at least 43 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
In Memoriam David Riaño, 1968-2022.
Artif. Intell. Medicine, September, 2023

A community-of-practice-based evaluation methodology for knowledge intensive computational methods and its application to multimorbidity decision support.
J. Biomed. Informatics, June, 2023

A model-driven transformation approach for the modelling of processes in clinical practice guidelines.
Artif. Intell. Medicine, March, 2023

Ontology Model for Supporting Process Mining on Healthcare-Related Data.
Proceedings of the Artificial Intelligence in Medicine, 2023

2022
Radiological Structured Report Integrated with Quantitative Imaging Biomarkers and Qualitative Scoring Systems.
J. Digit. Imaging, 2022

Process mining for healthcare: Characteristics and challenges.
J. Biomed. Informatics, 2022

2021
A Meta-model for the Guideline Definition Language.
Proceedings of the 16th International Conference on Software Technologies, 2021

2020
CLIN-IK-LINKS: A platform for the design and execution of clinical data transformation and reasoning workflows.
Comput. Methods Programs Biomed., 2020

2019
Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare.
Proceedings of the Business Process Management Workshops, 2019

A Practical Exercise on Re-engineering Clinical Guideline Models Using Different Representation Languages.
Proceedings of the Artificial Intelligence in Medicine: Knowledge Representation and Transparent and Explainable Systems, 2019

2018
Towards the semantic enrichment of Computer Interpretable Guidelines: a method for the identification of relevant ontological terms.
Proceedings of the AMIA 2018, 2018

2016
Leveraging workflow control patterns in the domain of clinical practice guidelines.
BMC Medical Informatics Decis. Mak., 2016

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., 2016

Supporting the Refinement of Clinical Process Models to Computer-Interpretable Guideline Models.
Bus. Inf. Syst. Eng., 2016

Using SNOMED CT Expression Constraints to Bridge the Gap Between Clinical Decision-Support Systems and Electronic Health Records.
Proceedings of the Exploring Complexity in Health: An Interdisciplinary Systems Approach - Proceedings of MIE2016 at HEC2016, Munich, Germany, 28 August, 2016

A platform for exploration into chaining of web services for clinical data transformation and reasoning.
Proceedings of the AMIA 2016, 2016

2015
An Algorithm for Guideline Transformation: From BPMN to SDA.
Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015

2014
An Algorithm for Guideline Transformation: From BPMN to PROforma.
Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

Assessment of Clinical Guideline Models Based on Metrics for Business Process Models.
Proceedings of the Knowledge Representation for Health Care - 6th International Workshop, 2014

2013
Interoperability of clinical decision-support systems and electronic health records using archetypes: A case study in clinical trial eligibility.
J. Biomed. Informatics, 2013

2011
An Archetype-Based Solution for the Interoperability of Computerised Guidelines and Electronic Health Records.
Proceedings of the Artificial Intelligence in Medicine, 2011

2010
Towards the Interoperability of Computerised Guidelines and Electronic Health Records: An Experiment with openEHR Archetypes and a Chronic Heart Failure Guideline.
Proceedings of the Knowledge Representation for Health-Care, 2010

2009
Experiences in the Development of Electronic Care Plans for the Management of Comorbidities.
Proceedings of the Knowledge Representation for Health-Care: Data, 2009

2008
A Constraint-based Approach to Medical Guidelines and Protocols.
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

2007
Extraction and use of linguistic patterns for modelling medical guidelines.
Artif. Intell. Medicine, 2007

Maintaining Formal Models of Living Guidelines Efficiently.
Proceedings of the Artificial Intelligence in Medicine, 2007

2006
Improving medical protocols by formal methods.
Artif. Intell. Medicine, 2006

Interactive Verification of Medical Guidelines.
Proceedings of the FM 2006: Formal Methods, 2006

Bridging the Gap Between Informal and Formal Guideline Representations.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005
MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations.
Proceedings of the Artificial Intelligence in Medicine, 2005

Design Patterns for Modelling Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines.
Proceedings of the Artificial Intelligence in Medicine, 2005

2004
Protocure: Supporting the Development of Medical Protocols through Formal Methods.
Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

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

Experiences in the Formalisation and Verification of Medical Protocols.
Proceedings of the Artificial Intelligence in Medicine, 2003

Informal and Formal Medical Guidelines: Bridging the Gap.
Proceedings of the Artificial Intelligence in Medicine, 2003

2002
Combining diagnosis and treatment using ASBRU.
Int. J. Medical Informatics, 2002

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.
Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

2001
Using Critiquing for Improving Medical Protocols: Harder than It Seems.
Proceedings of the Artificial Intelligence Medicine, 2001

2000
Model-based verification of knowledge-based systems: a case study.
IEE Proc. Softw., 2000

1999
Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification.
Appl. Intell., 1999

1998
Knowledge Modeling of Program Supervision Task.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

1997
A Model-based Approach to the Verification of Program Supervision Systems.
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, 1997


  Loading...