 | 2010 |
|---|
| 46 |       | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Martín López Nores,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce.
Expert Syst. Appl. 37(1): 61-69 (2010) |
| 2009 |
|---|
| 45 | | Marta Rey-López,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study.
Computer Standards & Interfaces 31(2): 309-318 (2009) |
| 44 | | Martín López Nores,
Marta Rey-López,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Manuel Ramos Cabrer:
Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV.
Expert Syst. Appl. 36(3): 4192-4197 (2009) |
| 43 | | 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:
Procedures and Algorithms for Continuous Integration in an Agile Specification Environment.
International Journal of Software Engineering and Knowledge Engineering 19(1): 47-78 (2009) |
| 42 | | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Jorge García Duque,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
Receiver-side semantic reasoning for digital TV personalization in the absence of return channels.
Multimedia Tools Appl. 41(3): 407-436 (2009) |
| 2008 |
|---|
| 41 |  | 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 |
| 40 | | 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 |
| 39 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata.
SIGMAP 2008: 332-335 |
| 38 | | José J. Pazos Arias,
Martín López Nores,
Jorge García Duque,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Ana Fernández Vilas:
Provision of distance learning services over Interactive Digital TV with MHP.
Computers & Education 50(3): 927-949 (2008) |
| 37 | | Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Manuel Ramos Cabrer,
José J. Pazos Arias,
Jorge García Duque,
Alberto Gil-Solla:
Enhancing Residential Gateways: A Semantic OSGi Platform.
IEEE Intelligent Systems 23(1): 32-40 (2008) |
| 36 | | 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) |
| 35 | | 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) |
| 34 | | 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) |
| 33 | | 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) |
| 32 | | 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) |
| 31 | | 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) |
| 30 | | 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 |
|---|
| 29 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Marta Rey-López,
Esther Casquero-Villacorta:
Spontaneous and Personalized Advertising through Mpeg-7 Markup and Semantic Reasoning - Exploring New Ways for Publicity and Marketing over Interactive Digital TV.
SIGMAP 2007: 217-221 |
| 28 | | 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 |
|---|
| 27 | | 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 |
| 26 | | 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 |
| 25 | | 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 |
| 24 | | 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) |
| 23 | | 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) |
| 22 | | 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) |
| 21 | | 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) |
| 20 | | 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) |
| 19 | | 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 |
|---|
| 18 | | 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 |
| 17 | | 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 |
| 16 | | 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 |
| 15 | | 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) |
| 14 | | 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) |
| 13 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla:
Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage.
International Journal of Software Engineering and Knowledge Engineering 15(4): 607-646 (2005) |
| 2004 |
|---|
| 12 | | 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 |
| 11 | | 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 |
| 10 | | 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 |
| 9 | | Ana Fernández Vilas,
José J. Pazos Arias,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Jorge García Duque:
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.
IFM 2004: 382-401 |
| 8 | | 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 |
| 7 | | Ana Fernández Vilas,
José J. Pazos Arias,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Jorge García Duque,
Ana Belén Barragáns-Martínez:
Incremental specification with SCTL/MUS-T: a case study.
Journal of Systems and Software 70(1-2): 189-208 (2004) |
| 2003 |
|---|
| 6 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla:
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.
Ershov Memorial Conference 2003: 366-380 |
| 5 | | Alberto Gil-Solla,
José J. Pazos Arias,
Jorge García Duque,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Manuel Ramos Cabrer:
The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV.
ICWE 2003: 523-524 |
| 4 | | 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 |
| 2002 |
|---|
| 3 | | Ana Belén Barragáns-Martínez,
Jorge García Duque,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Requirements Specifications Evolution in a Multi-Perspective Environment.
COMPSAC 2002: 39-46 |
| 2 | | Jorge García Duque,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez:
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology.
RE 2002: 282-288 |
| 2001 |
|---|
| 1 | | José J. Pazos Arias,
Jorge García Duque:
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.
Formal Asp. Comput. 13(1): 50-91 (2001) |
