2017

• Generation of BIM data based on the automatic detection, identification and localization of lamps in buildings
Troncoso Pastoriza, F., Eguía Ollera, P., Díaz Redondo, R. P., Granada Álvarez, E. Sustainable Cities and Society Journal (in press)  

• Discovering knowledge from student interactions: clustering vs classification
Lucero Sánchez, S., Díaz Redondo, R. P., Fernández Vilas, A. International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM 2017)  

• WebShawn, Simulating Wireless Sensors Networks from the Web
Godoy, D. A., Sosa, E. O., Díaz Redondo, R.P., Bareiro, H. IEEE WiMob – International Workshop on Cooperative Wireless Networks (CWN 2017)  

• Reducing Energy Consumption Through the Use of Home Energy Management Systems (HEM) and Gamification
Severiche Maury, Z., Díaz Redondo, R.P., Fernández Vilas, A. American Journal of Engineering Research (In press)  

• A Social Approach to Manage International Mobility Programmes
Díaz Redondo, R.P., Fernández Vilas, A. International Journal of Engineering Education (In press)  

• The Erasmus Mundus Green IT Project: Mobility and Overview of the Higher Education System in 4 Partner Countries of North Africa
Díaz Redondo, R.P., Fernández Vilas, A. Universidade de Vigo (publisher)  

• Experiment for analysing the impact of financial events on Twitter
Fernández Vilas, A., Evans, L., Díaz Redondo, R.P., Owa, M., Crocket, K. 4th International Workshop on Data, Text, Web, and Social Network Mining (DTWSM 2017)  

• Combining Fog Architectures and Distributed Event-Based Systems for Mobile Sensor Location Certification
Castro Jul, F., Conan, D., Chabridon, S., Díaz Redondo, R.P., Fernández Vilas, A., Taconet, C. 11th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2017)  

• The Workforce Analyzer: Group Discovery among LinkedIn Public Profiles
Dais, K., D., Fernández Vilas, A, Díaz Redondo, R.P., Journal of Ambient Intelligence and Humanized Computing (In Press)  

• Sensing the city with Instagram: Clustering geolocated data for outlier detection
Rodríguez Domínguez, D., Díaz Redondo, R.P., Fernández Vilas, A, Ben Khalifa, M. Experts Systems with Applications. Vol 78, pp.319-333  

• BLE Broadcasting Impact in a Real Network Environment.
Boric M., Fernández Vilas, A, Díaz Redondo, R.P. International Conference on Internet of Things Data, and Cloud Computing (ICC 2017).  

• How should my device behave now? Adapting consensus protocols for autonomous context management.
Castro Jul, F., Fernández Vilas, A., Díaz Redondo, R.P. Journal of Computers, 2017  

2016

• Tecnology trend of home energy management systems: Bibliographic review
Zurisadai Severiche-Maury De La Cruz, Z., Alvarez-Lopez, R., Fernández-Vilas, A., Díaz Redondo, R.P. DYNA Energía y Sostenibilidad (ISSN: 2254-2833). Vol: January-December, 5 (2016)  

• Is interpersonal participation relevant to pass?
Lucero Sánchez, S., Díaz Redondo, R. P., Fernández Vilas, A. International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM 2016)  

• Have you also seen that? Collaborative alert assessment in ad hoc participatory sensing
Castro Jul, F., Díaz Redondo, R. P., Fernández Vilas, A. International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2016)  

• Will I pass the course? Performance analysis based on time series.
Lucero Sánchez, S., Díaz Redondo, R. P., Fernández Vilas, A. XIII Congreso Internacional Sobre Innovación y Desarrollo Tecnológico (CIINDET 2016)  

• Plataformas para la creación de mashups en AmI: estudio de casos.
Godoy, D.A., Sosa, E.O., Díaz Redondo, R. P. Editorial Académica Española (ISBN: 978-3-8417-6972-5).  

• A New MOOCs’ Recommendation Framework based on LinkedIn Data.
Dai K, Fernández Vilas, A, Díaz Redondo, R. P. International Conference on Smart Learning Environments (ICSLE 2016).  

• Identifying urban crowds using geo-located Social media data: a Twitter experiment in New York City.
Ben Kalifa, M., Díaz Redondo, R. P. , Fernández Vilas, A. Journal of Intelligent Information Systems (In press) 2016  

2015

• Machine Learning based Classification Approach for Predicting Students Learning Performance in Blended Learning
González Nespereira, C, Elhariri, E, El-Bendary, Fernández Vilas, A, Díaz Redondo, R. P. International Conference on Advanced Intelligent Systems and Informatics (AISI) 2015 

• An Experiment to Assess Students' Engagement in a Gamified Social Learning Environment
Simoes, J, Mateus, S. , Díaz Redondo, R. P. , Fernández Vilas, A. ELearning papers. Vol 43, 2015 

• Am I failing this course? Risk prediction using e-learning data
González Nespereira, C., Fernández Vilas, A., Díaz Redondo, R.P., In Proc. Tecnological Ecosystems for Enhancing Multiculturality (TEEM). 2015  

• Why are these people there? An analysis based on Twitter
Ben Kalifa, M., Díaz Redondo, R. P. , Fernández Vilas, A. In Proc 6th International Conference on Information, Intelligence, Systems and Applications (IISA), 2015 

• Deciding what to display: maximizing the information value of social media
Servia-Rodríguez, S. Huberman, B, Sitaram Asur. . In Workshop on Modeling and Mining Temporal Interactions (M2TI) at ICWSM’ 15.

• Experiences in Using Semantic Technologies for providing added-value services in Digital TV
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J.J., Blanco Fernandez, Y., López Nores, M.. In the Handbook of Digital Imaging, edited by M. Kriss. John Wiley & Sons, Ltd: Chichester, UK, pp. 1477-1506 

• The evolution of your primary lies at the centre of your co-authorship network.
Servia Rodríguez, S, A, Noulas, A., Mascolo, C., Fernández Vilas, A., Díaz Redondo, R.P. PLOS ONE Journal. 

• Are tweets biased by audience? An analysis from the view of topic diversity
Servia Rodríguez, S, A, Díaz Redondo, R. P., Fernández Vilas, A. International Social Computing, Behavioral Modeling and Prediction Conference (SBP'2015) 

• Scraping and Clustering Techniques for the Characterization of LinkedIn Profiles
Dai K, González Nespereira, C, Fernández Vilas, A, Díaz Redondo, R. P. International Conference on Information Technology Convergence and Services (ITCS'2015)  

• IPTV Parental control: a collaborative model for the Social Web. Fernández Vilas, A, Díaz Redondo, R. P., Servia Rodríguez, S. (2015). Information Systems Frontiers, 17(5), October 2015, pp 1161-1176

2014



• A Tie Strength Based Model to Socially-Enhance Applications and its Enabling Implementation: mySocialSphere.
Servia Rodríguez, S., Díaz Redondo, R. P., Fernández Vilas, A., Blanco Fernández, Y. & Pazos Arias, J. J. (2014). Expert Systems With Applications, 41(5), 2582-2594. 

• Is there a crowd? Experiences in using density-based clustering and outlier detection
Ben Kalifa, M., Díaz Redondo, R. P. , Fernández Vilas, A., López Serrano, R, Servia Rodríguez, S.. In Proc International Conference on Mining Intelligence and Knowledge Exploration (MIKE), 2014 

• Is the LMS Access Frequency a Sign of Students' primary in Face-to-Face Higher Education?
González Nespereira, C, Dai K, Díaz Redondo, R. P., Fernández Vilas, A. In Proc. Tecnological Ecosystems for Enhancing Multiculturality (TEEM). 2014 

• Marble Initiative: Monitoring the impact of events on customers opinion
M. Fernandes Caíña, M; Díaz Redondo, R..P.; Fernández Vilas, A. In Proc. International Conference on Knowledge Discovery and Information Retrieval (KDIR), 2014 

• The evolution of your primary lies in the centre of your co-authorship network
Servia Rodríguez, S; Noulas, A.; Mascolo, C.; Fernández Vilas, A, Díaz Redondo, R. P. In Proc. European Conference on Complex System. 2014



2013



• Mining Facebook Activity to Discover Social Ties: Towards a Social-Sensitive Ecosystem.
Servia Rodríguez, S., Fernández Vilas, A., Díaz Redondo, R. P. & Pazos Arias, J. J. Cloud Computing and Services Science. Communications in Computer and Information Science Volume 367 71-85, Springer International Publishing.

• A Gamification Framework to Improve Participation in Social Learning Environments
Simoes, J., Díaz Redondo, R. P., Fernández Vilas, A. & Aguiar, A (2013). eLearning Papers, n.º 35 Open Education Europa Publishing (European Comission)

Inferring Contexts from Facebook Interactions: a Social Publicity Scenario.
Servia Rodríguez, S., Fernández Vilas, A., Díaz Redondo, R. P. & Pazos Arias, J. J. (2013). IEEE Transactions on Multimedia, 15(6), 1296-1303.

• Comparing Tag Clustering Algorithms for Mining Twitter users' interests
Servia Rodríguez, S., Fernández Vilas, A., Díaz Redondo, R. P. & Pazos Arias, J. J (2013). In Proc. ASE/IEEE International Conference on Social Computing. Wasington, USA : IEEE.

• Using Gamification to Improve Participation in a Social Learning Environment
Simoes, J., Díaz Redondo, R. P., Fernández Vilas, A. & Aguiar, A (2013). In 4th International PLE Conference. Berlin (Germany).

• A Social Gamification Framework for a K-6 Social Learning Platform.
Simoes, J., Díaz Redondo, R. P. & Fernández Vilas, A. (2013). Computers in Human Behaviour, 29(2), 345-353.

• Collaborative and role-play strategies in software engineering learning with Web 2.0 tools.
Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & Gil Solla, A. (2013). Computer Applications in Engineering Education.

•Proposta de Modelo de Referência para Aplicação de Gamification em Ambientes de Aprendizagem Social.
Simoes, J., Díaz Redondo, R. P., Fernández Vilas, A. & Aguiar, A. (2013). Centro de Competência TIC do Instituto de Educação da Universidade do Minho, Braga, Portugal.

2012



• Bringing content-awareness to Web-based IDTV advertising.
Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., Ramos Cabrer, M., Gil Solla, A. & García Duque, J. (2012). IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews, 42(3), 324-333.

• Inferring Ties for Social-aware Ambient Intelligence: the Facebook Case.
Servia Rodríguez, S., Fernández Vilas, A., Díaz Redondo, R. P. & Pazos Arias, J. J (2012). In 3rd International Symposium on Ambient Intelligence.

• A Social Approach to Parental Monitoring Over DVB-IPTV.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M. & Gil Solla, A (2012). In International Conference on Consumer Electronics (ICCE). Las Vegas (USA) : IEEE.

• APLICAÇÃO DE ELEMENTOS DE JOGOS NUMA PLATAFORMA DE APRENDIZAGEM SOCIAL.
Simoes, J., Aguiar, A., Díaz Redondo, R. P. & Fernández Vilas, A (2012). In II Congreso Internacional TIC e Educacao (ticEDUCA2012).

• Recommender Systems for the Social Web. Intelligent Systems Reference Library (Volume 32).
Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P. (2012). Springer.

• SCORM and Social Recommendation: a Web 2.0 Approach to E-learning.
Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. & García Duque, J (2012). In Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P. (editors), Recommender Systems for the Social Web. Springer.

• Using Facebook activity to infer social ties.
Servia Rodríguez, S., Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J (2012). In 2nd International Conference on Cloud Computing and Services Science (CLOSER).

• Un modelo de reutilización de especificaciones formales y aspectuales utilizando lenguaje Z.
Roque Hernández, R. V., Díaz Redondo, R. P. & Fernández Vilas, A. (2012). Revista Universitaria en Telecomunicaciones, Informática y Control, .

• A Social Gamification Framework for a K-6 Social.
Simões, J., Díaz Redondo, R. P. & Fernández Vilas, A (2012). In 3rd International Conference on TECHNOLOGY ENHANCED LEARNING,QUALITY OF TEACHING and REFORMING EDUCATION : Learning Technologies, Quality of Education, Educational Systems, Evaluation,Pedagogies (TECH-EDUCATION 2012).

• A Social P2P Approach for Personal Knowledge Management in the Cloud.
Díaz Redondo, R. P., Fernández Vilas, A., Servia Rodríguez, S. & Pazos Arias, J. J (2012). In 1st International Workshop on Socially Intelligent Computing (SINCOM 2012)



2011



• Making the most of TV on the move: My newschannel.
Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Ramos Cabrer, M. & García Duque, J. (2011). Information Sciences, 181(4), 855-868.

• TVGuide2.0: Applying the Web2.0 fundamentals to IDTV.
Díaz Redondo, R. P., Fernández Vilas, A., Rey López, M., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M. et al. (2011). Multimedia Tools and Applications, 53(1), 151-179.

•Experiencia Piloto para la Provisión de Formación Personalizada en Televisión sobre la Plataforma T-Maestro.
Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & Rodríguez Malmierca, M. J. (2011). IEEE RITA Revista Iberoamericana de Tecnologías del Aprendizaje, 6(1), 10-18.

• Precision: A Guided-Based System for Semantic Validation and Personalized Natural Language Generation of Queries.
Paiva, S., Ramos Cabrer, M., Gil Solla, A., Fernández Vilas, A. & Díaz Redondo, R. P (2011). In International Conference on Consumer Electronics.

• Marble Initiative: Monitoring the impact of events on customers opinion
M. Fernandes Caíña, M; Díaz Redondo, R..P.; Fernández Vilas, A. In Proc. International Conference on Knowledge Discovery and Information Retrieval (KDIR), 2014 

2010



• Context-aware personalization services for a residential gateway based on the OSGi platform.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M., Gil Solla, A. & García Duque, J. (2010). Expert Systems with Applications, 37(9), 6538-6546.

• Application-Level Assessment of Approaches to Coordinate Node Mobility in Wireless Sensor and Actor Networks.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Gil Solla, A., Ramos Cabrer, M. et al. (2010). Computer Communications, 33(7), 860-867.

• Programmes with Additional Contents Using MPEG-7 Segmentation Information.
Rey López, M., Fernández Vilas, A., Díaz Redondo, R. P., López Nores, M., Pazos Arias, J. J., Gil Solla, A. et al. (2010). Expert Systems with Applications, 37(2), 1124-1133.

• Incentivized Provision of Metadata, Semantic Reasoning and Time-driven Filtering: Making a Puzzle of Personalized e-Commerce.
Blanco Fernández, Y., Pazos Arias, J. J., López Nores, M., Gil Solla, A., Ramos Cabrer, M., García Duque, J. et al. (2010). Expert Systems with Applications, 37(1), 61-69.

• T-learning 2.0: a personalised hybrid approach based on ontologies and folksonomies.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J (2010). In Xhafa, F., Daradoumis, T., Abraham, A. et al (editors), Computational Intelligence For Technology Enhanced Learning. Springer.

• An AmI-enabled OSGi platform based on socio-semantic technologies.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M., Gil Solla, A. & García Duque, J (2010). Smart Home Systems. InTech Education and Publishing.

• Producción y provisión de contenidos formativos individualizados para Televisión Digital Interactiva.
Rodríguez Malmierca, M. J., Rubio Gayo, B., Díaz Redondo, R. P. & Fernández Vilas, A (2010). In EDUTEC 2010 Elearning 2.0: enseñar y aprender en la Sociedad del Conocimiento.

• Educateca: a Web 2.0 approach to e-learning with SCORM.
Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J (2010). In 10th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2010).
• Bringing Mobile TV to the Mashup Approach.
Fernández Vilas, A., Díaz Redondo, R. P. & Pazos Arias, J. J (2010). In 8th European Conference on Interactive TV and Video (EuroITV).

• SUMA & T-Maestro: Integrating personalized t-learning through standards.
Díaz Redondo, R. P., Fernández Vilas, A. & Jiménez Balsa, G (2010). In 8th European Conference on Interactive TV and Video (EuroITV).

• The OSAmI-Commons project: Deploying a Contextual-awareness Edutainment
Service. Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J. & Jiménez Balsa, G (2010). In ISAmI 2010 Conference. International Symposium on Ambient Intelligence.

• Educateca: A Web 2.0 Approach to e-Learning with SCORM.
Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J (2010). In Cellary, W. & Estevez, E. (editors), Software Services for e-World, pages 118-126. Springer.

• Property-Based Collaborative Filtering: A New Paradigm for Semantics-Based, Health-Aware Recommender Systems.
López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J. & Díaz Redondo, R. P (2010). In 5th International Workshop on Semantic Media Adaptation and Personalization (SMAP). Limassol, Cyprus : IEEE Computer Society.



2009



• KEPPAN: Knowledge Exploitation for Proactively-Planned Ad-hoc Networks.
López Nores, M., García Duque, J., Pazos Arias, J. J., Blanco Fernández, Y., Ramos Cabrer, M., Gil Solla, A. et al. (2009). Journal of Network and Computer Applications, 32(6), 1194-1209.

• Spontaneous Interaction with Audiovisual Contents for Personalized E-commerce over Digital TV.
López Nores, M., Rey López, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Gil Solla, A. et al. (2009). Expert Systems with Applications, 36(3p1), 4192-4197.

• T-Learning Prospects in Higher Education.
López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., García Duque, J., Díaz Redondo, R. P. & Fernández Vilas, A (2009). In Learning in Digital Worlds (CAL). Brighton, United Kingdom.

• Receiver-Side Semantic Reasoning for Digital TV Personalization in the Absence of Return Channels.
López Nores, M., Blanco Fernández, Y., Pazos Arias, J. J., García Duque, J., Ramos Cabrer, M., Gil Solla, A. et al. (2009). Multimedia Tools and Applications, 41(3), 407-436.

• Procedures and Algorithms for Continuous Integration in an Agile Specification Environment.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Díaz Redondo, R. P., Fernández Vilas, A. et al. (2009). International Journal of Software Engineering and Knowledge Engineering, 19(1), 47-78.

• Mashing up TV and the Web in the Mobile World.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. & García Duque, J (2009). In 27th International Conference on Consumer Electronics (ICCE).

• An extension to the ADL SCORM standard to support adaptivity: the t-learning case-study.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., García Duque, J., Gil Solla, A. et al. (2009). Computer Standards & Interfaces, 31(2), 309-318.

• Sponsored Advertising for IDTV: A Personalized and Content-Aware Approach.
Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., Ramos Cabrer, M. & García Duque, J (2009). In 27th International Conference on Consumer Electronics (ICCE)

• TVGuide2.0: Applying the Web2.0 Fundamentals to IDTV.
Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2009). In 27th International Conference on Consumer Electronics (ICCE).

• Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.
García Duque, J., Pazos Arias, J. J., López Nores, M., Blanco Fernández, Y., Fernández Vilas, A., Díaz Redondo, R. P. et al. (2009). Requirements Engineering, 14(3), 129-153.

2008



• Qualitative Assessment of Approaches to Coordinate Activities of Mobile Hosts in Ad-hoc Networks.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Díaz Redondo, R. P. (2008). IEEE Communications Magazine, 46(12), 108-111.

• T-MAESTRO and its Authoring Tool: Using Adaptation to Integrate Entertainment into Personalized T-learning.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J., López Nores, M., García Duque, J. et al. (2008). Multimedia Tools and Applications, 40(3), 409-451.

• Exploiting Synergies between Semantic Reasoning and Personalization Strategies in Intelligent Recommender Systems: A Case Study.
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M., García Duque, J. et al. (2008). Journal of Systems and Software, 81(12), 2371-2385.

• Composing Requirements Specifications from Multiple Prioritized Sources.
Barragáns Martínez, A. B., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., López Nores, M., Díaz Redondo, R. P. et al. (2008). Requirements Engineering, 13(3), 187-206.

• Resolving the Problem of Intelligent Learning Content in Learning Management Systems.
Rey López, M., Brusilovsky, P., Meccawy, M., Díaz Redondo, R. P., Fernández Vilas, A. & Ashman, H. (2008). International Journal on E-Learning, 7(3).

• An MHP Framework to Provide Intelligent Personalized Recommendations about Digital TV contents.
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M., García Duque, J. et al. (2008). Software, Practice and Experience, 38(9), 925-960.

• Use of Folksonomies in the Creation of Learning Experiences for Television.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J. (2008). Upgrade. Monograph: Technology-Enhanced Learning, IX(3), 21-26.

• A Flexible Semantic Inference Methodology to Reason about User Preferences in Knowledge-based Recommender Systems.
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M., García Duque, J. et al. (2008). Knowledge-Based Systems, 21(4), 305-320.

• t-MAESTRO: Personalized Learning for IDTV.
Díaz Redondo, R. P., Fernández Vilas, A., Rey López, M., Pazos Arias, J. J., Gil Solla, A. & Blanco Fernández, Y (2008). In 12th Annual IEEE International Symposium on Consumer Electronics (ISCE). IEEE Computer Society Press.

• myTV 2.0: Semantic Reasoning and Web 2.0 for Mobile TV.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M. & García Duque, J (2008). In 12th Annual IEEE International Symposium on Consumer Electronics (ISCE). IEEE Computer Society Press.

• On the Interplay between Inconsistency and Incompleteness in Multi-Perspective Requirements Specifications.
Barragáns Martínez, A. B., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., López Nores, M., Díaz Redondo, R. P. et al. (2008). Information and Software Technology, 50(4), 296-321.

• Automatic Live Tagging of Videos Using Chronicles.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J (2008). In International Workshop on Ambient Media Delivery and Interactive Television (AMDIT 2008). ACM Press.

• Composing Multi-Perspective Software Requirements Specifications.
Barragáns Martínez, A. B., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., López Nores, M., Díaz Redondo, R. P. et al. (2008). International Journal of Software Engineering and Knowledge Engineering, 18(1), 119-153.

• Enhancing residential gateways: a Semantic OSGi platform.
Díaz Redondo, R. P., Fernández Vilas, A., Ramos Cabrer, M., Pazos Arias, J. J., García Duque, J. & Gil Solla, A. (2008). IEEE Intelligent Systems, 23(1), 32-40.

• Provision of Distance Learning Services over Interactive Digital TV with MHP.
Pazos Arias, J. J., López Nores, M., García Duque, J., Díaz Redondo, R. P., Blanco Fernández, Y., Ramos Cabrer, M. et al. (2008). Computers & Education, 50(3), 927-949.
• T-learning: e-learning al alcance de todos. Díaz Redondo, R. P., Fernández Vilas, A., Gromaz Campos, M. & Rodríguez Malmierca, M. J (2008). In EDUTEC 2008.

• New trends for personalised t-learning.
Rey López, M., Fernández Vilas, A. & Díaz Redondo, R. P (2008). In Pazos Arias, J. J. (editor), Personalization of Interactive Multimedia Services: A Research and Development Perspective. Nova Science Publishers, Inc..

• Uso de folcsonomías en la creación de experiencias educativas para televisión.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J. (2008). Novática. Número especial: El Futuro de la Tecnología Educativa, 193, 18-21.



2007



• Objetos Adaptativos de Aprendizaje para T-learning.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & López Nores, M. (2007). IEEE Latin America Transactions, 5(6), 401-408.

• Objetos Adaptativos de Aprendizaje para T-learning
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & López Nores, M (2007). In VI Jornadas de Ingeniería Telemática (JITEL). Málaga, Spain.

• Providing Web Services over DVB-H: Mobile Virtual Web Services.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. & García Duque, J. (2007). IEEE Transactions on Consumer Electronics, 53(2), 644-652.

• Entercation: Engaging Viewers in Education through TV.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J. (2007). ACM Computers in Entertainment, 5(2).

• AVATAR: Enhancing the Personalized Television by Semantic Inference.
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M., García Duque, J. et al. (2007). International Journal of Pattern Recognition and Artificial Intelligence. Special issue on Personalization Techniques for Recommender Systems and Intelligent User Interfaces, 21(2), 397-422.

• Providing Web Services over DVB-H: Mobile Virtual Web Services.
Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Ramos Cabrer, M. & Rey López, M (2007). In IEEE International Conference on Consumer Electronics (ICCE)., pages 1-2. Las Vegas, USA.

• Enhancing Residential Gateways: OSGi Service Composition.
Díaz Redondo, R. P., Fernández Vilas, A., Ramos Cabrer, M., Pazos Arias, J. J. & Rey López, M. (2007). IEEE Transactions on Consumer Electronics, 53(1), 87-95.

• Enhancing Residential Gateways: OSGi Services Composition
Díaz Redondo, R. P., Fernández Vilas, A., Ramos Cabrer, M., Pazos Arias, J. J. & Rey López, M (2007). In IEEE International Conference on Consumer Electronics (ICCE)., pages 1-2.
• KEPPAN: Towards Autonomic Communications in Mobile Ad-hoc Networks.
López Nores, M., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Díaz Redondo, R. P (2007). In 4th IEEE Consumer Communications and Networking Conference (CCNC). Special Track on Autonomic Communications. Las Vegas, USA.

• Exploiting OSGi capabilities from MHP applications.
Díaz Redondo, R. P., Fernández Vilas, A., Ramos Cabrer, M. & Pazos Arias, J. J. (2007). Journal of Virtual Reality and Broadcasting, 4(16).


2006



• Bringing the Agile Philosophy to Formal Specification Settings.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Díaz Redondo, R. P., Fernández Vilas, A. et al. (2006). International Journal of Software Engineering and Knowledge Engineering, 16(6), 951-986.

• MHP-OSGi Convergence: A New Model for Open Residential Gateways.
Fernández Vilas, A., Díaz Redondo, R. P., Ramos Cabrer, M., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al. (2006). Software, Practice and Experience, 36(13), 1421-1442.

• Guidelines for the Incremental Identification of Aspects in Requirements Specifications.
García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Requirements Engineering, 11(4), 239-263.

• Formal Specification Applied to Distributed Multiuser Services: Experiences in Collaborative T-learning.
López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Ramos Cabrer, M., Gil Solla, A. et al. (2006). Journal of Systems and Software, 79(8), 1141-1155.

• ATLAS: A Framework to Provide Multiuser and Distributed T-learning Services over MHP.
Pazos Arias, J. J., López Nores, M., García Duque, J., Gil Solla, A., Ramos Cabrer, M., Blanco Fernández, Y. et al. (2006). Software, Practice and Experience, 36(8), 845-869.

• Adaptive Learning Objects for T-learning.
Rey López, M., Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J. & Bermejo Muñoz, J (2006). In 5th International Conference on Web-Based Learning (ICWL), pages 181-191.

• A Model for Personalized Learning through IDTV.
Rey López, M., Fernández Vilas, A. & Díaz Redondo, R. P (2006). In Adaptive Hypermedia and Adaptive Web-Based Systems, pages 457-461. Springer Verlag.

• Providing SCORM with Adaptivity.
Rey López, M., Fernández Vilas, A., Díaz Redondo, R. P. & Pazos Arias, J. J (2006). In 15th International World Wide Web Conference (WWW), pages 981-982. ACM Press.

• Controlling the Smart Home from TV.
Ramos Cabrer, M., Díaz Redondo, R. P., Fernández Vilas, A. & García Duque, J. (2006). IEEE Transactions on Consumer Electronics, 52(2), 421-429.

• Entercation Experiences: Engaging Viewers in Education through TV Programs.
Rey López, M., Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J (2006). In 4th European Conference on Interactive Television (EuroITV).

• Exploiting OSGi capabilities from MHP applications.
Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & Ramos Cabrer, M (2006). In 4th European Conference on Interactive TV (EuroITV). Athens, Greece.

• Controlling the Smart Home from TV.
Ramos Cabrer, M., Díaz Redondo, R. P., Fernández Vilas, A. & Pazos Arias, J. J (2006). In IEEE International Conference on Consumer Electronics (ICCE), pages 255-256.

• A Six-Valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Journal of Logic and Computation, 16(2), 227-255.

• Formal Reasoning under Uncertainty to Improve Service Provision in Mobile Ad-hoc Networks.
López Nores, M., Pazos Arias, J. J., García Duque, J., Fernández Vilas, A. & Díaz Redondo, R. P (2006). In 32nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Merin, Czech Republic.

• Extending SCORM to create adaptive courses.
Rey López, M., Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J. & Bermejo Muñoz, J (2006). In Innovative Approaches for Learning and Knowledge Sharing, pages 679-684. Springer Verlag

2006



• Educación a la carta para IDTV.
Rey López, M., Díaz Redondo, R. P. & Fernández Vilas, A (2005). In V Jornadas de Ingeniería Telemática (JITEL 2005), pages 133-140. Vigo.

• ARIFS Methodology: Reusing Incomplete Models at the Requirements Specification
Stage. Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A. (2005). International Journal of Software Engineering and Knowledge Engineering, 15(4), 607-645

• Multi-valued Model Checking in Dense-Time.
Fernández Vilas, A., Pazos Arias, J. J., Barragáns Martínez, A. B., López Nores, M., Díaz Redondo, R. P., Gil Solla, A. et al (2005). In 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, pages 638-649. Barcelona, Spain : Springer Verlag.

• Tracing Integration Analysis in Component-Based Formal Specifications.
López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Díaz Redondo, R. P., Fernández Vilas, A. et al (2005). In 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, pages 147-162.

• AVATAR: An Approach based on Semantic Reasoning to Recommend Personalized TV Programs.
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Fernández Vilas, A., Díaz Redondo, R. P. et al (2005). In 14th International World Wide Web Conference (WWW). Poster session, pages 1078-1079. Chiba, Japan : ACM Press.

• Bringing Standards into T-learning.
López Nores, M., Pazos Arias, J. J., Díaz Redondo, R. P., Blanco Fernández, Y., García Duque, J., Rey López, M. et al (2005). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 79-86.

• On the Specification of Interaction Patterns for Collaborative T-learning Services.
López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Blanco Fernández, Y., Díaz Redondo, R. P. et al (2005). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 231-233.

• Solutions for Personalized T-learning.
López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., Rey López, M., García Duque, J., Barragáns Martínez, A. B. et al (2005). In 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), pages 235-236. Aalborg, Denmark.

• An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.
López Nores, M., Díaz Redondo, R. P., Pazos Arias, J. J. & García Duque, J (2004). In 11th Asia-Pacific Software Engineering Conference (APSEC), pages 38-45. Busan, Korea : IEEE Computer Society Press.


• AVATAR: An Advanced Multi-Agent Recommender System of Personalized TV Contents by Semantic Reasoning.
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Barragáns Martínez, A. B., López Nores, M. et al (2004). In 5th International Conference on Web Information System Engineering - Lecture Notes in Computer Science, pages 415-421. Brisbane, Australia : Springer Verlag.

• AVATAR: Advanced Telematic Search of Audiovisual Contents by Semantic Reasoning.
Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., García Duque, J., Díaz Redondo, R. P. et al (2004). In 4th Workshop on Personalization in Future TV (TV), pages 246-251. Eindhoven, The Netherlands

• Technologies to Support Collaborative Learning over the Multimedia Home Platform.
López Nores, M., Blanco Fernández, Y., Fernández Vilas, A., Díaz Redondo, R. P., Pazos Arias, J. J., Gil Solla, A. et al (2004). In 3rd International Conference on Web-Based Learning (ICWL) - Lecture Notes in Computer Science, pages 83-90. Springer Verlag.

• Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.
Díaz Redondo, R. P., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J., Gil Solla, A. et al (2004). In 8th International Conference on Software Reuse (ICSR) - Lecture Notes in Computer Science, pages 1-10.

• A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., Gil Solla, A. & García Duque, J (2004). In 4th International Conference on Integrated Formal Methods (IFM 2004), pages 382-401. Springer Verlag

• Incremental Specification with SCTL/MUS-T: A Case Study.
Fernández Vilas, A., Pazos Arias, J. J., Gil Solla, A., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B. (2004). Journal of Systems and Software, 70(1-2), 189-208. ARIFS Methodology: A Case Study. Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2004). In Lau, K.-K. (editor), Component-based Software Development: Case Studies. World Scientific

• A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform.
López Nores, M., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A., Pazos Arias, J. J., Ramos Cabrer, M. et al (2003). In 1st International Workshop on Multimedia Interactive Protocols and Systems (MIPS) - Lecture Notes in Computer Science, pages 376-387. Springer Verlag.

• Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2003). In Andrei Ershov 5th. International Conference Perspectives of System Informatics (PSI), pages 366-380. Akademgorodok, Novosibirsk, Russia.

• Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage.
Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2003). In Cechich, A., Piattini, M. & Vallecillo, A. (editors), Component-based Software Quality: Methods and Techniques. Springer Verlag.

• Approximate Retrieval of Incomplete and Formal Specifications applied to Horizontal Reuse.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 18th International Conference on Software Maintenance (ICSM), pages 618-627. Montreal, Canada : IEEE Computer Society Press.

• Approximate Retrieval of Incomplete and Formal Specifications applied to Vertical Reuse.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 28th EUROMICRO Conference on Component-based Software Engineering (EUROMICRO), pages 90-97. Dortmund, Germany : IEEE Computer Society Press.

• Extending Timed Automaton and Real-time Logic to Many-valued Reasoning.
Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). In 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), pages 185-204. Oldenburg, Germany : Springer Verlag.

• Requirements Specifications Evolution in a Multi-Perspective Environment.
Barragáns Martínez, A. B., García Duque, J., Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P (2002). In 26th Annual International Computer Software and Applications Conference (COMPSAC), pages 39-44. Oxford, U.K. : IEEE Computer Society Press.

• Surfing the WEB on TV: the MHP Approach.
Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F., Ramos Cabrer, M. et al (2002). In Proc. of International Conference on Multimedia and Expo 2002, pages 285-288. Lausanne, Suiza : IEEE Computer Society Press.

• Formalizing Incremental Design in Real-time Area: SCTL/MUS-T.
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P. & Barragáns Martínez, A. B (2002). In 26th Annual International Computer Software and Applications Conference (COMPSAC), pages 659-664. Oxford, U.K. : IEEE Computer Society Press.

• ARIFS: Environment for Incomplete and Formal Specifications Reuse.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 29th International Colloquium on Automata, Languages, and Programming (ICALP), Proc. of Workshop on Formal Methods and Component Interaction. Malaga, Spain : Elsevier Science.

• ARIFS: Reusing Formal Verification Efforts in a Requirements Specification.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). In 16th European Conference on Object-Oriented Programming (ECOOP), Workshop on Model-based Software Reuse. Malaga, Spain : Springer Verlag.

• DVB-MHP transport Stream Generator.
Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 453-456. Zadar, Croatia : IEEE Computer Society Press.

• Experiences from Implementing a MHP Receiver.
López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 441-446. Zadar, Croatia : IEEE Computer Society Press

• Internet-TV Convergence in DVB-MHP.
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). In 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), pages 447-453. Zadar, Croatia : IEEE Computer Society Press.

• Reusing Verification Information of Incomplete Specifications.
Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2002). In 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweeden : IEEE Computer Society Press.

• Incremental Synthesis of Timed Models from Many-valued Temporal Logic.
Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). In 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweden.

• Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.

• Reusing of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process.
Díaz Redondo, R. P. & Pazos Arias, J. J (2001). In 23rd International Conference on Software Engineering (ICSE), pages 801-802. Toronto, Canada : IEEE Computer Society Press.

• An Example for Reusing Verification Knowledge by Using Formal Techniques.
Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B (2000). In 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.

• Reusing Functional Requirements by Using Formal Techniques.
Pazos Arias, J. J. & Díaz Redondo, R. P (2000). In 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.

• Modelo de Reutilización de Requisitos Funcionales Utilizando Técnicas Formales.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 125-138. Cuenca, Spain.

• Verificación de requisitos de tiempo críticos sobre sistemas incompletos.
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (2000). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain.

• Entorno de Reutilización de Requisitos Funcionales de Sistemas Distribuidos.
Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain

• Extensión del Modelo MES para el Diseño de Sistemas de Tiempo Real Críticos.
Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). In VII Jornadas de Concurrencia. Gandía, Spain.

• LCTS: Una Lógica Temporal Causal para la Especificación y Verificación de Requisitos Funcionales de un Sistema Distribuido.
Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1998). In VI Jornadas de Concurrencia.. Pamplona, Spain.

• Una Lógica Temporal Causal para la Especificación de Requisitos Funcionales de un Sistema Distribuido
Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1997). In V Jornadas de Concurrencia, pages 321-332. Vigo, Spain.