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

2024

  1. Interpretability of deep learning models in analysis of Spanish financial text

    Neural Computing and Applications, Vol. 36, Núm. 13, pp. 7509-7527

2009

  1. Presentation adaptation: Results from a case study

    Engineering the User Interface: From Research to Practice

  2. Presentation adaptation: Results from a case study

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

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

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)