2008 |
13 | EE | Isidoro Hernán-Losada,
Cristóbal Pareja-Flores,
J. Ángel Velázquez-Iturbide:
Testing-Based Automatic Grading: A Proposal from Bloom's Taxonomy.
ICALT 2008: 847-849 |
12 | EE | Manuel Rubio-Sánchez,
Jaime Urquiza-Fuentes,
Cristóbal Pareja-Flores:
A gentle introduction to mutual recursion.
ITiCSE 2008: 235-239 |
2007 |
11 | EE | J. Ángel Velázquez-Iturbide,
David Redondo-Martín,
Cristóbal Pareja-Flores,
Jaime Urquiza-Fuentes:
An Instructor's Guide to Design Web-Based Algorithm Animations.
ICWL 2007: 440-451 |
10 | EE | Cristóbal Pareja-Flores,
Jaime Urquiza-Fuentes,
J. Ángel Velázquez-Iturbide:
WinHIPE: an IDE for functional programming based on rewriting and visualization.
SIGPLAN Notices 42(3): 14-23 (2007) |
2005 |
9 | | Cristóbal Pareja-Flores,
J. Ángel Velázquez-Iturbide:
Program Execution and Visualization on the Web.
Encyclopedia of Information Science and Technology (IV) 2005: 2330-2334 |
2002 |
8 | EE | R. Martínez-Unanue,
M. Paredes-Velasco,
Cristóbal Pareja-Flores,
Jaime Urquiza-Fuentes,
J. Ángel Velázquez-Iturbide:
Electronic books for programming education: a review and future prospects.
ITiCSE 2002: 34-38 |
7 | EE | Fernando Naharro-Berrocal,
Cristóbal Pareja-Flores,
Jaime Urquiza-Fuentes,
J. Ángel Velázquez-Iturbide:
Approaches to comprehension-preserving graphical reduction of program visualizations.
SAC 2002: 771-777 |
2001 |
6 | EE | Carlos Gregorio-Rodríguez,
Luis Fernando Llana Díaz,
Pedro Palao-Gostanza,
Cristóbal Pareja-Flores,
R. Martínez-Unanue,
J. Ángel Velázquez-Iturbide:
EXercita: automatic web publishing of programming exercises.
ITiCSE 2001: 161-164 |
5 | | Fernando Naharro-Berrocal,
Cristóbal Pareja-Flores,
J. Ángel Velázquez-Iturbide:
Toward Friendly, Dialog-based Construction of Algorithm Visualizations and Animations.
VIIP 2001: 27-32 |
4 | | Carlos Gregorio-Rodríguez,
Luis Fernando Llana Díaz,
R. Martínez,
Pedro Palao-Gostanza,
Cristóbal Pareja-Flores,
J. Ángel Velázquez-Iturbide:
EXercita. A System for Archiving and Publishing Programming Exercises.
Computers and Education. Towards an Interconnected Society 2001: 187-197 |
1999 |
3 | | Cristóbal Pareja-Flores,
J. Ángel Velázquez-Iturbide:
Calculating Encoding and Decoding Functions for Prefix Codes.
SIGPLAN Notices 34(4): 54-60 (1999) |
1997 |
2 | | Cristóbal Pareja-Flores,
J. Ángel Velázquez-Iturbide:
Synthesis of Functions by Transformations and Constraints.
ICFP 1997: 317 |
1 | EE | Ricardo Jiménez-Peris,
Cristóbal Pareja-Flores,
Marta Patiño-Martínez,
J. Ángel Velázquez-Iturbide:
The locker metaphor to teach dynamic memory.
SIGCSE 1997: 169-173 |