SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. - José Juan Pazos-Arias; Jorge García Duque (Formal Aspects Comput., 2001)

Requirements Specifications Evolution in a Multi-Perspective Environment. - Ana Belén Barragáns-Martínez; Jorge García Duque; José Juan Pazos-Arias; Ana Fernández Vilas; Rebeca P. Díaz Redondo (COMPSAC, 2002)

An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology. - Jorge García Duque; José Juan Pazos-Arias; Ana Belén Barragáns-Martínez (RE, 2002)

Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. - Rebeca P. Díaz Redondo; José Juan Pazos-Arias; Ana Fernández Vilas; Jorge García Duque; Alberto Gil-Solla (Ershov Memorial Conference, 2003)

The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV. - Alberto Gil-Solla; José Juan Pazos-Arias; Jorge García Duque; Rebeca P. Díaz Redondo; Ana Fernández Vilas; Manuel Ramos Cabrer (ICWE, 2003)

A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform. - Martín López Nores; Ana Fernández Vilas; Rebeca P. Díaz Redondo; Alberto Gil-Solla; José Juan Pazos-Arias; Manuel Ramos Cabrer; Jorge García Duque (MIPS, 2003)

An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts. - Martín López Nores; Rebeca P. Díaz Redondo; José Juan Pazos-Arias; Jorge García Duque (APSEC, 2004)

Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage. - Rebeca P. Díaz Redondo; Martín López Nores; José Juan Pazos-Arias; Ana Fernández Vilas; Jorge García Duque; Alberto Gil-Solla; Ana Belén Barragáns-Martínez; Manuel Ramos Cabrer (ICSR, 2004)

Technologies to Support Collaborative Learning over the Multimedia Home Platform. - Martín López Nores; Yolanda Blanco-Fernández; Ana Fernández Vilas; Rebeca P. Díaz Redondo; José Juan Pazos-Arias; Alberto Gil-Solla; Jorge García Duque; Ana Belén Barragáns-Martínez; Manuel Ramos Cabrer (ICWL, 2004)

A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. - Ana Fernández Vilas; José Juan Pazos-Arias; Rebeca P. Díaz Redondo; Alberto Gil-Solla; Jorge García Duque (IFM, 2004)

A technological framework for TV-supported collaborative learning. - Martín López Nores; Andrés Elexpuru Eguia; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Alberto Gil-Solla; Jorge García Duque; Ana Belén Barragáns-Martínez; Manuel Ramos Cabrer (ISMSE, 2004)

AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning. - Yolanda Blanco-Fernández; José Juan 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 (WISE, 2004)

Incremental specification with SCTL/MUS-T: a case study. - Ana Fernández Vilas; José Juan Pazos-Arias; Alberto Gil-Solla; Rebeca P. Díaz Redondo; Jorge García Duque; Ana Belén Barragáns-Martínez (J. Syst. Softw., 2004)

Multi-valued Model Checking in Dense-Time. - Ana Fernández Vilas; José Juan 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 (ECSQARU, 2005)

Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home. - Andrés Elexpuru Eguia; Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Ana Belén Barragáns-Martínez; Jorge García Duque; Alberto Gil-Solla; Manuel Ramos Cabrer (EEE, 2005)

Tracing Integration Analysis in Component-Based Formal Specifications. - Martín López Nores; José Juan 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 (FMOODS, 2005)

Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage. - Rebeca P. Díaz Redondo; José Juan Pazos-Arias; Ana Fernández Vilas; Jorge García Duque; Alberto Gil-Solla (Int. J. Softw. Eng. Knowl. Eng., 2005)

Locating crosscutting concerns in the formal specification of distributed reactive systems. - José Juan Pazos-Arias; Jorge García Duque; Martín López Nores (ACM SIGSOFT Softw. Eng. Notes, 2005)

Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study. - José Juan Pazos-Arias; Jorge García Duque; Martín López Nores (ACM SIGSOFT Softw. Eng. Notes, 2005)

An Agile Approach to Support Incremental Development of Requirements Specifications. - Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Ana Belén Barragáns-Martínez (ASWEC, 2006)

Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements. - Martín López Nores; Jorge García Duque; José Juan Pazos-Arias (COORDINATION, 2006)

A Core of Standards to Support T-learning. - Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Yolanda Blanco-Fernández; Alberto Gil-Solla (ICALT, 2006)

Bringing the Agile Philosophy to Formal Specification Settings. - Martín López Nores; José Juan 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 (Int. J. Softw. Eng. Knowl. Eng., 2006)

Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning. - Martín López Nores; José Juan 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 (J. Syst. Softw., 2006)

A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. - Jorge García Duque; Martín López Nores; José Juan Pazos-Arias; Ana Fernández Vilas; Rebeca P. Díaz Redondo; Alberto Gil-Solla; Yolanda Blanco-Fernández; Manuel Ramos Cabrer (J. Log. Comput., 2006)

Guidelines for the incremental identification of aspects in requirements specifications. - Jorge García Duque; Martín López Nores; José Juan Pazos-Arias; Ana Fernández Vilas; Rebeca P. Díaz Redondo; Alberto Gil-Solla; Manuel Ramos Cabrer; Yolanda Blanco-Fernández (Requir. Eng., 2006)

ATLAS: a framework to provide multiuser and distributed t-learning services over MHP. - José Juan 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 (Softw. Pract. Exp., 2006)

MHP-OSGi convergence: a new model for open residential gateways. - Ana Fernández Vilas; Rebeca P. Díaz Redondo; Manuel Ramos Cabrer; José Juan Pazos-Arias; Alberto Gil-Solla; Jorge García Duque; Martín López Nores; Yolanda Blanco-Fernández (Softw. Pract. Exp., 2006)

Controlling the smart home from TV. - Manuel Ramos Cabrer; Rebeca P. Díaz Redondo; Ana Fernández Vilas; José Juan Pazos-Arias; Jorge García Duque (IEEE Trans. Consumer Electron., 2006)

KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks. - Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Ana Fernández Vilas; Rebeca P. Díaz Redondo (CCNC, 2007)

The MiSPOT System: Personalized Publicity and Marketing over Interactive Digital TV. - Martín López Nores; José Juan Pazos-Arias; Yolanda Blanco-Fernández; Jorge García Duque; Ricardo Tubio-Pardavila; Marta Rey-López (ICETE (Selected Papers), 2007)

Spontaneous and Personalized Advertising through Mpeg-7 Markup and Semantic Reasoning - Exploring New Ways for Publicity and Marketing over Interactive Digital TV. - Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Yolanda Blanco-Fernández; Marta Rey-López; Esther Casquero-Villacorta (SIGMAP, 2007)

Downsizing Semantic Reasoning to Fixed and Mobile DTV Receivers. - Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Jorge García Duque; Alberto Gil-Solla; Manuel Ramos Cabrer (SMAP, 2007)

Avatar: Enhancing the Personalized Television by Semantic Inference. - Yolanda Blanco-Fernández; José Juan 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 (Int. J. Pattern Recognit. Artif. Intell., 2007)

Providing Web Services over DVB-H: Mobile Virtual Web Services. - Ana Fernández Vilas; Rebeca P. Díaz Redondo; José Juan Pazos-Arias; Alberto Gil-Solla; Jorge García Duque (IEEE Trans. Consumer Electron., 2007)

A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System. - Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Yolanda Blanco-Fernández (HEALTHINF (2), 2008)

A Two-Sided Simulator for the Assessment of Coordination Policies in Mobile Ad-Hoc Networks. - Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Yolanda Blanco-Fernández; Ana Fernández Vilas (CCNC, 2008)

MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs. - Martín López Nores; José Juan Pazos-Arias; Yolanda Blanco-Fernández; Jorge García Duque; Ricardo Tubio-Pardavila; Esther Casquero-Villacorta (ICALT, 2008)

Monitoring medicine intake in the networked home: The iCabiNET solution. - Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Yolanda Blanco-Fernández (PervasiveHealth, 2008)

On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata. - Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Yolanda Blanco-Fernández; Alberto Gil-Solla; Manuel Ramos Cabrer (SIGMAP, 2008)

Provision of distance learning services over Interactive Digital TV with MHP. - José Juan 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 (Comput. Educ., 2008)

Qualitative assessment of approaches to coordinate activities of mobile hosts in ad hoc networks. - Martín López Nores; Jorge García Duque; José Juan Pazos-Arias; Yolanda Blanco-Fernández; Rebeca P. Díaz Redondo (IEEE Commun. Mag., 2008)

Enhancing Residential Gateways: A Semantic OSGi Platform. - Rebeca P. Díaz Redondo; Ana Fernández Vilas; Manuel Ramos Cabrer; José Juan Pazos-Arias; Jorge García Duque; Alberto Gil-Solla (IEEE Intell. Syst., 2008)

Composing Multi-Perspective Software Requirements Specifications. - Ana Belén Barragáns-Martínez; José Juan Pazos-Arias; Ana Fernández Vilas; Jorge García Duque; Martín López Nores; Rebeca P. Díaz Redondo; Yolanda Blanco-Fernández (Int. J. Softw. Eng. Knowl. Eng., 2008)

On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. - Ana Belén Barragáns-Martínez; José Juan Pazos-Arias; Ana Fernández Vilas; Jorge García Duque; Martín López Nores; Rebeca P. Díaz Redondo; Yolanda Blanco-Fernández (Inf. Softw. Technol., 2008)

Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study. - Yolanda Blanco-Fernández; José Juan 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 (J. Syst. Softw., 2008)

A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems. - Yolanda Blanco-Fernández; José Juan 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 (Knowl. Based Syst., 2008)

T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning. - Marta Rey-López; Rebeca P. Díaz Redondo; Ana Fernández Vilas; José Juan Pazos-Arias; Martín López Nores; Jorge García Duque; Alberto Gil-Solla; Manuel Ramos Cabrer (Multim. Tools Appl., 2008)

Composing requirements specifications from multiple prioritized sources. - Ana Belén Barragáns-Martínez; José Juan Pazos-Arias; Ana Fernández Vilas; Jorge García Duque; Martín López Nores; Rebeca P. Díaz Redondo; Yolanda Blanco-Fernández (Requir. Eng., 2008)

An MHP framework to provide intelligent personalized recommendations about digital TV contents. - Yolanda Blanco-Fernández; José Juan 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 (Softw. Pract. Exp., 2008)

An extension to the ADL SCORM standard to support adaptivity: The t-learning case-study. - Marta Rey-López; Rebeca P. Díaz Redondo; Ana Fernández Vilas; José Juan Pazos-Arias; Jorge García Duque; Alberto Gil-Solla; Manuel Ramos Cabrer (Comput. Stand. Interfaces, 2009)

Spontaneous interaction with audiovisual contents for personalized e-commerce over Digital TV. - Martín López Nores; Marta Rey-López; José Juan 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 (Expert Syst. Appl., 2009)

Procedures and Algorithms for Continuous Integration in an Agile Specification Environment. - Martín López Nores; José Juan 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 (Int. J. Softw. Eng. Knowl. Eng., 2009)

KEPPAN: Knowledge exploitation for proactively-planned ad-hoc networks. - Martín López Nores; Jorge García Duque; José Juan Pazos-Arias; Yolanda Blanco-Fernández; Manuel Ramos Cabrer; Alberto Gil-Solla; Rebeca P. Díaz Redondo; Ana Fernández Vilas (J. Netw. Comput. Appl., 2009)

Receiver-side semantic reasoning for digital TV personalization in the absence of return channels. - Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Jorge García Duque; Manuel Ramos Cabrer; Alberto Gil-Solla; Rebeca P. Díaz Redondo; Ana Fernández Vilas (Multim. Tools Appl., 2009)

Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. - Jorge García Duque; José Juan 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 (Requir. Eng., 2009)

What's on TV tonight? An efficient and effective personalized recommender system of TV programs. - Ana Belén Barragáns-Martínez; José Juan Pazos-Arias; Ana Fernández Vilas; Jorge García Duque; Martín López Nores (IEEE Trans. Consumer Electron., 2009)

Exploring synergies between digital tv recommender systems and electronic health records. - Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Jorge García Duque (EuroITV, 2010)

T-learning in Telecommunication Engineering: The Value of Interactive Digital TV in the European Higher Education Area. - Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Jorge García Duque (ICALT, 2010)

Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks. - Martín López Nores; José Juan 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 (Comput. Commun., 2010)

Incentivized provision of metadata, semantic reasoning and time-driven filtering: Making a puzzle of personalized e-commerce. - Yolanda Blanco-Fernández; José Juan 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 (Expert Syst. Appl., 2010)

Enhancing TV programmes with additional contents using MPEG-7 segmentation information. - Marta Rey-López; Ana Fernández Vilas; Rebeca P. Díaz Redondo; Martín López Nores; José Juan Pazos-Arias; Alberto Gil-Solla; Manuel Ramos Cabrer; Jorge García Duque (Expert Syst. Appl., 2010)

Context-aware personalization services for a residential gateway based on the OSGi platform. - Ana Fernández Vilas; Rebeca P. Díaz Redondo; José Juan Pazos-Arias; Manuel Ramos Cabrer; Alberto Gil-Solla; Jorge García Duque (Expert Syst. Appl., 2010)

MiSPOT: dynamic product placement for digital TV through MPEG-4 processing and semantic reasoning. - Martín López Nores; José Juan 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 (Knowl. Inf. Syst., 2010)

Enhancing Recommender Systems with Access to Electronic Health Records and Groups of Interest in Social Networks. - Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Jorge García Duque; Manuela I. Martín-Vicente (SITIS, 2011)

An improvement for semantics-based recommender systems grounded on attaching temporal information to ontologies and user profiles. - Yolanda Blanco-Fernández; Martín López Nores; José Juan Pazos-Arias; Jorge García Duque (Eng. Appl. Artif. Intell., 2011)

Making the most of TV on the move: My newschannel. - José Juan Pazos-Arias; Ana Fernández Vilas; Rebeca P. Díaz Redondo; Alberto Gil-Solla; Manuel Ramos Cabrer; Jorge García Duque (Inf. Sci., 2011)

TVGuide2.0: applying the Web2.0 fundamentals to IDTV. - Rebeca P. Díaz Redondo; Ana Fernández Vilas; Marta Rey-López; José Juan Pazos-Arias; Alberto Gil-Solla; Manuel Ramos Cabrer; Jorge García Duque (Multim. Tools Appl., 2011)

TripFromTV+: targeting personalized tourism to interactive digital TV viewers by social networking and semantic reasoning. - Yolanda Blanco-Fernández; Martín López Nores; José Juan Pazos-Arias; Jorge García Duque; Manuela I. Martín-Vicente (IEEE Trans. Consumer Electron., 2011)

A virtualization layer for mobile consumer devices to support demanding communication services in vehicular ad-hoc networks. - Jack Fernando Bravo-Torres; Martín López Nores; Yolanda Blanco-Fernández; Sandra Servia Rodríguez; Jorge García Duque (ICCE, 2012)

The iCabiNET system: Harnessing Electronic Health Record standards from domestic and mobile devices to support better medication adherence. - Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Jorge García Duque (Comput. Stand. Interfaces, 2012)

Bringing Content Awareness to Web-Based IDTV Advertising. - Rebeca P. Díaz Redondo; Ana Fernández Vilas; José Juan Pazos-Arias; Manuel Ramos Cabrer; Alberto Gil-Solla; Jorge García Duque (IEEE Trans. Syst. Man Cybern. Part C, 2012)

SCORM and Social Recommendation: A Web 2.0 Approach to E-learning. - Rebeca P. Díaz Redondo; Ana Fernández Vilas; José Juan Pazos-Arias; Alberto Gil-Solla; Manuel Ramos Cabrer; Jorge García Duque (Recommender Systems for the Social Web, 2012)

REENACT: Learning about Historical Battles and Wars through Augmented Reality and Role Playing - An EXPERIMEDIA Experiment. - Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Alberto Gil-Solla; Jorge García Duque; Manuel Ramos Cabrer; Manolis Wallace (CSEDU, 2013)

REENACT: Augmented Reality and Collective Role Playing to Enhance the Pedagogy of Historical Events - An EXPERIMEDIA Experiment. - Martín López Nores; Yolanda Blanco-Fernández; José Juan Pazos-Arias; Alberto Gil-Solla; Jorge García Duque; Manuel Ramos Cabrer (SIGMAP, 2013)

Leveraging Short-Lived Social Networks in Museums to Engage People in History Learning. - Martín López Nores; Yolanda Blanco-Fernández; Alberto Gil-Solla; Manuel Ramos Cabrer; Jorge García Duque; José Juan Pazos-Arias (SMAP, 2013)

REENACT: A step forward in immersive learning about Human History by augmented reality, role playing and social networking. - Yolanda Blanco-Fernández; Martín López Nores; José Juan Pazos-Arias; Alberto Gil-Solla; Manuel Ramos Cabrer; Jorge García Duque (Expert Syst. Appl., 2014)

Modelling Domain Knowledge of Speech and Language Therapy with an OWL Ontology and OpenEHR Archetypes . - Vladimir Robles-Bykbaev; José Juan Pazos-Arias; Martín López Nores; Jorge García Duque; Juan Ochoa-Zambrano (HEALTHINF, 2015)

SPELTRA: A Robotic Assistant for Speech-and-Language Therapy. - Vladimir Robles-Bykbaev; Martín López Nores; Juan Ochoa-Zambrano; Jorge García Duque; José Juan Pazos-Arias (HCI (9), 2015)

An Ecosystem of Intelligent ICT Tools for Speech-Language Therapy Based on a Formal Knowledge Model. - Vladimir Robles-Bykbaev; Martín López Nores; José Juan Pazos-Arias; Diego Quisi-Peralta; Jorge García Duque (MedInfo, 2015)

SPELTA-Miner: An expert system based on data mining and multilabel classification to design therapy plans for communication disorders. - Vladimir Robles-Bykbaev; Diego Quisi-Peralta; Martín López Nores; Alberto Gil-Solla; Jorge García Duque (CoDIT, 2016)

User Profile Modelling Based on Mobile Phone Sensing and Call Logs. - Alexander García Dávalos; Jorge García Duque (ICITS, 2020)