Seguir
JESUS CORREAS FERNANDEZ
JESUS CORREAS FERNANDEZ
Profesor contratado doctor, Universidad Complutense de Madrid
Dirección de correo verificada de ucm.es - Página principal
Título
Citado por
Citado por
Año
Glucose metabolism in patients with essential hypertension
J García-Puig, LM Ruilope, M Luque, J Fernández, R Ortega, R Dal-Ré, ...
The American journal of medicine 119 (4), 318-326, 2006
1782006
Guía de práctica clínica en el pie diabético
R Del Castillo, J Fernández, F Del Castillo
Archivos de medicina 10 (2), 1-17, 2014
612014
GASOL: gas analysis and optimization for ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
International Conference on Tools and Algorithms for the Construction and …, 2020
562020
Cognitive reserve as an outcome predictor: first‐episode affective versus non‐affective psychosis
S Amoretti, B Cabrera, C Torrent, G Mezquida, A Lobo, A González‐Pinto, ...
Acta Psychiatrica Scandinavica 138 (5), 441-455, 2018
562018
Object‐sensitive cost analysis for concurrent objects
E Albert, P Arenas, J Correas, S Genaim, M Gómez‐Zamalloa, G Puebla, ...
Software Testing, Verification and Reliability 25 (3), 218-271, 2015
402015
Vagus nerve stimulation therapy for treatment-resistant epilepsy: a 15-year experience at a single institution
L Galbarriatu, I Pomposo, J Aurrecoechea, A Marinas, M Agúndez, ...
Clinical neurology and neurosurgery 137, 89-93, 2015
342015
Non-cumulative resource analysis
E Albert, JC Fernández, G Román-Díez
International Conference on Tools and Algorithms for the Construction and …, 2015
342015
A generic framework for context-sensitive analysis of modular programs
G Puebla, J Correas, MV Hermenegildo, F Bueno, MG Banda, K Marriott, ...
Program Development in Computational Logic, 233-260, 2004
272004
Instituto Nacional de Investigación y Tecnología Agraria y Alimentaria (INIA)
J Fernández
Spain, 0
26
Thermodynamics of rubber elasticity
J Pellicer, JA Manzanares, J Zúñiga, P Utrillas, J Fernández
Journal of Chemical Education 78 (2), 263, 2001
252001
Peak cost analysis of distributed systems
E Albert, J Correas, G Román-Díez
International Static Analysis Symposium, 18-33, 2014
242014
Incremental resource usage analysis
E Albert, J Correas, G Puebla, G Román-Díez
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
212012
Application of remediation techniques for immobilization of metals in soils contaminated by a pyrite tailing spill in Spain
J Aguilar, P Bouza, C Dorronsoro, E Fernández, J Fernández, I García, ...
Soil use and management 20 (4), 451-453, 2004
202004
A generic persistence model for (C) LP systems (and two useful implementations)
J Correas, JM Gómez, M Carro, D Cabeza, M Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 104-119, 2004
202004
Iniciación a la Física
J Fernández, M Pujal
tomo I). Reverté (Barcelona), 1985
191985
SAFEVM: a safety verifier for Ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
182019
Estructura y función de los hidratos de carbono: azúcares, almidón, glucógeno, celulosa
J Fernández
Ampliacion de Tecnologia de los Alimentos, 2005
182005
Tecnologías para el uso y transformación de biomasa energética
J Fernández, F Gutierrez, P Del Rio, G San Miguel, A Bahillo, J Sanchez, ...
Ediciones Paraninfo, SA, 2015
152015
Estimation of genealogical coancestry in plant species using a pedigree reconstruction algorithm and application to an oil palm breeding population
D Cros, L Sánchez, B Cochard, P Samper, M Denis, JM Bouvet, ...
Theoretical and applied genetics 127 (4), 981-994, 2014
152014
Context-sensitive multivariant assertion checking in modular programs
P Pietrzak, J Correas, G Puebla, MV Hermenegildo
International Conference on Logic for Programming Artificial Intelligence …, 2006
152006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20