Introduction of Quantitative Relative Time into LOTOS. - Juan Quemada; Angel Fernández (PSTV, 1987)

Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. - Juan Quemada; Santiago Pavón; Angel Fernández (FORTE, 1988)

State Exploration by Transformation with LOLA. - Juan Quemada; Santiago Pavón; Angel Fernández (Automatic Verification Methods for Finite State Systems, 1989)

TIC: A Timed Calculus for LOTOS. - Juan Quemada; Arturo Azcorra; David de Frutos-Escrig (FORTE, 1989)

Inverse Expansion. - Santiago Pavón; M. Hulström; Juan Quemada; David de Frutos-Escrig; Y. Ortega (FORTE, 1991)

Compressed State Space Representation in LOTOS with the Interleaved Expansion. - Juan Quemada (PSTV, 1991)

Development of Satellite Communication Networks Based on LOTOS. - Angel Fernández; Carlos Miguel; Leon Vidaller; Juan Quemada (PSTV, 1992)

Structuring Protocols Using Exceptions in a LOTOS Extension. - Juan Quemada; Arturo Azcorra (PSTV, 1992)

Compressing the State Space Representation of LOTOS Specifications. - Juan Quemada; David Larrabeiti; Santiago Pavón (FORTE, 1993)

On Tools for FDTs. - Juan Quemada (Comput. Networks ISDN Syst., 1993)

TIC: A TImed Calculus. - Juan Quemada; David de Frutos-Escrig; Arturo Azcorra (Formal Aspects Comput., 1993)

ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks. - Tomás de Miguel; Santiago Pavón; Joaquín Salvachúa; Juan Quemada; Pedro Luis Chas Alonso; Javier Fernandez-Amigo; Carlos M. Acuña; Lidia Rodriguez Yamamoto; Vasco Lagarto; Joao Vastos (IWACA, 1994)

Characterizing termination in LOTOS via testing. - David de Frutos-Escrig; Manuel Núñez 001; Juan Quemada (PSTV, 1995)

EXTRA: A Tool for Data Expression Transformation in an FDT Environment. - Manuel J. Fernández-Iglesias; Martín Llamas; Juan Quemada (UNIF, 1995)

ISABEL: A CSCW Application for the Distribution of Events. - Juan Quemada; Tomás de Miguel; Arturo Azcorra; Santiago Pavón; Joaquín Salvachúa; Manuel Petit; David Larrabeiti; Tomás Robles 001; Gabriel Huecas (COST 237 Workshop, 1996)

From LOTOS to Petri Nets through Iexpansion. - David Larrabeiti; Juan Quemada; Santiago Pavón (FORTE, 1996)

Direct Verification of Bisimulations. - Martín Llamas Nistal; Juan Quemada; Manuel J. Fernández-Iglesias (FORTE, 1996)

Specifying the ODP Trader: An Introduction to E-LOTOS. - Giovanny F. Lucero; Juan Quemada (FORTE, 1997)

Managing Distributed Conferences with ISABEL. - Tomás Robles 001; Héctor L. Velayos Munoz; Juan Quemada; Tomás de Miguel; Santiago Pavón; Joaquín Salvachúa; Gabriel Huecas; Eva M. Castro; Manuel Petit (MMNS, 2000)

Isabel Distribution of the Madrid Global IPv6 Summit 2002. - Juan Quemada; Tomás de Miguel; Eva M. Castro; Santiago Pavón; Gabriel Huecas; Tomás Robles 001; Joaquín Salvachúa; Elena Apolinario; Javier Sedano; María José Perea (SAINT Workshops, 2003)

A Use-Case Based Model for Learning Resources in Educational Mediators. - Juan Quemada; Bernd Simon (J. Educ. Technol. Soc., 2003)

Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. - Juan Quemada (FORTE, 2004)

Improving LOM-Based Interoperability of Learning Repositories. - Germán M. Rivera; Bernd Simon; Juan Quemada; Joaquín Salvachúa (OTM Workshops, 2004)

Educanext: a framework for sharing live educational resources with isabel. - Juan Quemada; Gabriel Huecas; Tomás de Miguel; Joaquín Salvachúa; Blanca Fernandez; Bernd Simon; Katherine Maillet; Efiie Lai-Cong (WWW (Alternate Track Papers & Posters), 2004)

Isabel: an application for real time collaboration with a flexible floor control. - Juan Quemada; Tomás de Miguel; Santiago Pavón; Gabriel Huecas; Tomás Robles 001; Joaquín Salvachúa; Diego Andres Acosta Ortiz; Vicente Sirvent; Fernando Escribano; Javier Sedano (CollaborateCom, 2005)

Joint Degrees in E-Learning Systems: A Web Services Approach. - Sandra Aguirre; Joaquín Salvachúa; Juan Quemada; Antonio Fumero; Antonio Tapiador (CollaborateCom, 2006)

A Collaborative Environment Integration Layer for Activity Orientation. - Juan Quemada; Joaquín Salvachúa; Tomás Robles 001; Encarna Pastor; Santiago Pavón; Gabriel Huecas (CollaborateCom, 2006)

A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows. - José Luis García-Dorado; Javier Aracil 001; José Alberto Hernández 001; Sergio López-Buedo; Jorge E. López de Vergara; Pedro Reviriego; Gabriel Huecas; Santiago Pavón; Juan Quemada (MMNS, 2007)

Collaboration, Social Interaction and Social Protocols. - Juan Quemada (WETICE, 2008)

VaaS: Videoconference as a service. - Pedro Rodríguez; Daniel Gallego; Javier Cerviño; Fernando Escribano; Juan Quemada; Joaquín Salvachúa (CollaborateCom, 2009)

Work in progress - Exploiting videoconferencing possibilities to promote the European convergence process. - Enrique Barra; Sandra Aguirre; Juan Quemada (FIE, 2011)

Facilitating the creation of K-12 interactive learning objects using a multi device web tool. - Enrique Barra Arias; Daniel Gallego-Vico; Sandra Aguirre Herrera; Juan Quemada Vives (FIE, 2012)

A web tool to create educational content with gaming visualization. - Enrique Barra Arias; Daniel Gallego-Vico; Sandra Aguirre Herrera; Juan Quemada Vives (FIE, 2012)

E-learning Systems Support of Collaborative Agreements: A Theoretical Model. - Sandra Aguirre; Juan Quemada (J. Educ. Technol. Soc., 2012)

ACM/Springer Mobile Networks and Applications (MONET) Special Issue on "Collaborative Computing: Networking, Applications and Worksharing". - Weisong Shi; James Joshi; Tao Zhang 005; Eun K. Park; Juan Quemada (Mob. Networks Appl., 2012)

Integration of SCORM packages into web games. - Enrique Barra; Aldo Gordillo; Daniel Gallego; Juan Quemada (FIE, 2013)

A model for integrating learning object repository resources into web videoconference services. - Aldo Gordillo; Enrique Barra; Daniel Gallego; Juan Quemada (FIE, 2013)

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 (FIE, 2013)

The city as a learning gamified platform. - Aldo Gordillo; Daniel Gallego; Enrique Barra; Juan Quemada (FIE, 2013)

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 (FIE, 2014)

Facilitating the creation of interactive multi-device Learning Objects using an online authoring tool. - Aldo Gordillo; Enrique Barra; Juan Quemada (FIE, 2014)

A flexible open source web platform to facilitate Learning Object evaluation. - Aldo Gordillo; Enrique Barra; Juan Quemada (FIE, 2014)

Enhancing web-based learning resources with quizzes through an authoring tool and an audience response system. - Aldo Gordillo; Enrique Barra; Juan Quemada (FIE, 2014)

Towards a Learning Object pedagogical quality metric based on the LORI evaluation model. - Aldo Gordillo; Enrique Barra; Juan Quemada (FIE, 2014)

Using multimedia and peer assessment to promote collaborative e-learning. - Enrique Barra; Sandra Aguirre Herrera; Jose Ygnacio Pastor Caño; Juan Quemada Vives (New Rev. Hypermedia Multim., 2014)

Enhancing Web-Based Learning Resources With Existing and Custom Quizzes Through an Authoring Tool. - Aldo Gordillo; Enrique Barra; Juan Quemada Vives (Rev. Iberoam. de Tecnol. del Aprendiz., 2015)

QoE-Based Analysis of DASH Streaming Parameters Over Mobile Broadcast Networks. - Carlos M. Lentisco; Luis Bellido; Juan Quemada Vives; Encarna Pastor; José L. Arciniegas H. (IEEE Access, 2017)

An easy to use open source authoring tool to create effective and reusable learning objects. - Aldo Gordillo; Enrique Barra; Juan Quemada (Comput. Appl. Eng. Educ., 2017)

Examining the Use of an Educational Escape Room for Teaching Programming in a Higher Education Setting. - Sonsoles López-Pernas; Aldo Gordillo; Enrique Barra; Juan Quemada (IEEE Access, 2019)

Analyzing Learning Effectiveness and Students' Perceptions of an Educational Escape Room in a Programming Course in Higher Education. - Sonsoles López-Pernas; Aldo Gordillo; Enrique Barra; Juan Quemada (IEEE Access, 2019)

Analysis of management systems for virtual and remote labs. - Sergio Martín 001; Aldo Gordillo; Elio Sancristobal Ruiz; Manuel Castro 001; Juan Quemada (EDUCON, 2020)

Ediphy: A modular and extensible open-source web authoring tool for the creation of interactive learning resources. - Sonsoles López-Pernas; Alfonso Jiménez; Aldo Gordillo; Enrique Barra; Lourdes Marco; Juan Quemada (Intelligent Environments, 2020)

Evaluating an Educational Escape Room Conducted Remotely for Teaching Software Engineering. - Aldo Gordillo; Daniel López-Fernández; Sonsoles López-Pernas; Juan Quemada (IEEE Access, 2020)

SGAME: An Authoring Tool to Easily Create Educational Video Games by Integrating SCORM-Compliant Learning Objects. - Aldo Gordillo; Enrique Barra; Juan Quemada (IEEE Access, 2021)

Escapp: A Web Platform for Conducting Educational Escape Rooms. - Sonsoles López-Pernas; Aldo Gordillo; Enrique Barra; Juan Quemada (IEEE Access, 2021)

Comparing Face-to-Face and Remote Educational Escape Rooms for Learning Programming. - Sonsoles López-Pernas; Aldo Gordillo; Enrique Barra; Juan Quemada (IEEE Access, 2021)

Educational Data Virtual Lab: Connecting the Dots Between Data Visualization and Analysis. - Sonsoles López-Pernas; Andres Munoz-Arcentales; Carlos Aparicio; Enrique Barra; Aldo Gordillo; Joaquín Salvachúa; Juan Quemada (IEEE Computer Graphics and Applications, 2022)

Scaling Student Feedback in Software Engineering Massive Open Online Courses. - Sonsoles López-Pernas; Enrique Barra; Aldo Gordillo; Álvaro Alonso; Juan Quemada (IEEE Softw., 2023)

An autonomous low-cost studio to record production-ready instructional videos. - Enrique Barra; Juan Quemada Vives; Sonsoles López-Pernas; Aldo Gordillo Méndez; Álvaro Alonso; Abel Carril Fuentetaja (Multim. Tools Appl., 2024)