Search the dblp DataBase
Mar Marcos :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marije Geldof , Annette ten Teije , Frank van Harmelen , Mar Marcos , Peter Votruba Informal and Formal Medical Guidelines: Bridging the Gap. [Citation Graph (0, 0)][DBLP ] AIME, 2003, pp:173-178 [Conf ] Mar Marcos , Geert Berger , Frank van Harmelen , Annette ten Teije , Hugo Roomans , Silvia Miksch Using Critiquing for Improving Medical Protocols: Harder than It Seems. [Citation Graph (0, 0)][DBLP ] AIME, 2001, pp:431-441 [Conf ] Mar Marcos , Michael Balser , Annette ten Teije , Frank van Harmelen , Christoph Duelli Experiences in the Formalisation and Verification of Medical Protocols. [Citation Graph (0, 0)][DBLP ] AIME, 2003, pp:132-141 [Conf ] Radu Serban , Annette ten Teije , Frank van Harmelen , Mar Marcos , Cristina Polo-Conde Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. [Citation Graph (0, 0)][DBLP ] AIME, 2005, pp:191-200 [Conf ] Radu Serban , Annette ten Teije , Mar Marcos , Cristina Polo-Conde , Kitty Rosenbrand , Jolanda Wittenberg , Joyce van Croonenborg Design Patterns for Modelling Guidelines. [Citation Graph (0, 0)][DBLP ] AIME, 2005, pp:121-125 [Conf ] Andreas Seyfang , Silvia Miksch , Cristina Polo-Conde , Jolanda Wittenberg , Mar Marcos , Kitty Rosenbrand MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations. [Citation Graph (0, 0)][DBLP ] AIME, 2005, pp:146-150 [Conf ] Radu Serban , Annette ten Teije , Frank van Harmelen , Mar Marcos , Cristina Polo-Conde Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:381-382 [Conf ] Andreas Seyfang , Silvia Miksch , Mar Marcos , Jolanda Wittenberg , Cristina Polo-Conde , Kitty Rosenbrand Bridging the Gap Between Informal and Formal Guideline Representations. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:447-451 [Conf ] Mar Marcos , Michael Balser , Annette ten Teije , Frank van Harmelen From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. [Citation Graph (0, 0)][DBLP ] EKAW, 2002, pp:49-64 [Conf ] Mar Marcos , Sabine Moisan , Angel P. Del Pobil A Model-based Approach to the Verification of Program Supervision Systems. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1997, pp:231-241 [Conf ] Jonathan Schmitt , Alwin Hoffmann , Michael Balser , Wolfgang Reif , Mar Marcos Interactive Verification of Medical Guidelines. [Citation Graph (0, 0)][DBLP ] FM, 2006, pp:32-47 [Conf ] Mar Marcos , Sabine Moisan , Angel P. Del Pobil Knowledge Modeling of Program Supervision Task. [Citation Graph (0, 0)][DBLP ] IEA/AIE (Vol. 1), 1998, pp:124-133 [Conf ] Mar Marcos , Sabine Moisan , Angel P. Del Pobil Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 1999, v:10, n:2-3, pp:185-196 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Artificial Intelligence in Medicine, 2003, v:27, n:1, pp:103-106 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Artificial Intelligence in Medicine, 2006, v:36, n:3, pp:193-209 [Journal ] Mar Marcos , Angel P. Del Pobil , Sabine Moisan Model-based verification of knowledge-based systems: a case study. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 2000, v:147, n:5, pp:163-167 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] AIME, 2007, pp:441-445 [Conf ] Experiences in the Development of Electronic Care Plans for the Management of Comorbidities. [Citation Graph (, )][DBLP ] Extraction and use of linguistic patterns for modelling medical guidelines. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs