Mar Marcos
Mar Marcos
Email verificata su uji.es
Titolo
Citata da
Citata da
Anno
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
1342006
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
1172013
Combining diagnosis and treatment using Asbru
A Seyfang, S Miksch, M Marcos
International Journal of Medical Informatics 68 (1-3), 49-57, 2002
712002
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
582013
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
582007
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
572006
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
332002
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
International Workshop on Knowledge Representation for Health Care, 101-113, 2010
322010
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
322001
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
222004
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
212007
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
212003
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á, ...
Conference on Artificial Intelligence in Medicine in Europe, 276-285, 2011
182011
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
International Workshop on Knowledge Representation for Health Care, 113-123, 2009
172009
Interactive verification of medical guidelines
J Schmitt, A Hoffmann, M Balser, W Reif, M Marcos
International Symposium on Formal Methods, 32-47, 2006
162006
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
132016
MHB–a many-headed bridge between informal and formal guideline representations
A Seyfang, S Miksch, C Polo-Conde, J Wittenberg, M Marcos, ...
Conference on Artificial Intelligence in Medicine in Europe, 146-150, 2005
132005
A constraint-based approach to medical guidelines and protocols
AJ Hommersom, PC Groot, PJF Lucas, M Marcos, B Martínez-Salvador
[Sl: sn], 2006
112006
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
102016
Supporting the refinement of clinical process models to computer-interpretable guideline models
B Martínez-Salvador, M Marcos
Business & Information Systems Engineering 58 (5), 355-366, 2016
82016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20