Computing (Architecture and Technology of Computers. Computational Science and Artificial Intelligence. Computing System
Department
Universidad Pontificia de Salamanca
Salamanca, EspañaPublications in collaboration with researchers from 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 (Springer London), pp. 211-223
-
Presentation adaptation: Results from a case study
Engineering the User Interface: From Research to Practice
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)