I agree that this site is using cookies. You can find further informations here.
X
Borralleras, Cristina
35  results:
Search for persons X
?
1

Resource Analysis driven by (Conditional) Termination Proof:

ALBERT, ELVIRA ; BOFILL, MIQUEL ; BORRALLERAS, CRISTINA..
Theory and Practice of Logic Programming.  19 (2019)  5-6 - p. 722-739 , 2019
Link: https://doi.org/10.1017/..
 
?
2

Incomplete SMT Techniques for Solving Non-Linear Formulas o..:

Borralleras, Cristina ; Larraz, Daniel ; Rodríguez-Carbonell, Enric..
ACM Transactions on Computational Logic (TOCL).  20 (2019)  4 - p. 1-36 , 2019
Link: https://dl.acm.org/doi/1..
 
?
3

Incomplete SMT Techniques for Solving Non-Linear Formulas o..:

Borralleras, Cristina ; Larraz, Daniel ; Rodríguez-Carbonell, Enric..
ACM Transactions on Computational Logic.  20 (2019)  4 - p. 1-36 , 2019
Link: https://doi.org/10.1145/..
 
?
4

Epigallocatechin-3-gallate improves cardiac hypertrophy and..:

Ortiz-Romero, Paula ; Borralleras, Cristina ; Bosch-Morató, Mònica...
PLOS ONE.  13 (2018)  3 - p. e0194476 , 2018
Link: https://doi.org/10.1371/..
 
?
5

Synaptic plasticity and spatial working memory are impaired..:

Borralleras, Cristina ; Mato, Susana ; Amédée, Thierry...
Molecular Brain.  9 (2016)  1 - p. , 2016
Link: https://doi.org/10.1186/..
 
?
6

Intracisternal Gtf2i Gene Therapy Ameliorates Deficits in C..:

Borralleras, Cristina ; Sahun, Ignasi ; Pérez-Jurado, Luis A.
Molecular Therapy.  23 (2015)  11 - p. 1691-1699 , 2015
Link: https://doi.org/10.1038/..
 
?
7

Metabolic abnormalities in Williams–Beuren syndrome:

Palacios-Verdú, María Gabriela ; Segura-Puimedon, Maria ; Borralleras, Cristina...
Journal of Medical Genetics.  52 (2015)  4 - p. 248-255 , 2015
Link: https://doi.org/10.1136/..
 
?
8

Heterozygous deletion of the Williams–Beuren syndrome criti..:

Segura-Puimedon, Maria ; Sahún, Ignasi ; Velot, Emilie...
Human Molecular Genetics.  23 (2014)  24 - p. 6481-6494 , 2014
Link: https://doi.org/10.1093/..
 
?
9

TFII-I regulates target genes in the PI-3K and TGF-β signal..:

Segura-Puimedon, Maria ; Borralleras, Cristina ; Pérez-Jurado, Luis A..
Gene.  527 (2013)  2 - p. 529-536 , 2013
Link: https://doi.org/10.1016/..
 
?
10

SAT Modulo Linear Arithmetic for Solving Polynomial Constra..:

Borralleras, Cristina ; Lucas, Salvador ; Oliveras, Albert..
Journal of Automated Reasoning.  48 (2010)  1 - p. 107-131 , 2010
Link: https://doi.org/10.1007/..
 
?
11

Update on Bimervax® immunogenicity amplitude. Insights on h..:

Borralleras, Cristina ; Sanz, Javier Castrodeza ; Arrazola, Pilar...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10710682/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
12

On Grid Graph Reachability and Puzzle Games:

Bofill, Miquel ; Borralleras, Cristina ; Espasa, Joan.
http://arxiv.org/abs/2310.01378.  , 2023
Link: http://arxiv.org/abs/231..
 
?
13

The PHH-1V HIPRA vaccine: a new tool in the vaccination str..:

Borralleras, Cristina ; Sanz, Javier Castrodeza ; Arrazola, Pilar...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10586735/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
14

The PHH-1V HIPRA vaccine: a new tool in the vaccination str..:

Borralleras, Cristina ; Castrodeza Sanz, Javier ; Cámara Hijón, Carmen...
Revista Española de Quimioterapia.  , 2023
Link: https://hdl.handle.net/2..
 
?
15

A Good Snowman is Hard to Plan:

Bofill, Miquel ; Borralleras, Cristina ; Espasa, Joan...
http://arxiv.org/abs/2310.01471.  , 2023
Link: http://arxiv.org/abs/231..
 
1-15