Follow
Cristina Borralleras
Cristina Borralleras
Verified email at uvic.cat
Title
Cited by
Cited by
Year
Complete monotonic semantic path orderings
C Borralleras, M Ferreira, A Rubio
Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000
652000
SAT modulo linear arithmetic for solving polynomial constraints
C Borralleras, S Lucas, A Oliveras, E Rodríguez-Carbonell, A Rubio
Journal of Automated Reasoning 48 (1), 107-131, 2012
642012
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
C Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ...
International Conference on Automated Deduction, 294-305, 2009
522009
Proving termination through conditional termination
C Borralleras, M Brockschmidt, D Larraz, A Oliveras, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
432017
Recursive path orderings can be context-sensitive
C Borralleras, S Lucas, A Rubio
International Conference on Automated Deduction, 314-331, 2002
372002
A monotonic higher-order semantic path ordering
C Borralleras, A Rubio
International Conference on Logic for Programming Artificial Intelligence …, 2001
312001
Ordering-based methodos for proving termination automatically
CB Andreu
Universitat Politècnica de Catalunya (UPC), 2003
292003
Resource analysis driven by (conditional) termination proofs
E Albert, M Bofill, C Borralleras, E Martin-Martin, A Rubio
Theory and Practice of Logic Programming 19 (5-6), 722-739, 2019
192019
The recursive path and polynomial ordering for first-order and higher-order terms
M Bofill, C Borralleras, E Rodríguez-Carbonell, A Rubio
Journal of Logic and Computation 23 (1), 263-305, 2013
132013
Incomplete SMT techniques for solving non-linear formulas over the integers
C Borralleras, D Larraz, E Rodríguez-Carbonell, A Oliveras, A Rubio
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-36, 2019
112019
The PHH-1V HIPRA vaccine: a new tool in the vaccination strategy against COVID-19
C Borralleras, JC Sanz, P Arrazola, CC Hijón, JM Eiros, ...
Revista Española de Quimioterapia 36 (5), 507, 2023
92023
Orderings and constraints: Theory and practice of proving termination
C Borralleras, A Rubio
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud …, 2007
82007
Monotonic AC-compatible semantic path orderings
C Borralleras, A Rubio
International Conference on Rewriting Techniques and Applications, 279-295, 2003
62003
VeryMax: tool description for termCOMP 2016
C Borralleras, D Larraz, A Oliveras, JM Rivero, E Rodríguez-Carbonell, ...
15th International Workshop on Termination 18, 2016
52016
Termptation: termination proof techniques automation
C Borralleras, A Rubio
5
Termptation
C Borralleras, A Rubio
Rubio [27], 61-63, 2003
42003
Update on Bimervax® immunogenicity amplitude. Insights on humoral response against XBB. 1.5 from an extension study (NTC05142553)
C Borralleras, JC Sanz, P Arrazola, C Cámara-Hijón, JM Eiros, MF Prada, ...
Revista Española de Quimioterapia 36 (6), 658, 2023
32023
Effectiveness of treatment with Pygeum africanum in patients with lower urinary tract symptoms and benign prostatic hyperplasia: a cross-sectional study in the real-world …
J Cambronero, JM Osca-García, S Merino-Salas, JM Miguel, ...
Archivos Espanoles de Urologia 75 (3), 219-227, 2022
22022
Proving termination by the Reduction Constraint Framework
C Borralleras, A Rubio
Termination, 11, 2003
22003
A good snowman is hard to plan
M Bofill, C Borralleras, J Espasa, G Martín, G Patow, M Villaret
arXiv preprint arXiv:2310.01471, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20