Complete Monotonic Semantic Path Orderings. - Cristina Borralleras; Maria Ferreira; Albert Rubio (CADE, 2000)

A Monotonic Higher-Order Semantic Path Ordering. - Cristina Borralleras; Albert Rubio (LPAR, 2001)

Recursive Path Orderings Can Be Context-Sensitive. - Cristina Borralleras; Salvador Lucas; Albert Rubio (CADE, 2002)

Monotonic AC-Compatible Semantic Path Orderings. - Cristina Borralleras; Albert Rubio (RTA, 2003)

Orderings and Constraints: Theory and Practice of Proving Termination. - Cristina Borralleras; Albert Rubio (Rewriting, Computation and Proof, 2007)

Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. - Cristina Borralleras; Salvador Lucas; Rafael Navarro-Marset; Enric Rodríguez-Carbonell; Albert Rubio (CADE, 2009)

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. - Cristina Borralleras; Salvador Lucas; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (J. Autom. Reason., 2012)

The recursive path and polynomial ordering for first-order and higher-order terms. - Miquel Bofill; Cristina Borralleras; Enric Rodríguez-Carbonell; Albert Rubio (J. Log. Comput., 2013)

Proving Termination Through Conditional Termination. - Cristina Borralleras; Marc Brockschmidt; Daniel Larraz; Albert Oliveras; Enric Rodríguez-Carbonell; Albert Rubio (TACAS (1), 2017)

Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. - Cristina Borralleras; Daniel Larraz; Enric Rodríguez-Carbonell; Albert Oliveras; Albert Rubio (ACM Trans. Comput. Log., 2019)

Resource Analysis driven by (Conditional) Termination Proofs. - Elvira Albert; Miquel Bofill; Cristina Borralleras; Enrique Martin-Martin; Albert Rubio (Theory Pract. Log. Program., 2019)

On Grid Graph Reachability and Puzzle Games. - Miquel Bofill; Cristina Borralleras; Joan Espasa; Mateu Villaret (CoRR, 2023)

A Good Snowman is Hard to Plan. - Miquel Bofill; Cristina Borralleras; Joan Espasa; Gerard Martín; Gustavo Patow; Mateu Villaret (CoRR, 2023)