Mar Marcos

	2007
19		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
18		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
17		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
16		Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos: Interactive Verification of Medical Guidelines. FM 2006: 32-47
15		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
14		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
13		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
12		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
11		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
10		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
9		Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba: Informal and Formal Medical Guidelines: Bridging the Gap. AIME 2003: 173-178
8		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
7		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
6		Andreas Seyfang, Silvia Miksch, Mar Marcos: Combining diagnosis and treatment using ASBRU. I. J. Medical Informatics 68(1-3): 49-57 (2002)
	2001
5		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	[7] [10] [15] [16]
2	Geert Berger	[5]
3	Joyce van Croonenborg	[14] [15]
4	Christoph Duelli	[10] [15]
5	Marije Geldof	[9]
6	Frank van Harmelen	[5] [7] [9] [10] [11] [12] [15] [18]
7	Alwin Hoffmann	[16]
8	Peter J. F. Lucas	[15]
9	Begoña Martínez-Salvador	[19]
10	Silvia Miksch	[5] [6] [13] [15] [17] [19]
11	Sabine Moisan	[1] [2] [3] [4]
12	Angel P. Del Pobil	[1] [2] [3] [4]
13	Cristina Polo-Conde	[11] [12] [13] [14] [17] [18]
14	Wolfgang Reif	[15] [16]
15	Hugo Roomans	[5]
16	Kitty Rosenbrand	[13] [14] [15] [17] [19]
17	Jonathan Schmitt	[16]
18	Radu Serban	[11] [12] [14] [18] [19]
19	Andreas Seyfang	[6] [13] [15] [17] [19]
20	Annette ten Teije	[5] [7] [9] [10] [11] [12] [14] [15] [18] [19]
21	Peter Votruba	[9]
22	Jolanda Wittenberg	[13] [14] [17] [19]