dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mar Marcos Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar 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
2010
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar 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
2009
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEsther 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
2007
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu 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)
2006
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos: Interactive Verification of Medical Guidelines. FM 2006: 32-47
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnette 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)
2005
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu 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
2003
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli: Experiences in the Formalisation and Verification of Medical Protocols. AIME 2003: 132-141
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba: Informal and Formal Medical Guidelines: Bridging the Gap. AIME 2003: 173-178
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar 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)
2002
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Seyfang, Silvia Miksch, Mar Marcos: Combining diagnosis and treatment using ASBRU. I. J. Medical Informatics 68(1-3): 49-57 (2002)
2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar 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
2000
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar 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)
1999
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar 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)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar Marcos, Sabine Moisan, Angel P. Del Pobil: Knowledge Modeling of Program Supervision Task. IEA/AIE (Vol. 1) 1998: 124-133
1997
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMar Marcos, Sabine Moisan, Angel P. Del Pobil: A Model-based Approach to the Verification of Program Supervision Systems. EUROVAV 1997: 231-241

Coauthor Index

1Albert Alonso [20]
2Josep Ramon Alonso [20]
3Michael Balser [7] [10] [15] [16]
4Geert Berger [5]
5Diego Boscá [22]
6Joyce van Croonenborg [14] [15]
7Christoph Duelli [10] [15]
8Marije Geldof [9]
9Frank van Harmelen [5] [7] [9] [10] [11] [12] [15] [18]
10Alwin Hoffmann [16]
11Esther Lozano [20]
12Peter J. F. Lucas [15]
13José Alberto Maldonado [22]
14Begoña Martínez-Salvador [19] [20] [21] [22]
15Silvia Miksch [5] [6] [13] [15] [17] [19]
16Sabine Moisan [1] [2] [3] [4]
17David Moner [22]
18Angel P. Del Pobil (Angel Pasqual del Pobil) [1] [2] [3] [4]
19Cristina Polo-Conde [11] [12] [13] [14] [17] [18]
20Wolfgang Reif [15] [16]
21Montserrat Robles [22]
22Hugo Roomans [5]
23Kitty Rosenbrand [13] [14] [15] [17] [19]
24Jonathan Schmitt [16]
25Radu Serban [11] [12] [14] [18] [19]
26Andreas Seyfang [6] [13] [15] [17] [19]
27Annette ten Teije [5] [7] [9] [10] [11] [12] [14] [15] [18] [19]
28Peter Votruba [9]
29Jolanda Wittenberg [13] [14] [17] [19]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page