Search the dblp DataBase
Martín López Nores :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] APSEC, 2004, pp:38-45 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ASWEC, 2006, pp:9-18 [Conf ] Martín López Nores , Jorge García Duque , José J. Pazos Arias Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2006, pp:164-178 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2005, pp:638-649 [Conf ] Yolanda Blanco-Fernández , José J. Pazos Arias , Alberto Gil-Solla , Manuel Ramos Cabrer , Martín López Nores , Ana Belén Barragáns-Martínez AVATAR: A Multi-Agent TV Recommender System using MHP Applications. [Citation Graph (0, 0)][DBLP ] EEE, 2005, pp:660-665 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] EEE, 2005, pp:588-591 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] FMOODS, 2005, pp:147-162 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICALT, 2006, pp:13-15 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICSR, 2004, pp:1-10 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICWL, 2004, pp:83-90 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] MIPS, 2003, pp:376-387 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] WISE, 2004, pp:415-421 [Conf ] Yolanda Blanco-Fernández , José J. Pazos Arias , Alberto Gil-Solla , Manuel Ramos Cabrer , Ana Fernández Vilas , Rebeca P. Díaz Redondo , Martín López Nores , Ana Belén Barragáns-Martínez AVATAR: an approach based on semantic reasoning to recommend personalized TV programs. [Citation Graph (0, 0)][DBLP ] WWW (Special interest tracks and posters), 2005, pp:1078-1079 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:6, pp:951-986 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2006, v:79, n:8, pp:1141-1155 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2006, v:16, n:2, pp:227-255 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2006, v:11, n:4, pp:239-263 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2006, v:36, n:8, pp:845-869 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2006, v:36, n:13, pp:1421-1442 [Journal ] Automatic Generation of Mashups for Personalized Commerce in Digital TV by Semantic Reasoning. [Citation Graph (, )][DBLP ] Semantic Reasoning: A Path to New Possibilities of Personalization. [Citation Graph (, )][DBLP ] MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs. [Citation Graph (, )][DBLP ] T-learning in Telecommunication Engineering: The Value of Interactive Digital TV in the European Higher Education Area. [Citation Graph (, )][DBLP ] ZapTV: Personalized User-Generated Content for Handheld Devices in DVB-H Mobile Networks. [Citation Graph (, )][DBLP ] A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System. [Citation Graph (, )][DBLP ] How to Overcome Stumbling Blocks of Traditional Personalization Paradigms. [Citation Graph (, )][DBLP ] On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata. [Citation Graph (, )][DBLP ] Spontaneous and Personalized Advertising through Mpeg-7 Markup and Semantic Reasoning - Exploring New Ways for Publicity and Marketing over Interactive Digital TV. [Citation Graph (, )][DBLP ] Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.303secs