Complete monotonic semantic path orderings C Borralleras, M Ferreira, A Rubio Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000 | 65 | 2000 |
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 | 64 | 2012 |
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 | 52 | 2009 |
Proving termination through conditional termination C Borralleras, M Brockschmidt, D Larraz, A Oliveras, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 43 | 2017 |
Recursive path orderings can be context-sensitive C Borralleras, S Lucas, A Rubio International Conference on Automated Deduction, 314-331, 2002 | 37 | 2002 |
A monotonic higher-order semantic path ordering C Borralleras, A Rubio International Conference on Logic for Programming Artificial Intelligence …, 2001 | 31 | 2001 |
Ordering-based methodos for proving termination automatically CB Andreu Universitat Politècnica de Catalunya (UPC), 2003 | 29 | 2003 |
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 | 19 | 2019 |
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 | 13 | 2013 |
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 | 11 | 2019 |
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 | 9 | 2023 |
Orderings and constraints: Theory and practice of proving termination C Borralleras, A Rubio Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud …, 2007 | 8 | 2007 |
Monotonic AC-compatible semantic path orderings C Borralleras, A Rubio International Conference on Rewriting Techniques and Applications, 279-295, 2003 | 6 | 2003 |
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 | 5 | 2016 |
Termptation: termination proof techniques automation C Borralleras, A Rubio | 5 | |
Termptation C Borralleras, A Rubio Rubio [27], 61-63, 2003 | 4 | 2003 |
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 | 3 | 2023 |
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 | 2 | 2022 |
Proving termination by the Reduction Constraint Framework C Borralleras, A Rubio Termination, 11, 2003 | 2 | 2003 |
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 | 1 | 2023 |