Author: Miguel Gea

Publication Overview

Publication period start: 1998

Number of co-authors: 7

Co-Authors

Number of publications with favourite co-authors

Francisco Luis Gutiérrez Vela

Miguel Cabrera

Juan Carlos Torres

Productive Colleagues

Most productive colleagues in number of publications

José Luis Garrido

Francisco Luis Gutiérrez Vela

Juan Carlos Torres

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.