2008 |
34 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
Semantic Reasoning: A Path to New Possibilities of Personalization.
ESWC 2008: 720-735 |
33 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
ZapTV: Personalized User-Generated Content for Handheld Devices in DVB-H Mobile Networks.
EuroITV 2008: 193-203 |
32 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández:
A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System.
HEALTHINF (2) 2008: 167-172 |
31 | EE | Martín López Nores,
José J. Pazos Arias,
Yolanda Blanco-Fernández,
Jorge García Duque,
Ricardo Tubio-Pardavila,
Esther Casquero-Villacorta:
MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs.
ICALT 2008: 617-619 |
30 | EE | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.
Information & Software Technology 50(4): 296-321 (2008) |
29 | EE | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
Composing Multi-Perspective Software Requirements Specifications.
International Journal of Software Engineering and Knowledge Engineering 18(1): 119-153 (2008) |
28 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study.
Journal of Systems and Software 81(12): 2371-2385 (2008) |
27 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems.
Knowl.-Based Syst. 21(4): 305-320 (2008) |
26 | EE | Marta Rey-López,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias,
Martín López Nores,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning.
Multimedia Tools Appl. 40(3): 409-451 (2008) |
25 | EE | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
Composing requirements specifications from multiple prioritized sources.
Requir. Eng. 13(3): 187-206 (2008) |
24 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
An MHP framework to provide intelligent personalized recommendations about digital TV contents.
Softw., Pract. Exper. 38(9): 925-960 (2008) |
2007 |
23 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
How to Overcome Stumbling Blocks of Traditional Personalization Paradigms.
MTSR 2007: 527-536 |
22 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
Avatar: Enhancing the Personalized Television by Semantic Inference.
IJPRAI 21(2): 397-421 (2007) |
2006 |
21 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Ana Belén Barragáns-Martínez:
An Agile Approach to Support Incremental Development of Requirements Specifications.
ASWEC 2006: 9-18 |
20 | EE | Martín López Nores,
Jorge García Duque,
José J. Pazos Arias:
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.
COORDINATION 2006: 164-178 |
19 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla:
A Core of Standards to Support T-learning.
ICALT 2006: 13-15 |
18 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Bringing the Agile Philosophy to Formal Specification Settings.
International Journal of Software Engineering and Knowledge Engineering 16(6): 951-986 (2006) |
17 | EE | Jorge García Duque,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer:
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
J. Log. Comput. 16(2): 227-255 (2006) |
16 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning.
Journal of Systems and Software 79(8): 1141-1155 (2006) |
15 | EE | Jorge García Duque,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Yolanda Blanco-Fernández:
Guidelines for the incremental identification of aspects in requirements specifications.
Requir. Eng. 11(4): 239-263 (2006) |
14 | EE | Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Manuel Ramos Cabrer,
José J. Pazos Arias,
Alberto Gil-Solla,
Jorge García Duque,
Martín López Nores,
Yolanda Blanco-Fernández:
MHP-OSGi convergence: a new model for open residential gateways.
Softw., Pract. Exper. 36(13): 1421-1442 (2006) |
13 | EE | José J. Pazos Arias,
Martín López Nores,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Yolanda Blanco-Fernández,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
ATLAS: a framework to provide multiuser and distributed t-learning services over MHP.
Softw., Pract. Exper. 36(8): 845-869 (2006) |
2005 |
12 | EE | Ana Fernández Vilas,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez,
Martín López Nores,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Jorge García Duque,
Manuel Ramos Cabrer:
Multi-valued Model Checking in Dense-Time.
ECSQARU 2005: 638-649 |
11 | EE | Andrés Elexpuru Eguia,
Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home.
EEE 2005: 588-591 |
10 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Ana Belén Barragáns-Martínez:
AVATAR: A Multi-Agent TV Recommender System using MHP Applications.
EEE 2005: 660-665 |
9 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Ana Belén Barragáns-Martínez,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Tracing Integration Analysis in Component-Based Formal Specifications.
FMOODS 2005: 147-162 |
8 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Martín López Nores,
Ana Belén Barragáns-Martínez:
AVATAR: an approach based on semantic reasoning to recommend personalized TV programs.
WWW (Special interest tracks and posters) 2005: 1078-1079 |
7 | EE | José J. Pazos Arias,
Jorge García Duque,
Martín López Nores:
Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
6 | EE | José J. Pazos Arias,
Jorge García Duque,
Martín López Nores:
Locating crosscutting concerns in the formal specification of distributed reactive systems.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
2004 |
5 | EE | Martín López Nores,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Jorge García Duque:
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.
APSEC 2004: 38-45 |
4 | EE | Rebeca P. Díaz Redondo,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla,
Ana Belén Barragáns-Martínez,
Manuel Ramos Cabrer:
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.
ICSR 2004: 1-10 |
3 | EE | Martín López Nores,
Yolanda Blanco-Fernández,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Alberto Gil-Solla,
Jorge García Duque,
Ana Belén Barragáns-Martínez,
Manuel Ramos Cabrer:
Technologies to Support Collaborative Learning over the Multimedia Home Platform.
ICWL 2004: 83-90 |
2 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Ana Belén Barragáns-Martínez,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning.
WISE 2004: 415-421 |
2003 |
1 | EE | Martín López Nores,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
José J. Pazos Arias,
Manuel Ramos Cabrer,
Jorge García Duque:
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform.
MIPS 2003: 376-387 |