 | 2012 |
|---|
| 58 |       | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Jorge García Duque:
The iCabiNET system: Harnessing Electronic Health Record standards from domestic and mobile devices to support better medication adherence.
Computer Standards & Interfaces 34(1): 109-116 (2012) |
| 57 | | Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Jorge García Duque:
Bringing Content Awareness to Web-Based IDTV Advertising.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(3): 324-333 (2012) |
| 2011 |
|---|
| 56 | | Yolanda Blanco-Fernández,
Martín López Nores,
José J. Pazos Arias,
Jorge García Duque:
An improvement for semantics-based recommender systems grounded on attaching temporal information to ontologies and user profiles.
Eng. Appl. of AI 24(8): 1385-1397 (2011) |
| 55 | | José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Jorge García Duque:
Making the most of TV on the move: My newschannel.
Inf. Sci. 181(4): 855-868 (2011) |
| 54 | | Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Marta Rey-López,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Jorge García Duque:
TVGuide2.0: applying the Web2.0 fundamentals to IDTV.
Multimedia Tools Appl. 53(1): 151-179 (2011) |
| 2010 |
|---|
| 53 | | Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Jorge García Duque:
T-learning in Telecommunication Engineering: The Value of Interactive Digital TV in the European Higher Education Area.
ICALT 2010: 624-626 |
| 52 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks.
Computer Communications 33(7): 860-867 (2010) |
| 51 | | 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) |
| 50 | | Marta Rey-López,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Martín López Nores,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Jorge García Duque:
Enhancing TV programmes with additional contents using MPEG-7 segmentation information.
Expert Syst. Appl. 37(2): 1124-1133 (2010) |
| 49 | | Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Jorge García Duque:
Context-aware personalization services for a residential gateway based on the OSGi platform.
Expert Syst. Appl. 37(9): 6538-6546 (2010) |
| 48 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Manuela I. Martín-Vicente,
Ana Fernández Vilas,
Manuel Ramos Cabrer,
Alberto Gil-Solla:
MiSPOT: dynamic product placement for digital TV through MPEG-4 processing and semantic reasoning.
Knowl. Inf. Syst. 22(1): 101-128 (2010) |
| 2009 |
|---|
| 47 | | 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) |
| 46 | | 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) |
| 45 | | 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) |
| 44 | | Martín López Nores,
Jorge García Duque,
José J. Pazos Arias,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks.
J. Network and Computer Applications 32(6): 1194-1209 (2009) |
| 43 | | 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) |
| 42 | | Jorge García Duque,
José J. Pazos Arias,
Martín López Nores,
Yolanda Blanco-Fernández,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Manuel Ramos Cabrer,
Alberto Gil-Solla:
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.
Requir. Eng. 14(3): 129-153 (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) |
Data released under the ODC-BY 1.0 license — See also our legal information page