Cristina Borralleras

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