TAS-D++ vs tablas semanticas. - Gabriel Aguilera 001; José Luis Galán; Inman P. de Guzmán; Manuel Ojeda-Aciego (GULP-PRODE (2), 1994)

TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego (JELIA, 1994)

Increasing the efficiency of automated theorem proving. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego (J. Appl. Non Class. Logics, 1995)

Reducing signed propositional formulas. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Soft Comput., 1998)

Reductions for non-clausal theorem proving. - Gabriel Aguilera 001; Inman P. de Guzmán; Manuel Ojeda-Aciego; Agustín Valverde (Theor. Comput. Sci., 2001)

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. - Gabriel Aguilera 001; Pablo Cordero; Manuel Enciso; Ángel Mora 001; Inmaculada Perez de Guzmán (SBIA, 2004)

MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. - Gabriel Aguilera 001; Alfredo Burrieza; Pablo Cordero; Inmaculada Perez de Guzmán; Emilio Muñoz-Velasco (IBERAMIA-SBIA, 2006)

Performance of MIMO MRC Systems with Co-Channel Interference. - Juan M. Romero-Jerez; Juan P. Peña-Martin; Gabriel Aguilera 001; Andrea J. Goldsmith (ICC, 2006)

A new closure algorithm based in logic: SLFD-Closure versus classical closures. - Ángel Mora 001; Gabriel Aguilera 001; Manuel Enciso; Pablo Cordero; Inmaculada Perez de Guzmán (Inteligencia Artif., 2006)

Performance comparison of MRC and IC under transmit diversity. - Andrea J. Goldsmith; Juan P. Peña-Martin; Gabriel Aguilera 001; Juan M. Romero-Jerez (IEEE Trans. Wirel. Commun., 2009)

A New Neural Model for Traffic Simulation. - Enrique Mérida Casermeiro; Gabriel Aguilera Venegas; José Luis Galán García; Pedro Rodríguez Cielos (ICANN (3), 2010)

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)

Closure via functional dependence simplification. - Ángel Mora 001; Pablo Cordero; Manuel Enciso; Inmaculada Fortes; Gabriel Aguilera 001 (Int. J. Comput. Math., 2012)

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)

An accelerated-time simulation for traffic flow in a smart city. - José Luis Galán García; Gabriel Aguilera Venegas; Pedro Rodríguez Cielos (J. Comput. Appl. Math., 2014)

Technology integration into mathematics education and applications. - José Luis Galán García; Gabriel Aguilera Venegas; Pedro Rodríguez Cielos (J. Symb. Comput., 2014)

An accelerated-time simulation of car traffic on a motorway using a CAS. - Gabriel Aguilera Venegas; José Luis Galán García; José Manuel García 002; Enrique Mérida Casermeiro; Pedro Rodríguez Cielos (Math. Comput. Simul., 2014)

An accelerated-time simulation of baggage traffic in an airport terminal. - Gabriel Aguilera Venegas; José Luis Galán García; Enrique Mérida Casermeiro; Pedro Rodríguez Cielos (Math. Comput. Simul., 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)

A portable knowledge-based system for car breakdown evaluation. - Eugenio Roanes-Lozano; José Luis Galán García; Gabriel Aguilera Venegas (Appl. Math. Comput., 2015)

A prototype of a RBES for personalized menus generation. - Eugenio Roanes-Lozano; José Luis Galán García; Gabriel Aguilera Venegas (Appl. Math. Comput., 2017)

Partial differential equations based simulations in multiple space dimensions. - José Luis Galán García; Gabriel Aguilera Venegas (Comput. Math. Appl., 2017)

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 prototype of a functional approach to personalized menus generation using set operations. - Eugenio Roanes-Lozano; José Luis Galán García; Gabriel Aguilera Venegas (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 computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations. - Eugenio Roanes-Lozano; José Luis Galán García; Gabriel Aguilera Venegas (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)

Comparing and tuning machine learning algorithms to predict type 2 diabetes mellitus. - Gabriel Aguilera Venegas; Amador López-Molina; Gemma Rojo-Martínez; José Luis Galán García (J. Comput. Appl. Math., 2023)

A proposal of a mixed diagnostic system based on decision trees and probabilistic experts rules. - Gabriel Aguilera Venegas; Eugenio Roanes-Lozano; Gemma Rojo-Martínez; José Luis Galán García (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)