A graphical approach to monad compositions. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (MFCSIT, 2000)

Composing Submonads. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (ISMVL, 2001)

A categorical approach to unification of generalised terms. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (UNCL@ICALP, 2002)

Similarities between powersets of terms. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (Fuzzy Sets Syst., 2004)

Categorical Unification. - María Ángeles Galán García (2004)

A note on partially ordered generalized terms. - Patrik Eklund; Maria A. Galán; Werner Gähler; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (EUSFLAT Conf., 2005)

Monads Can Be Rough. - Patrik Eklund; Maria A. Galán (RSCTC, 2006)

Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras. - Patrik Eklund; Maria A. Galán; Werner Gähler (MFCSIT, 2006)

On Logic with Fuzzy and Rough Powerset Monads. - Patrik Eklund; Maria A. Galán (RSEISP, 2007)

Powersets of terms and composite monads. - Patrik Eklund; Maria A. Galán; Jesús Medina 001; Manuel Ojeda-Aciego; Agustín Valverde (Fuzzy Sets Syst., 2007)

The Rough Powerset Monad. - Patrik Eklund; Maria A. Galán (J. Multiple Valued Log. Soft Comput., 2007)

Partially Ordered Monads and Rough Sets. - Patrik Eklund; María Ángeles Galán García (Trans. Rough Sets, 2008)

Paradigms for Non-classical Substitutions. - Patrik Eklund; Maria A. Galán; Jari Kortelainen; Lawrence Neff Stout (ISMVL, 2009)

Paradigms for Many-sorted Non-classical Substitutions. - Patrik Eklund; Robert Helgesson; María Ángeles Galán García; Jari Kortelainen (ISMVL, 2011)

From Aristotle to Lotfi. - Patrik Eklund; María Ángeles Galán García; Robert Helgesson; Jari Kortelainen (On Fuzziness (1), 2013)

Towards Categorical Fuzzy Logic Programming. - Patrik Eklund; María Ángeles Galán García; Robert Helgesson; Jari Kortelainen; Ginés Moreno; Carlos Vázquez (WILF, 2013)

A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. - Inmaculada Fortes; Maria A. Galán; Gabriel Aguilera 001; Alfredo Burrieza; J. Morones; Sixto Sánchez (Fuzzy Sets Syst., 2013)

Monadic Formal Concept Analysis. - Patrik Eklund; María Ángeles Galán García; Jari Kortelainen; Manuel Ojeda-Aciego (RSCTC, 2014)

Fuzzy terms. - Patrik Eklund; María Ángeles Galán García; Robert Helgesson; Jari Kortelainen (Fuzzy Sets Syst., 2014)

A new Probabilistic Extension of Dijkstra's Algorithm to simulate more realistic traffic flow in a smart city. - José Luis Galán García; Gabriel Aguilera Venegas; María Ángeles Galán García; Pedro Rodríguez Cielos (Appl. Math. Comput., 2015)

Improving CAS capabilities: New rules for computing improper integrals. - José Luis Galán García; Gabriel Aguilera Venegas; María Ángeles Galán García; Pedro Rodríguez Cielos; Iván Atencia-McKillop (Appl. Math. Comput., 2018)

A Geo[X]/G[X]/1 retrial queueing system with removal work and total renewal discipline. - Iván Atencia-McKillop; José Luis Galán García; Gabriel Aguilera Venegas; Pedro Rodríguez Cielos; María Ángeles Galán García (Appl. Math. Comput., 2018)

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)

An arriving decision problem in a discrete-time queueing system. - Iván Atencia-McKillop; José Luis Galán García; Gabriel Aguilera Venegas; Pedro Rodríguez Cielos; María Ángeles Galán García (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)

Applications of Partial Differential Equations in Science and Engineering. - José Luis Galán García; Gabriel Aguilera Venegas; María Ángeles Galán García (Comput. Math. Appl., 2019)

Foreword. - José Luis Galán García; Gabriel Aguilera Venegas; María Ángeles Galán García (Math. Comput. Sci., 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)

A non markovian retrial queueing system. - Iván Atencia; María Ángeles Galán García; Gabriel Aguilera Venegas; José Luis Galán García (J. Comput. Appl. Math., 2023)

Foreword to the Special Issue of ESCO 2022 Conference. - José Luis Galán García; Gabriel Aguilera Venegas; María Ángeles Galán García (Math. Comput. Sci., 2023)

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 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)