Author: José Luis Garrido
Publications
Co-authors
Productive Colleagues
Publications
Garrido, José Luis, Gea, Miguel (2001): Modelling Dynamic Group Behaviours. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 128-143. https://link.springer.de/link/service/series/0558/bibs/2220/22200128.htm
Garrido, José Luis, Gea, Miguel (2002): A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System . In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 16-28. https://link.springer.de/link/service/series/0558/bibs/2545/25450016.htm
Ruiz-López, Tomás, Rodríguez-Domínguez, Carlos, Noguera, Manuel, Rodríguez, María José, Garrido, José Luis (2012): Adaptation mechanisms based on quality properties: a case of study of a positioning servic. In: Proceedings of the 13th International Conference on Interacción Persona-Ordenador , 2012, . pp. 30. https://dx.doi.org/10.1145/2379636.2379666
Rodríguez-Domínguez, Carlos, Benghazi, Kawtar, Garrido, José Luis, Valenzuela, Aurora (2012): A platform supporting the development of applications in ubiquitous systems: the collabora. In: Proceedings of the 13th International Conference on Interacción Persona-Ordenador , 2012, . pp. 40. https://dx.doi.org/10.1145/2379636.2379676