The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jorge García Duque: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Jorge García Duque, José J. Pazos Arias, Ana Belén Barragáns-Martínez
    An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:282-288 [Conf]
  16. 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]
  17. José J. Pazos Arias, Jorge García Duque
    SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2001, v:13, n:1, pp:50-91 [Journal]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]

  26. MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs. [Citation Graph (, )][DBLP]


  27. T-learning in Telecommunication Engineering: The Value of Interactive Digital TV in the European Higher Education Area. [Citation Graph (, )][DBLP]


  28. A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System. [Citation Graph (, )][DBLP]


  29. On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata. [Citation Graph (, )][DBLP]


  30. 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]


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


Search in 0.003secs, Finished in 0.004secs
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