Publicaciones en colaboración con investigadores/as de Universidad Pontificia de Salamanca (11)

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

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

2006

  1. Formal methods for UML

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

  2. Visualizing shared highlighting annotations

    HCI RELATED PAPERS OF INTERACCION 2004

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. UML automatic verification tool with formal methods

    Electronic Notes in Theoretical Computer Science

2003

  1. Modelo probabilístico para la creación de interfaces personalizadas

    ACM International Conference Proceeding Series

  2. Relationship-based dynamic versioning of evolving legal documents

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

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)

2001

  1. 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)