Informática (Arquitectura y Tecnología de Computadores, Ciencias de la Computación e Inteligencia Artificial, Lenguajes y Sistemas Informáticos)
Departamento
Universidad Pontificia de Salamanca
Salamanca, EspañaPublicaciones en colaboración con investigadores/as de Universidad Pontificia de Salamanca (10)
2024
-
Interpretability of deep learning models in analysis of Spanish financial text
Neural Computing and Applications, Vol. 36, Núm. 13, pp. 7509-7527
2009
-
Presentation adaptation: Results from a case study
Engineering the User Interface: From Research to Practice
-
Presentation adaptation: Results from a case study
Engineering the User Interface: From Research to Practice (Springer London), pp. 211-223
2006
-
Formal methods for UML
Modern Formal Methods and Applications (Springer Netherlands), pp. 177-196
-
Visualizing shared highlighting annotations
HCI RELATED PAPERS OF INTERACCION 2004
2005
-
An "abstract process" approach to algebraic dynamic architecture description
Journal of Logic and Algebraic Programming, Vol. 63, Núm. 2, pp. 177-214
-
UML automatic verification tool with formal methods
Electronic Notes in Theoretical Computer Science
2003
-
Modelo probabilístico para la creación de interfaces personalizadas
ACM International Conference Proceeding Series
2002
-
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
-
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)