Mar Marcos

2007
18	EE	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
17	EE	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)
2006
16		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
15	EE	Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos: Interactive Verification of Medical Guidelines. FM 2006: 32-47
14	EE	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)
2005
13	EE	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
12	EE	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
11	EE	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
10		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
2003
9	EE	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
8	EE	Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba: Informal and Formal Medical Guidelines: Bridging the Gap. AIME 2003: 173-178
7		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)
2002
6	EE	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
2001
5	EE	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
2000
4		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)
1999
3		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)
1998
2		Mar Marcos, Sabine Moisan, Angel P. Del Pobil: Knowledge Modeling of Program Supervision Task. IEA/AIE (Vol. 1) 1998: 124-133
1997
1		Mar Marcos, Sabine Moisan, Angel P. Del Pobil: A Model-based Approach to the Verification of Program Supervision Systems. EUROVAV 1997: 231-241

Coauthor Index

1	Michael Balser	[6] [9] [14] [15]
2	Geert Berger	[5]
3	Joyce van Croonenborg	[13] [14]
4	Christoph Duelli	[9] [14]
5	Marije Geldof	[8]
6	Frank van Harmelen	[5] [6] [8] [9] [10] [11] [14] [17]
7	Alwin Hoffmann	[15]
8	Peter J. F. Lucas	[14]
9	Begoña Martínez-Salvador	[18]
10	Silvia Miksch	[5] [12] [14] [16] [18]
11	Sabine Moisan	[1] [2] [3] [4]
12	Angel P. Del Pobil	[1] [2] [3] [4]
13	Cristina Polo-Conde	[10] [11] [12] [13] [16] [17]
14	Wolfgang Reif	[14] [15]
15	Hugo Roomans	[5]
16	Kitty Rosenbrand	[12] [13] [14] [16] [18]
17	Jonathan Schmitt	[15]
18	Radu Serban	[10] [11] [13] [17] [18]
19	Andreas Seyfang	[12] [14] [16] [18]
20	Annette ten Teije	[5] [6] [8] [9] [10] [11] [13] [14] [17] [18]
21	Peter Votruba	[8]
22	Jolanda Wittenberg	[12] [13] [16] [18]