Follow
JESUS CORREAS FERNANDEZ
JESUS CORREAS FERNANDEZ
Profesor contratado doctor, Universidad Complutense de Madrid
Verified email at ucm.es - Homepage
Title
Cited by
Cited by
Year
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
1792006
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
632014
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
512020
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
392015
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
Peak cost analysis of distributed systems
E Albert, J Correas, G Román-Díez
International Static Analysis Symposium, 18-33, 2014
242014
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
201985
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
192019
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
192012
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
162015
Evaluación del impacto en cuidadores de usuarios del Servicio de Ayuda a Domicilio
ME Medina, J Fernández, M Fuentes, M Hernández, R Pérez, ...
Anales de Psicología/Annals of Psychology 14 (1), 105-126, 1998
161998
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
Experiments in context-sensitive analysis of modular programs
J Correas, G Puebla, MV Hermenegildo, F Bueno
International Symposium on Logic-Based Program Synthesis and Transformation …, 2005
142005
Análisis sedimentológico de los materiales lacustres (Formación de Gorafe-Huelago) del sector central de la depresión de Guadix
ME Arribas, J Fernández, JM García-Aguilar
Estudios Geol 44 (6), 1988
141988
γ-Halogenation of α, β-unsaturated aldehydes
MJ Berenguer, J Castells, J Fernandez, RM Galard
Tetrahedron Letters 12 (6), 493-494, 1971
141971
The system can't perform the operation now. Try again later.
Articles 1–20