Juan Quemada

Examining the Use of an Educational Escape Room for Teaching Programming in a Higher Education Setting

Sonsoles López‐Pernas, Aldo Gordillo, Enrique Barra et al. · IEEE Access · 2019 · 192 citations · Full text

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 et al. · IEEE Access · 2019 · 60 citations · Full text

Teacher Education, Interactive Learning, Performance Studies +15

Evaluating an Educational Escape Room Conducted Remotely for Teaching Software Engineering

Aldo Gordillo, Daniel López-Fernández, Sonsoles López‐Pernas et al. · IEEE Access · 2020 · 57 citations · Full text

Interactive Learning, E-learning, Engineering +15

TIC: A timed calculus

Juan Quemada, David de Frutos Escrig, Arturo Azcorra · Formal Aspects of Computing · 1993 · 49 citations

TIC: A Timed Calculus for LOTOS

Juan Quemada, Arturo Azcorra, David de Frutos Escrig · Formal Techniques for (Networked and) Distributed Systems · 1989 · 47 citations

Programming Language Theory, Engineering, Computational Model Theory +6