Juan Quemada
Orcid: 0000-0002-5575-8834
According to our database1,
Juan Quemada
authored at least 59 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Multim. Tools Appl., August, 2024
2023
IEEE Softw., 2023
2022
Educational Data Virtual Lab: Connecting the Dots Between Data Visualization and Analysis.
IEEE Computer Graphics and Applications, 2022
2021
IEEE Access, 2021
SGAME: An Authoring Tool to Easily Create Educational Video Games by Integrating SCORM-Compliant Learning Objects.
IEEE Access, 2021
2020
Evaluating an Educational Escape Room Conducted Remotely for Teaching Software Engineering.
IEEE Access, 2020
Ediphy: A modular and extensible open-source web authoring tool for the creation of interactive learning resources.
Proceedings of the 16th International Conference on Intelligent Environments, 2020
Proceedings of the 2020 IEEE Global Engineering Education Conference, 2020
2019
Analyzing Learning Effectiveness and Students' Perceptions of an Educational Escape Room in a Programming Course in Higher Education.
IEEE Access, 2019
Examining the Use of an Educational Escape Room for Teaching Programming in a Higher Education Setting.
IEEE Access, 2019
2017
An easy to use open source authoring tool to create effective and reusable learning objects.
Comput. Appl. Eng. Educ., 2017
IEEE Access, 2017
2015
Enhancing Web-Based Learning Resources With Existing and Custom Quizzes Through an Authoring Tool.
Rev. Iberoam. de Tecnol. del Aprendiz., 2015
2014
New Rev. Hypermedia Multim., 2014
Towards a Learning Object pedagogical quality metric based on the LORI evaluation model.
Proceedings of the IEEE Frontiers in Education Conference, 2014
Enhancing web-based learning resources with quizzes through an authoring tool and an audience response system.
Proceedings of the IEEE Frontiers in Education Conference, 2014
Proceedings of the IEEE Frontiers in Education Conference, 2014
Facilitating the creation of interactive multi-device Learning Objects using an online authoring tool.
Proceedings of the IEEE Frontiers in Education Conference, 2014
The usefulness of usability and user experience evaluation methods on an e-Learning platform development from a developer's perspective: A case study.
Proceedings of the IEEE Frontiers in Education Conference, 2014
2013
Proceedings of the IEEE Frontiers in Education Conference, 2013
An online e-Learning authoring tool to create interactive multi-device learning objects using e-Infrastructure resources.
Proceedings of the IEEE Frontiers in Education Conference, 2013
A model for integrating learning object repository resources into web videoconference services.
Proceedings of the IEEE Frontiers in Education Conference, 2013
Proceedings of the IEEE Frontiers in Education Conference, 2013
2012
ACM/Springer Mobile Networks and Applications (MONET) Special Issue on "Collaborative Computing: Networking, Applications and Worksharing".
Mob. Networks Appl., 2012
J. Educ. Technol. Soc., 2012
Proceedings of the IEEE Frontiers in Education Conference, 2012
Facilitating the creation of K-12 interactive learning objects using a multi device web tool.
Proceedings of the IEEE Frontiers in Education Conference, 2012
2011
Work in progress - Exploiting videoconferencing possibilities to promote the European convergence process.
Proceedings of the 2011 Frontiers in Education Conference, 2011
2009
Proceedings of the 5th International Conference on Collaborative Computing: Networking, 2009
2008
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008
2007
A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows.
Proceedings of the Real-Time Mobile Multimedia Services, 2007
2006
Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006
Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006
2005
Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005
2004
Proceedings of the 13th international conference on World Wide Web, 2004
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
J. Educ. Technol. Soc., 2003
Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT 2003), 27-31 January 2003, 2003
2000
Managing Distributed Conferences with ISABEL.
Proceedings of the Managing QoS in Multimedia Networks and Services, IEEE/IFIP TC6, 2000
1997
Specifying the ODP Trader: An Introduction to E-LOTOS.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
1996
Direct Verification of Bisimulations.
Proceedings of the Formal Description Techniques IX: Theory, 1996
From LOTOS to Petri Nets through Iexpansion.
Proceedings of the Formal Description Techniques IX: Theory, 1996
Proceedings of the Multimedia Telecommunications and Applications, 1996
1995
EXTRA: A Tool for Data Expression Transformation in an FDT Environment.
Proceedings of the 9th International Workshop on Unification, 1995
Characterizing termination in LOTOS via testing.
Proceedings of the Protocol Specification, 1995
1994
ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks.
Proceedings of the Multimedia: Advanced Teleservices and High-Speed Communication Architectures, 1994
1993
Compressing the State Space Representation of LOTOS Specifications.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993
1992
Structuring Protocols Using Exceptions in a LOTOS Extension.
Proceedings of the Protocol Specification, 1992
Development of Satellite Communication Networks Based on LOTOS.
Proceedings of the Protocol Specification, 1992
1991
Compressed State Space Representation in LOTOS with the Interleaved Expansion.
Proceedings of the Protocol Specification, 1991
Inverse Expansion.
Proceedings of the Formal Description Techniques, 1991
1989
TIC: A Timed Calculus for LOTOS.
Proceedings of the Formal Description Techniques, 1989
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
1988
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.
Proceedings of the Formal Description Techniques, 1988
1987
Introduction of Quantitative Relative Time into LOTOS.
Proceedings of the Protocol Specification, 1987