Año: 2005

  • AVATAR: An Approach based on Semantic Reasoning to Recommend Personalized TV Programs.
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Fernández Vilas, A., Díaz Redondo, R. P. et al (2005). En 14th International World Wide Web Conference (WWW). Poster session, páginas 1078-1079. Chiba, Japan : ACM Press.
    [Más]
  • AVATAR: Modeling Users by Dynamic Ontologies in a TV Recommender System based on Semantic Reasoning
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M. & Barragáns Martínez, A. B (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 173-182.
    [Más]
  • Bringing Standards into T-learning
    López Nores, M., Pazos Arias, J. J., Díaz Redondo, R. P., Blanco Fernández, Y., García Duque, J., Rey López, M. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 79-86.
    [Más]
  • Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home
    López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Barragáns Martínez, A. B., García Duque, J. et al (2005). En IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), páginas 588-591. Hong Kong : IEEE Computer Society Press.
    [Más]
  • Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study.
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5.
    [Más]
  • Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), páginas 1-5. St. Louis, Missouri, USA : ACM Press.
    [Más]
  • Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems.
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5.
    [Más]
  • Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), páginas 1-5. St. Louis, Missouri, USA : ACM Press.
    [Más]
  • Multi-valued Model Checking in Dense-Time
    Fernández Vilas, A., Pazos Arias, J. J., Barragáns Martínez, A. B., López Nores, M., Díaz Redondo, R. P., Gil Solla, A. et al (2005). En 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, páginas 638-649. Barcelona, Spain : Springer Verlag.
    [Más]
  • On the Specification of Interaction Patterns for Collaborative T-learning Services
    López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Blanco Fernández, Y., Díaz Redondo, R. P. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 231-233.
    [Más]
  • Solutions for Personalized T-learning
    López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., Rey López, M., García Duque, J., Barragáns Martínez, A. B. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 235-236. Aalborg, Denmark.
    [Más]
  • Tracing Integration Analysis in Component-Based Formal Specifications
    López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Díaz Redondo, R. P., Fernández Vilas, A. et al (2005). En 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, páginas 147-162.
    [Más]

Año: 2004

Año: 2003