The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rebeca P. Díaz Redondo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo
    A Model for Personalized Learning Through IDTV. [Citation Graph (0, 0)][DBLP]
    AH, 2006, pp:457-461 [Conf]
  2. 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]
  3. 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. [Citation Graph (0, 0)][DBLP]
    Component-Based Software Quality, 2003, pp:326-351 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:39-46 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:659-666 [Conf]
  6. 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]
  7. 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. [Citation Graph (0, 0)][DBLP]
    EC-TEL, 2006, pp:679-684 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:366-380 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2002, pp:90-97 [Conf]
  10. 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]
  11. Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo
    Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:185-204 [Conf]
  12. Rebeca P. Díaz Redondo, José J. Pazos Arias
    Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:801-802 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:618-627 [Conf]
  14. 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]
  15. 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. [Citation Graph (0, 0)][DBLP]
    ICWE, 2003, pp:523-524 [Conf]
  16. 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]
  17. 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. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:382-401 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José J. Pazos Arias
    Providing SCORM with adaptivity. [Citation Graph (0, 0)][DBLP]
    WWW, 2006, pp:981-982 [Conf]
  22. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  23. 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. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:4, pp:607-646 [Journal]
  24. 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]
  25. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:70, n:1-2, pp:189-208 [Journal]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José J. Pazos Arias
    Entercation: engaging viewers in education through TV. [Citation Graph (0, 0)][DBLP]
    Computers in Entertainment, 2007, v:5, n:2, pp:- [Journal]

  32. Application-level assessment of approaches to coordinate node mobility in wireless sensor and actor networks. [Citation Graph (, )][DBLP]


Search in 0.035secs, Finished in 0.037secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002