Publicaciones en las que colabora con MARIA TERESA ALSINET BERNADO (2)

2003

  1. Automated monitoring of medical protocols: A secure and distributed architecture

    Artificial Intelligence in Medicine, Vol. 27, Núm. 3, pp. 367-392

2002

  1. Minimal and redundant SAT encodings for the all-interval-series problem

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)