Publicacións nas que colabora con Ana Belén Barragáns Martínez (4)

2005

  1. AVATAR: A multi-agent TV recommender system using MHP applications

    Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05

  2. Multi-valued model checking in dense-time

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2000

  1. Modelo de reutilización de requisitos funcionales utilizando técnicas formales

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

  2. Verificación de requisitos de tiempo críticos sobre sistemas incompletos

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000