Author: Miguel Gea
Publications
Co-authors
Productive Colleagues
Publications
Cabrera, Marcelino, Gea, Miguel, Torres, Juan Carlos (2001): Using user profiles to customize the user interface. In: Stephanidis, Constantine (eds.) HCI International 2001 - Proceedings of the 9th International Conference on Human-Computer Interaction August 5-10, 2001, New Orleans, USA. pp. 471-475.
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
Gea, Miguel, Vela, Francisco Luis Gutiérrez, Torres, Juan Carlos, Padilla, Nicolás, Cabrera, Miguel (1999): Modelisation of co-operative work. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 262-267.
Cabrera, Miguel, Torres, Juan Carlos, Gea, Miguel (1999): Towards User Interfaces for Rapid Prototyping from Algebraic Specifications. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 67-83.
Torres, Juan Carlos, Gea, Miguel, Vela, Francisco Luis Gutiérrez, Cabrera, Miguel, Rodriguez, M. (1996): GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 272-291.
Vela, Francisco Luis Gutiérrez, Gea, Miguel, Torres, Juan Carlos (1998): Verification of Interactive System Using Algebraic Specification. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 68-84.