ALBERTO
GIL SOLLA
CATEDRATICO/A UNIVERSIDADE - TEMPO COMPLETO
Ana Belén
Barragáns Martínez
Publications by the researcher in collaboration with Ana Belén Barragáns Martínez (4)
2005
-
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
-
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
-
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
-
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