DBLP: Rebeca P. Díaz Redondo

	2013
j39		Jorge Simões, Rebeca P. Díaz Redondo, Ana Fernández Vilas: A social gamification framework for a K-6 learning platform. Computers in Human Behavior 29(2): 345-353 (2013)
	2012
j38		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)
c26		Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias: Using Facebook Activity to Infer Social Ties. CLOSER 2012: 325-333
c25		Sandra Servia Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias: Inferring Ties for Social-Aware Ambient Intelligence: The Facebook Case. ISAmI 2012: 75-83
c24		Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias, Sandra Servia Rodríguez: A Social P2P Approach for Personal Knowledge Management in the Cloud. OTM Workshops 2012: 585-594
	2011
j37		Rebeca P. Díaz Redondo, Ana Fernández Vilas, María José Rodríguez Malmierca, José J. Pazos Arias, Silvia Bastos Molares: Experiencia Piloto para la Provisión de Formación Personalizada en Televisión sobre la Plataforma T-Maestro. IEEE-RITA 6(1): 10-18 (2011)
j36		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)
j35		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
j34		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)
j33		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)
j32		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)
j31		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)
c23		Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias: Educateca: A Web 2.0 Approach to e-Learning with SCORM. I3E 2010: 118-126
p1		Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias: T-Learning 2.0: A Personalised Hybrid Approach Based on Ontologies and Folksonomies. Computational Intelligence for Technology Enhanced Learning 2010: 125-142
	2009
j30		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)
j29		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)
j28		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)
j27		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)
j26		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)
j25		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
j24		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)
j23		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)
j22		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)
j21		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)
j20		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)
j19		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)
j18		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)
j17		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)
j16		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
j15		Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias: Entercation: engaging viewers in education through TV. Computers in Entertainment 5(2) (2007)
j14		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)
j13		Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José J. Pazos Arias: Exploiting OSGi capabilities from MHP applications. JVRB 4 (2007)
j12		Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José J. Pazos Arias: Enhancing Residential Gateways: OSGi Service Composition. IEEE Trans. Consumer Electronics 53(1): 87-95 (2007)
j11		Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias, Alberto Gil-Solla, Jorge García Duque: Providing Web Services over DVB-H: Mobile Virtual Web Services. IEEE Trans. Consumer Electronics 53(2): 644-652 (2007)
	2006
j10		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)
j9		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)
j8		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)
j7		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)
j6		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)
j5		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)
j4		Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias, Jorge García Duque: Controlling the smart home from TV. IEEE Trans. Consumer Electronics 52(2): 421-429 (2006)
c22		Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo: A Model for Personalized Learning Through IDTV. AH 2006: 457-461
c21		Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias, Jesús Bermejo-Muõz: Extending SCORM to Create Adaptive Courses. EC-TEL 2006: 679-684
c20		Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias: Providing SCORM with adaptivity. WWW 2006: 981-982
	2005
j3		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)
c19		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
c18		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
c17		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. WWW (Special interest tracks and posters) 2005: 1078-1079
	2004
j2		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)
c16		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
c15		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
c14		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
c13		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
c12		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
	2003
c11		Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas: Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. Component-Based Software Quality 2003: 326-351
c10		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
c9		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
c8		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
j1		Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: ARIFS: an Environment for Incomplete and Formal Specifications. Electr. Notes Theor. Comput. Sci. 66(4): 16-35 (2002)
c7		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
c6		Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo, Ana Belén Barragáns-Martínez: Formalizing Incremental Design in Real-time Area: SCTL/MUS-T. COMPSAC 2002: 659-666
c5		Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse. EUROMICRO 2002: 90-97
c4		Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo: Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. FTRTFT 2002: 185-204
c3		Alberto Gil-Solla, José J. Pazos Arias, Cándido López-García, José C. López-Ardao, Raúl Fernando Rodríguez Rubio, Manuel Ramos Cabrer, Rebeca P. Díaz Redondo: Surfing the Web on TV: the MHP approach. ICME (2) 2002: 285-288
c2		Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse. ICSM 2002: 618-627
	2001
c1		Rebeca P. Díaz Redondo, José J. Pazos Arias: Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process. ICSE 2001: 801-802

2013

j39

Jorge Simões, Rebeca P. Díaz Redondo, Ana Fernández Vilas: A social gamification framework for a K-6 learning platform. Computers in Human Behavior 29(2): 345-353 (2013)

2012

j38

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)

c26

Sandra Servia Rodríguez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias: Using Facebook Activity to Infer Social Ties. CLOSER 2012: 325-333

c25

Sandra Servia Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias: Inferring Ties for Social-Aware Ambient Intelligence: The Facebook Case. ISAmI 2012: 75-83

c24

Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias, Sandra Servia Rodríguez: A Social P2P Approach for Personal Knowledge Management in the Cloud. OTM Workshops 2012: 585-594

2011

j37

Rebeca P. Díaz Redondo, Ana Fernández Vilas, María José Rodríguez Malmierca, José J. Pazos Arias, Silvia Bastos Molares: Experiencia Piloto para la Provisión de Formación Personalizada en Televisión sobre la Plataforma T-Maestro. IEEE-RITA 6(1): 10-18 (2011)

j36

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)

j35

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

j34

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)

j33

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)

j32

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)

j31

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)

c23

Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias: Educateca: A Web 2.0 Approach to e-Learning with SCORM. I3E 2010: 118-126

Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias: T-Learning 2.0: A Personalised Hybrid Approach Based on Ontologies and Folksonomies. Computational Intelligence for Technology Enhanced Learning 2010: 125-142

2009

j30

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)

j29

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)

j28

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)

j27

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)

j26

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)

j25

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

j24

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)

j23

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)

j22

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)

j21

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)

j20

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)

j19

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)

j18

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)

j17

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)

j16

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

j15

Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias: Entercation: engaging viewers in education through TV. Computers in Entertainment 5(2) (2007)

j14

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)

j13

Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José J. Pazos Arias: Exploiting OSGi capabilities from MHP applications. JVRB 4 (2007)

j12

Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Ramos Cabrer, José J. Pazos Arias: Enhancing Residential Gateways: OSGi Service Composition. IEEE Trans. Consumer Electronics 53(1): 87-95 (2007)

j11

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

2006

j10

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)

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)

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)

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)

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)

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)

Manuel Ramos Cabrer, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias, Jorge García Duque: Controlling the smart home from TV. IEEE Trans. Consumer Electronics 52(2): 421-429 (2006)

c22

Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo: A Model for Personalized Learning Through IDTV. AH 2006: 457-461

c21

Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias, Jesús Bermejo-Muõz: Extending SCORM to Create Adaptive Courses. EC-TEL 2006: 679-684

c20

Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias: Providing SCORM with adaptivity. WWW 2006: 981-982

2005

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)

c19

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

c18

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

c17

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. WWW (Special interest tracks and posters) 2005: 1078-1079

2004

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)

c16

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

c15

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

c14

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

c13

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

c12

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

2003

c11

Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas: Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. Component-Based Software Quality 2003: 326-351

c10

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

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

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

Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: ARIFS: an Environment for Incomplete and Formal Specifications. Electr. Notes Theor. Comput. Sci. 66(4): 16-35 (2002)

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

Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo, Ana Belén Barragáns-Martínez: Formalizing Incremental Design in Real-time Area: SCTL/MUS-T. COMPSAC 2002: 659-666

Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse. EUROMICRO 2002: 90-97

Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo: Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. FTRTFT 2002: 185-204

Alberto Gil-Solla, José J. Pazos Arias, Cándido López-García, José C. López-Ardao, Raúl Fernando Rodríguez Rubio, Manuel Ramos Cabrer, Rebeca P. Díaz Redondo: Surfing the Web on TV: the MHP approach. ICME (2) 2002: 285-288

Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez: Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse. ICSM 2002: 618-627

2001

Rebeca P. Díaz Redondo, José J. Pazos Arias: Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process. ICSE 2001: 801-802

1	José J. Pazos Arias	[j38] [c26] [c25] [c24] [j37] [j36] [j35] [j34] [j33] [j32] [j31] [c23] [p1] [j30] [j29] [j28] [j27] [j26] [j25] [j24] [j23] [j22] [j21] [j20] [j19] [j18] [j17] [j16] [j15] [j14] [j13] [j12] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [j4] [c21] [c20] [j3] [c19] [c18] [c17] [j2] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [j1] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
2	Ana Belén Barragáns-Martínez	[j22] [j21] [j17] [c19] [c18] [c17] [j2] [c15] [c14] [c12] [j1] [c7] [c6] [c5] [c2]
3	Jesús Bermejo-Muõz	[c21]
4	Yolanda Blanco-Fernández	[j34] [j33] [j29] [j28] [j27] [j26] [j25] [j24] [j22] [j21] [j20] [j19] [j17] [j16] [j14] [j10] [j9] [j8] [j7] [j6] [j5] [c17] [c14] [c12]
5	Manuel Ramos Cabrer	[j38] [j36] [j35] [j34] [j33] [j32] [j31] [j30] [j29] [j28] [j27] [j26] [j25] [j24] [j23] [j20] [j19] [j18] [j16] [j14] [j13] [j12] [j10] [j9] [j8] [j7] [j6] [j5] [j4] [c19] [c18] [c17] [c15] [c14] [c12] [c9] [c8] [c3]
6	Jorge García Duque	[j38] [j36] [j35] [j34] [j33] [j32] [j31] [j30] [j29] [j28] [j27] [j26] [j25] [j24] [j23] [j22] [j21] [j20] [j19] [j18] [j17] [j16] [j14] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [j4] [j3] [c19] [c18] [j2] [c16] [c15] [c14] [c13] [c12] [c10] [c9] [c8] [c7]
7	Alberto Gil-Solla	[j38] [j36] [j35] [j34] [j33] [j32] [j31] [j30] [j29] [j28] [j27] [j26] [j25] [j24] [j23] [j20] [j19] [j18] [j16] [j14] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [j3] [c19] [c18] [c17] [j2] [c15] [c14] [c13] [c12] [c10] [c9] [c8] [c3]
8	José C. López-Ardao (José Carlos López-Ardao)	[c3]
9	Cándido López-García	[c3]
10	María José Rodríguez Malmierca	[j37]
11	Silvia Bastos Molares	[j37]
12	Jesús Bermejo Muñoz	[j19] [j16] [j14]
13	Martín López Nores	[j34] [j33] [j32] [j29] [j28] [j27] [j26] [j25] [j24] [j22] [j21] [j20] [j19] [j18] [j17] [j16] [j14] [j10] [j9] [j8] [j7] [j6] [j5] [c19] [c18] [c17] [c16] [c15] [c14] [c12] [c8]
14	Marta Rey-López	[j35] [j32] [p1] [j30] [j29] [j18] [j15] [c22] [c21] [c20]
15	Sandra Servia Rodríguez	[c26] [c25] [c24]
16	Raúl Fernando Rodríguez Rubio	[c3]
17	Jorge Simões	[j39]
18	Ana Fernández Vilas	[j39] [j38] [c26] [c25] [c24] [j37] [j36] [j35] [j34] [j33] [j32] [j31] [c23] [p1] [j30] [j29] [j28] [j27] [j26] [j25] [j24] [j23] [j22] [j21] [j20] [j19] [j18] [j17] [j16] [j15] [j14] [j13] [j12] [j11] [j10] [j9] [j8] [j7] [j6] [j5] [j4] [c22] [c21] [c20] [j3] [c19] [c18] [c17] [j2] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [j1] [c7] [c6] [c5] [c4] [c2]

Rebeca P. Díaz Redondo

Coauthor Index