Cristina Borralleras
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2000–2017
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | TACAS | Proving Termination Through Conditional Termination. | Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2009 | CADE | Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. | Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodrguez-Carbonell, Albert Rubio |
| 2002 | CADE | Recursive Path Orderings Can Be Context-Sensitive. | Cristina Borralleras, Salvador Lucas, Albert Rubio |
| 2001 | LPAR | A Monotonic Higher-Order Semantic Path Ordering. | Cristina Borralleras, Albert Rubio |
| 2000 | CADE | Complete Monotonic Semantic Path Orderings. | Cristina Borralleras, Maria Ferreira, Albert Rubio |