Automated generation of contrapuntal musical compositions using probabilistic logic in Derive. - Gabriel Aguilera Venegas; José Luis Galán García; Rafael Madrid; Antonio Manuel Martínez; Yolanda Padilla; Pedro Rodríguez Cielos (Math. Comput. Simul., 2010)

Enhancing Cas improper integrals computations using extensions of the residue theorem. - José Luis Galán García; Gabriel Aguilera Venegas; María Ángeles Galán García; Pedro Rodríguez Cielos; Iván Atencia-McKillop; Yolanda Padilla-Domínguez (Adv. Comput. Math., 2019)

A probabilistic extension to Conway's Game of Life. - Gabriel Aguilera Venegas; José Luis Galán García; Rocío Egea-Guerrero; María Ángeles Galán García; Pedro Rodríguez Cielos; Yolanda Padilla-Domínguez; María Galán-Luque (Adv. Comput. Math., 2019)

SFOPDES: A Stepwise First Order Partial Differential Equations Solver with a Computer Algebra System. - José Luis Galán García; Gabriel Aguilera Venegas; Pedro Rodríguez Cielos; Yolanda Padilla-Domínguez; María Ángeles Galán García (Comput. Math. Appl., 2019)

A discrete-time queueing system with three different strategies. - Iván Atencia-McKillop; José Luis Galán García; Gabriel Aguilera Venegas; Pedro Rodríguez Cielos; María Ángeles Galán García; Yolanda Padilla-Domínguez (J. Comput. Appl. Math., 2021)

SODES: Solving ordinary differential equations step by step. - José Luis Galán García; Pedro Rodríguez Cielos; María Ángeles Galán García; Morgan le Goff; Yolanda Padilla-Domínguez; Pablo Rodríguez-Padilla; Iván Atencia; Gabriel Aguilera Venegas (J. Comput. Appl. Math., 2023)

A discrete-time queue with service time adjustments and general retrial times. - Iván Atencia; José Luis Galán García; Yolanda Padilla-Domínguez; Pedro Rodríguez Cielos (J. Comput. Appl. Math., 2025)

A library in CoCoA for implementing railway interlocking systems. - Antonio Hernando; José Luis Galán García; Yolanda Padilla-Domínguez; María Ángeles Galán García; Gabriel Aguilera Venegas (J. Comput. Appl. Math., 2025)