Explicit Comparison Theorems for D-modules. - F. J. Castro-Jiménez; José María Ucha-Enríquez (J. Symb. Comput., 2001)

Testing the Logarithmic Comparison Theorem for Free Divisors. - Francisco Jesus Castro-Jiménez; José María Ucha-Enríquez (Exp. Math., 2004)

On the computation of Bernstein-Sato ideals. - José María Ucha-Enríquez; Francisco Jesus Castro-Jiménez (J. Symb. Comput., 2004)

Nouvelle Cuisine for the Computation of the Annihilating Ideal of fs. - Jesús Gago-Vargas; María Isabel Hartillo-Hermoso; José María Ucha-Enríquez (CASC, 2005)

Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials. - Jesús Gago-Vargas; María Isabel Hartillo-Hermoso; José María Ucha-Enríquez (J. Symb. Comput., 2005)

Sudokus and Gröbner Bases: Not Only a Divertimento. - Jesús Gago-Vargas; María Isabel Hartillo-Hermoso; Jorge Martín-Morales; José María Ucha-Enríquez (CASC, 2006)

Algorithmic Invariants for Alexander Modules. - Jesús Gago-Vargas; María Isabel Hartillo-Hermoso; José María Ucha-Enríquez (CASC, 2006)

Gröbner bases and logarithmic D-modules. - F. J. Castro-Jiménez; José María Ucha-Enríquez (J. Symb. Comput., 2006)

An algebraic approach to integer portfolio problems. - F. E. Castro-Jiménez; Jesús Gago-Vargas; María Isabel Hartillo-Hermoso; Justo Puerto; José María Ucha-Enríquez (Eur. J. Oper. Res., 2011)

Exact cost minimization of a series-parallel reliable system with multiple component choices using an algebraic method. - Jesús Gago-Vargas; María Isabel Hartillo-Hermoso; Justo Puerto; José María Ucha-Enríquez (Comput. Oper. Res., 2013)

An improved test set approach to nonlinear integer problems with applications to engineering design. - Jesús Gago-Vargas; María Isabel Hartillo-Hermoso; Justo Puerto; José María Ucha-Enríquez (Comput. Optim. Appl., 2015)

Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets. - María Isabel Hartillo-Hermoso; José Manuel Jiménez Cobano; José María Ucha-Enríquez (CASC, 2018)

Finding multiplies solutions for non-linear integer programming. - José Manuel Jiménez Cobano; José María Ucha-Enríquez (Electron. Notes Discret. Math., 2018)

An exact algebraic ϵ-constraint method for bi-objective linear integer programming based on test sets. - María Isabel Hartillo-Hermoso; Haydee Jiménez-Tafur; José María Ucha-Enríquez (Eur. J. Oper. Res., 2020)