| 2020 | EDUCON | Analysis of management systems for virtual and remote labs. | Sergio Martn, Aldo Gordillo, Elio Sancristobal Ruiz, Manuel Castro, Juan Quemada |
| 2014 | FIE | The usefulness of usability and user experience evaluation methods on an e-Learning platform development from a developer's perspective: A case study. | Aldo Gordillo, Enrique Barra, Sandra Aguirre, Juan Quemada |
| 2014 | FIE | Facilitating the creation of interactive multi-device Learning Objects using an online authoring tool. | Aldo Gordillo, Enrique Barra, Juan Quemada |
| 2014 | FIE | A flexible open source web platform to facilitate Learning Object evaluation. | Aldo Gordillo, Enrique Barra, Juan Quemada |
| 2014 | FIE | Enhancing web-based learning resources with quizzes through an authoring tool and an audience response system. | Aldo Gordillo, Enrique Barra, Juan Quemada |
| 2014 | FIE | Towards a Learning Object pedagogical quality metric based on the LORI evaluation model. | Aldo Gordillo, Enrique Barra, Juan Quemada |
| 2013 | FIE | Integration of SCORM packages into web games. | Enrique Barra, Aldo Gordillo, Daniel Gallego, Juan Quemada |
| 2013 | FIE | A model for integrating learning object repository resources into web videoconference services. | Aldo Gordillo, Enrique Barra, Daniel Gallego, Juan Quemada |
| 2013 | FIE | An online e-Learning authoring tool to create interactive multi-device learning objects using e-Infrastructure resources. | Aldo Gordillo, Enrique Barra, Daniel Gallego, Juan Quemada |
| 2013 | FIE | The city as a learning gamified platform. | Aldo Gordillo, Daniel Gallego, Enrique Barra, Juan Quemada |
| 2011 | FIE | Work in progress - Exploiting videoconferencing possibilities to promote the European convergence process. | Enrique Barra, Sandra Aguirre, Juan Quemada |
| 2008 | WETICE | Collaboration, Social Interaction and Social Protocols. | Juan Quemada |
| 2004 | FORTE | Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. | Juan Quemada |
| 2004 | WWW | Educanext: a framework for sharing live educational resources with isabel. | Juan Quemada, Gabriel Huecas, Toms de Miguel, Joaqun Salvacha, Blanca Fernandez, Bernd Simon, Katherine Maillet, Efiie Lai-Cong |
| 1997 | FORTE | Specifying the ODP Trader: An Introduction to E-LOTOS. | Giovanny F. Lucero, Juan Quemada |
| 1996 | FORTE | From LOTOS to Petri Nets through Iexpansion. | David Larrabeiti, Juan Quemada, Santiago Pavn |
| 1996 | FORTE | Direct Verification of Bisimulations. | Martn Llamas Nistal, Juan Quemada, Manuel J. Fernndez-Iglesias |
| 1993 | FORTE | Compressing the State Space Representation of LOTOS Specifications. | Juan Quemada, David Larrabeiti, Santiago Pavn |
| 1991 | FORTE | Inverse Expansion. | Santiago Pavn, M. Hulstrm, Juan Quemada, David de Frutos-Escrig, Y. Ortega |
| 1989 | FORTE | TIC: A Timed Calculus for LOTOS. | Juan Quemada, Arturo Azcorra, David de Frutos-Escrig |
| 1988 | FORTE | Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. | Juan Quemada, Santiago Pavn, Angel Fernndez |