| Heterozygous deletion of the Williams–Beuren syndrome critical interval in mice recapitulates most features of the human disorder M Segura-Puimedon, I Sahún, E Velot, P Dubus, C Borralleras, ... Human molecular genetics 23 (24), 6481-6494, 2014 | 89 | 2014 |
| Complete monotonic semantic path orderings C Borralleras, M Ferreira, A Rubio Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000 | 66 | 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 |
| Intracisternal Gtf2i gene therapy ameliorates deficits in cognition and synaptic plasticity of a mouse model of Williams–Beuren syndrome C Borralleras, I Sahun, LA Pérez-Jurado, V Campuzano Molecular Therapy 23 (11), 1691-1699, 2015 | 56 | 2015 |
| Metabolic abnormalities in Williams–Beuren syndrome MG Palacios-Verdú, M Segura-Puimedon, C Borralleras, R Flores, ... Journal of medical genetics 52 (4), 248-255, 2015 | 56 | 2015 |
| 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 | 44 | 2017 |
| Recursive path orderings can be context-sensitive C Borralleras, S Lucas, A Rubio International Conference on Automated Deduction, 314-331, 2002 | 37 | 2002 |
| Epigallocatechin-3-gallate improves cardiac hypertrophy and short-term memory deficits in a Williams-Beuren syndrome mouse model P Ortiz-Romero, C Borralleras, M Bosch-Morató, B Guivernau, G Albericio, ... PLoS One 13 (3), e0194476, 2018 | 33 | 2018 |
| A monotonic higher-order semantic path ordering C Borralleras, A Rubio International Conference on Logic for Programming Artificial Intelligence …, 2001 | 31 | 2001 |
| Synaptic plasticity and spatial working memory are impaired in the CD mouse model of Williams-Beuren syndrome C Borralleras, S Mato, T Amédée, C Matute, C Mulle, LA Pérez-Jurado, ... Molecular brain 9, 1-12, 2016 | 30 | 2016 |
| Ordering-based methodos for proving termination automatically CB Andreu Universitat Politècnica de Catalunya (UPC), 2003 | 30 | 2003 |
| TFII-I regulates target genes in the PI-3K and TGF-β signaling pathways through a novel DNA binding motif M Segura-Puimedon, C Borralleras, LA Pérez-Jurado, V Campuzano Gene 527 (2), 529-536, 2013 | 22 | 2013 |
| 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 |
| CIBERER: Spanish national network for research on rare diseases: A highly productive collaborative initiative J Luque, I Mendes, B Gomez, B Morte, M López de Heredia, E Herreras, ... Clinical genetics 101 (5-6), 481-493, 2022 | 14 | 2022 |
| 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 | 12 | 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 | 10 | 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 |
