PABLO LUCIO DE LA
FUENTE REDONDO
Investigador en el periodo 1992-2019
Universidad Pontificia de Salamanca
Salamanca, EspañaPublicaciones en colaboración con investigadores/as de Universidad Pontificia de Salamanca (11)
2011
-
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
-
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
-
Relationship-based dynamic versioning of evolving legal documents
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
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)