Mar Marcos

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

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

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

Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde: Extraction and use of linguistic patterns for modelling medical guidelines. Artificial Intelligence in Medicine 39(2): 137-149 (2007)

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

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: Improving medical protocols by formal methods. Artificial Intelligence in Medicine 36(3): 193-209 (2006)

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

Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos: Interactive Verification of Medical Guidelines. FM 2006: 32-47

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

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

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

Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde: Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. BNAIC 2005: 381-382

Mar Marcos: 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. Artificial Intelligence in Medicine 27(1): 103-106 (2003)

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

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

Andreas Seyfang, Silvia Miksch, Mar Marcos: Combining diagnosis and treatment using ASBRU. I. J. Medical Informatics 68(1-3): 49-57 (2002)

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

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

Mar Marcos, Angel P. Del Pobil, Sabine Moisan: Model-based verification of knowledge-based systems: a case study. IEE Proceedings - Software 147(5): 163-167 (2000)

Mar Marcos, Sabine Moisan, Angel P. Del Pobil: Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification. Appl. Intell. 10(2-3): 185-196 (1999)

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

Mar Marcos, Sabine Moisan, Angel P. Del Pobil: A Model-based Approach to the Verification of Program Supervision Systems. EUROVAV 1997: 231-241