| * | 2008 |
| 21 | 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 |
| 20 | EE | Manuel Rubio-Sánchez,
Jaime Urquiza-Fuentes,
Cristóbal Pareja-Flores:
A gentle introduction to mutual recursion.
ITiCSE 2008: 235-239 |
| 19 | EE | J. Ángel Velázquez-Iturbide,
Cristóbal Pareja-Flores,
Jaime Urquiza-Fuentes:
An approach to effortless construction of program animations.
Computers & Education 50(1): 179-192 (2008) |
| 2007 |
| 18 | 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 |
| 17 | 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 |
| 16 | | 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 |
| 15 | 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 |
| 14 | 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 |
| 13 | EE | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Adding Traces to a Lazy Monadic Evaluator.
EUROCAST 2001: 627-641 |
| 12 | 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 |
| 11 | | 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 |
| 10 | | 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 |
| 2000 |
| 9 | | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Optimising Eden by transformation.
Scottish Functional Programming Workshop 2000: 13-26 |
| 8 | | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Optimizing Eden by Program Transformation.
WFLP 2000: 89-103 |
| 1999 |
| 7 | | 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 |
| 6 | | Cristóbal Pareja-Flores,
J. Ángel Velázquez-Iturbide:
Synthesis of Functions by Transformations and Constraints.
ICFP 1997: 317 |
| 5 | 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 |
| 1996 |
| 4 | | Luis A. Galán,
Cristóbal Pareja,
Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden.
APPIA-GULP-PRODE 1996: 245-258 |
| 3 | EE | Luis A. Galán,
Cristóbal Pareja,
Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden.
PLILP 1996: 289-303 |
| 1995 |
| 2 | | Cristóbal Pareja,
Ricardo Pena,
J. Ángel Velázquez-Iturbide:
A Tabulation Transformation Tactic Using Haskell Arrays.
GULP-PRODE 1995: 485-496 |
| 1994 |
| 1 | | Luis A. Galán,
Manuel Núñez,
Cristóbal Pareja,
Ricardo Pena:
Non Homomorphic Reductions of Data Structures.
GULP-PRODE (2) 1994: 393-407 |