Cristina Borralleras

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 7

Top Topics

Rewrite Systems

Theorem Proving

Top Venues

ACM Trans. Comput. Log.

J. Log. Comput.

Publications

Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret
On Grid Graph Reachability and Puzzle Games. CoRR (2023)
Miquel Bofill, Cristina Borralleras, Joan Espasa, Gerard Martín, Gustavo Patow, Mateu Villaret
A Good Snowman is Hard to Plan. CoRR (2023)
Cristina Borralleras, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. CoRR (2020)
Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio
Resource Analysis driven by (Conditional) Termination Proofs. Theory Pract. Log. Program. 19 (5-6) (2019)
Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. ACM Trans. Comput. Log. 20 (4) (2019)
Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio
Resource Analysis driven by (Conditional) Termination Proofs. CoRR (2019)
Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Proving Termination Through Conditional Termination. TACAS (1) (2017)
Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio
The recursive path and polynomial ordering for first-order and higher-order terms. J. Log. Comput. 23 (1) (2013)
Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. J. Autom. Reason. 48 (1) (2012)
Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. CADE (2009)
Cristina Borralleras, Albert Rubio
Orderings and Constraints: Theory and Practice of Proving Termination. Rewriting, Computation and Proof (2007)
Cristina Borralleras, Albert Rubio
Monotonic AC-Compatible Semantic Path Orderings. RTA (2003)
Cristina Borralleras, Salvador Lucas, Albert Rubio
Recursive Path Orderings Can Be Context-Sensitive. CADE (2002)
Cristina Borralleras, Albert Rubio
A Monotonic Higher-Order Semantic Path Ordering. LPAR (2001)
Cristina Borralleras, Maria Ferreira, Albert Rubio
Complete Monotonic Semantic Path Orderings. CADE (2000)