Artikkelit, joihin on yleisen käytön mandaatti - Cristina BorrallerasLisätietoja
Ei saatavilla missään: 1
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
Mandaatit: Government of Spain
Saatavilla jossain: 12
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
Mandaatit: Government of Spain
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
Mandaatit: Government of Spain
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
Mandaatit: Government of Spain
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
Mandaatit: Government of Spain
Proving termination through conditional termination
C Borralleras, M Brockschmidt, D Larraz, A Oliveras, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
Mandaatit: European Commission
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
Mandaatit: Government of Spain
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
Mandaatit: US National Institutes of Health, Government of Spain
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
Mandaatit: Government of Spain
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
Mandaatit: Government of Spain
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
Mandaatit: Government of Spain
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
Mandaatit: European Commission, Government of Spain
Heterozygous deletion of the Williams-Beuren syndrome critical interval in mice recapitulates most features of the human disorder
AJ Rodrigues, N Sousa, M Segura, I Sahún, E Velot, P Dubus, ...
Oxford University Press, 2014
Mandaatit: Government of Spain
Tietokoneohjelma arvioi ja määrittää julkaisu- ja rahoitustiedot automaattisesti