Año: 2007

• Non-Invasive and Personalized Advertising through MPEG-4 Processing and Semantic Reasoning
  López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Gil Solla, A (2007). En IEEE International Conference on Consumer Electronics (ICCE). Las Vegas, USA. [Más]
• 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. [Más]
• Spontaneous and Personalized Advertising through MPEG-7 Markup and Semantic Reasoning
  López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y., Rey López, M. & Casquero Villacorta, E (2007). En 2nd International Conference on Signal Processing and Multimedia Applications (SIGMAP). Barcelona, Spain. [Más]

Año: 2006

• A Core of Standards to Support T-learning
  López Nores, M., Pazos Arias, J. J., García Duque, J., Blanco Fernández, Y. & Gil Solla, A (2006). En 6th IEEE International Conference on Advanced Learning Technologies (ICALT), páginas 13-15. IEEE Computer Society. [Más]
• 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. [Más]
• An Agile Approach to Support Incremental Development of Requirements Specifications
  López Nores, M., Pazos Arias, J. J., García Duque, J. & Barragáns Martínez, A. B (2006). En 17th IEEE Australian Software Engineering Conference (ASWEC), páginas 9-18. Sidney, Australia : IEEE Computer Society. [Más]
• 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. [Más]
• 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. [Más]
• Controlling the Smart Home from TV.
  Ramos Cabrer, M., Díaz Redondo, R. P., Fernández Vilas, A., Pazos Arias, J. J. & García Duque, J. (2006). IEEE Transactions on Consumer Electronics, 52(2), 421-429. [Más]
• 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). En 32nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Merin, Czech Republic. [Más]
• 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. [Más]
• 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. [Más]
• Improving the Dependability of Mobile Ad-Hoc Networks through Formal Reasoning
  López Nores, M., Pereira Paz, D., Pazos Arias, J. J., García Duque, J. & Casquero Villacorta, E (2006). En 25th Conference on Computer Communications (INFOCOM). Poster session. [Más]
• Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements
  López Nores, M., García Duque, J. & Pazos Arias, J. J (2006). En 8th International Conference on Coordination Models and Languages (COORDINATION) - Lecture Notes in Computer Science, páginas 164-178. Bolonia, Italy : Springer Verlag. [Más]
• 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. [Más]

Año: 2005

• 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. [Más]
• 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). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 79-86. [Más]
• Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home
  López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Barragáns Martínez, A. B., García Duque, J. et al (2005). En IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), páginas 588-591. Hong Kong : IEEE Computer Society Press. [Más]
• Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study.
  Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5. [Más]
• Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study
  Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), páginas 1-5. St. Louis, Missouri, USA : ACM Press. [Más]
• Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems.
  Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5. [Más]
• Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems
  Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), páginas 1-5. St. Louis, Missouri, USA : ACM Press. [Más]
• 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). En 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, páginas 638-649. Barcelona, Spain : Springer Verlag. [Más]
• 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). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 231-233. [Más]
• 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). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 235-236. Aalborg, Denmark. [Más]