Publications by the researcher in collaboration with Pablo Lucio de la Fuente Redondo (18)

2011

  1. Análisis y diseño para el desarrollo de aplicaciones basado en componentes

    V Jornadas de Ingeniería del Software y bases de datos

  2. Consulta a bases de datos relacionales y documentos XML. Estado del arte y una nueva propuesta

    3ª. Conferencia de la asociación Portuguesa de Sistemas de Información (3ª CAPSI), Portugal

2009

  1. Presentation adaptation: Results from a case study

    Engineering the User Interface: From Research to Practice (Springer London), pp. 211-223

  2. Presentation adaptation: Results from a case study

    Engineering the User Interface: From Research to Practice

2007

  1. Comparativa de 4 lenguajes genéricos de definición de interfaces de usuario

    Actas del VIII Congreso Internacional de Interacción Persona Ordenador (INTERACCIÓN 2007)

2006

  1. Adaptación de la presentación : resultados de un caso práctico

    Diseño de la interacción persona persona-ordenador, tendencias y desafíos (Comité de Organización de INTERACCION'2006), pp. 35-44

  2. Formal methods for UML

    Modern Formal Methods and Applications (Springer Netherlands), pp. 177-196

2005

  1. An "abstract process" approach to algebraic dynamic architecture description

    Journal of Logic and Algebraic Programming, Vol. 63, Núm. 2, pp. 177-214

  2. Recommending elements to be added to the user interface

    IADIS International Conference WWW/Internet 2005

  3. Two different tools for user interface personalization

    IADIS International Conference WWW/Internet 2005

  4. UML automatic verification tool with formal methods

    Electronic Notes in Theoretical Computer Science

2003

  1. Adaptación de la presentación: un ejemplo de utilización aplicado a una biblioteca de arte

    SISOFT 2003 II Simposio Internacional de Sistemas de Información e Ingeniería de Software en la Sociedad del Conocimiento.

2002

  1. Coordination in a reflective architecture description language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Introducing Reflection in Architecture Description Languages

    Software Architecture, pp. 143-156

  3. Nueva visión y tendencias del e-business para aumentar su rentabilidad

    JIS 2002: IV Jornades Informàtica i societat

2001

  1. Estado del arte del desarrollo de aplicaciones basado en componentes

    Atas da Conferência da Associação Portuguesa de Sistemas de Informação

  2. Formal verification of coherence for a shared memory multiprocessor model

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2000

  1. Arquitectura de Software DInámica basada en Reflexión

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 203-216