Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rebeca P. Díaz Redondo
2010 – today
- 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
2000 – 2009
- 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
Coauthor Index
[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]
[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]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-01 02:35 CEST by the dblp team