The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mar Marcos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  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. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 2006, v:36, n:3, pp:193-209 [Journal]
  16. 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]
  17. 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]

  18. Experiences in the Development of Electronic Care Plans for the Management of Comorbidities. [Citation Graph (, )][DBLP]


  19. Extraction and use of linguistic patterns for modelling medical guidelines. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002