The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alberto Gil-Solla: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Alberto Gil-Solla, José J. Pazos Arias, C. López, Manuel Ramos Cabrer, J. C. López, R. F. Rodríguez
    Exploring T-Learning in the MHP Context. [Citation Graph (0, 0)][DBLP]
    ICWI, 2002, pp:743-746 [Conf]
  7. J. C. López, Alberto Gil-Solla, José J. Pazos Arias, C. López, Manuel Ramos Cabrer, R. F. Rodríguez
    Using XML in the Standardization of Digital TV with MHP (Multimedia Home Platform). [Citation Graph (0, 0)][DBLP]
    ICWI, 2002, pp:685-688 [Conf]
  8. J. C. López, C. López, Alberto Gil-Solla, José J. Pazos Arias, Manuel Ramos Cabrer, R. F. Rodríguez
    A MHP Receiver over RT-Linux for Digital TV. [Citation Graph (0, 0)][DBLP]
    ICWI, 2002, pp:624-627 [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. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  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, 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]
  23. 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]
  24. 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]

  25. Semantic Reasoning: A Path to New Possibilities of Personalization. [Citation Graph (, )][DBLP]


  26. Semantic Query Validation in Guided-Based Systems: Assuring the Construction of Queries that Make Sense. [Citation Graph (, )][DBLP]


  27. Automatic Query Generation in Guided Systems: Natural Language Generation from Graphically Built Query. [Citation Graph (, )][DBLP]


  28. ZapTV: Personalized User-Generated Content for Handheld Devices in DVB-H Mobile Networks. [Citation Graph (, )][DBLP]


  29. How to Overcome Stumbling Blocks of Traditional Personalization Paradigms. [Citation Graph (, )][DBLP]


  30. On the Need for Incentives to Support Personalization Systems - Turning Users into Active Providers of Contents and Metadata. [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.012secs, Finished in 0.016secs
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