Non Homomorphic Reductions of Data Structures. - Luis A. Galán; Manuel Núñez 001; Cristóbal Pareja; Ricardo Pena (GULP-PRODE (2), 1994)

A Tabulation Transformation Tactic Using Haskell Arrays. - Cristóbal Pareja; Ricardo Pena; J. Ángel Velázquez-Iturbide (GULP-PRODE, 1995)

A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci. - Óscar Martín-Sánchez; Cristóbal Pareja-Flores (ACM SIGCSE Bull., 1995)

Functional Skeletons Generate Process Topologies in Eden. - Luis A. Galán; Cristóbal Pareja; Ricardo Pena (APPIA-GULP-PRODE, 1996)

Graphical visualization of the evaluation of functional programs. - Ricardo Jiménez-Peris; Cristóbal Pareja-Flores; Marta Patiño-Martínez; J. Ángel Velázquez-Iturbide (ITiCSE, 1996)

Synthesis of Functions by Transformations and Constraints. - Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (ICFP, 1997)

Visual HIPE: a prototype for the graphical visualization of functional expressions (demonstration). - Ricardo Jiménez-Peris; Marta Patiño-Martínez; J. Ángel Velázquez-Iturbide; Cristóbal Pareja-Flores (ITiCSE-WGR, 1997)

The locker metaphor to teach dynamic memory. - Ricardo Jiménez-Peris; Cristóbal Pareja-Flores; Marta Patiño-Martínez; J. Ángel Velázquez-Iturbide (SIGCSE, 1997)

Calculating Encoding and Decoding Functions for Prefix Codes. - Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (ACM SIGPLAN Notices, 1999)

Optimising Eden by transformation. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (Scottish Functional Programming Workshop, 2000)

Optimizing Eden by Program Transformation. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (WFLP, 2000)

Local versus comprehensive assignments: two complementary approaches. - Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (ACM SIGCSE Bull., 2000)

EXercita. A System for Archiving and Publishing Programming Exercises. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; R. Martínez; Pedro Palao-Gostanza; Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (Computers and Education. Towards an Interconnected Society, 2001)

Adding Traces to a Lazy Monadic Evaluator. - Cristóbal Pareja; Ricardo Pena; Fernando Rubio 001; Clara Segura (EUROCAST, 2001)

EXercita: automatic web publishing of programming exercises. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; Pedro Palao-Gostanza; Cristóbal Pareja-Flores; Raquel Martínez-Unanue 001; J. Ángel Velázquez-Iturbide (ITiCSE, 2001)

Toward Friendly, Dialog-based Construction of Algorithm Visualizations and Animations. - Fernando Naharro-Berrocal; Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (VIIP, 2001)

Electronic books for programming education: a review and future prospects. - Raquel Martínez-Unanue 001; Maximiliano Paredes-Velasco; Cristóbal Pareja-Flores; Jaime Urquiza-Fuentes; J. Ángel Velázquez-Iturbide (ITiCSE, 2002)

Approaches to comprehension-preserving graphical reduction of program visualizations. - Fernando Naharro-Berrocal; Cristóbal Pareja-Flores; Jaime Urquiza-Fuentes; J. Ángel Velázquez-Iturbide (SAC, 2002)

A system to generate electronic books on programming exercises. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; Cristóbal Pareja-Flores; Raquel Martínez-Unanue 001; J. Ángel Velázquez-Iturbide; Pedro Palao-Gostanza (Electron. Libr., 2002)

Program Execution and Visualization on the Web. - Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (Encyclopedia of Information Science and Technology (IV), 2005)

An Instructor's Guide to Design Web-Based Algorithm Animations. - J. Ángel Velázquez-Iturbide; David Redondo-Martín; Cristóbal Pareja-Flores; Jaime Urquiza-Fuentes (ICWL, 2007)

WinHIPE: an IDE for functional programming based on rewriting and visualization. - Cristóbal Pareja-Flores; Jaime Urquiza-Fuentes; J. Ángel Velázquez-Iturbide (ACM SIGPLAN Notices, 2007)

Testing-Based Automatic Grading: A Proposal from Bloom's Taxonomy. - Isidoro Hernán-Losada; Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (ICALT, 2008)

A gentle introduction to mutual recursion. - Manuel Rubio-Sánchez; Jaime Urquiza-Fuentes; Cristóbal Pareja-Flores (ITiCSE, 2008)

An approach to effortless construction of program animations. - J. Ángel Velázquez-Iturbide; Cristóbal Pareja-Flores; Jaime Urquiza-Fuentes (Comput. Educ., 2008)

FLOP, a free laboratory of programming. - Luis Llana; Enrique Martin-Martin; Cristóbal Pareja-Flores (Koli Calling, 2012)

Student perception and usage of an automated programming assessment tool. - Manuel Rubio-Sánchez; Päivi Kinnunen; Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (Comput. Hum. Behav., 2014)

FLOP: A User-Friendly System for Automated Program Assessment. - Luis Llana; Enrique Martin-Martin; Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (J. Univers. Comput. Sci., 2014)

Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. - Jose Luis Brita-Paja; Carlos Gregorio-Rodríguez; Luis Llana; Cristóbal Pareja; Adrián Riesco 001 (Interact. Learn. Environ., 2019)

A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems. - Daniel Gomez Gonzalez 001; Luis Fernando Llana Díaz; Cristóbal Pareja (J. Univers. Comput. Sci., 2022)

Modelling Extreme Uncertainty: Queues with Pareto Inter-arrival Times and Pareto Service Times. - Raúl V. Ramírez-Velarde; Cristóbal Pareja-Flores; Neil Hernández-Gress; Laura Hervert-Escobar (ICCS (Workshops 6), 2025)