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 | 178 | 2006 |
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 | 61 | 2014 |
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 | 56 | 2020 |
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 | 56 | 2018 |
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 | 40 | 2015 |
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 | 34 | 2015 |
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 | 34 | 2015 |
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 | 27 | 2004 |
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 | 25 | 2001 |
Peak cost analysis of distributed systems E Albert, J Correas, G Román-Díez International Static Analysis Symposium, 18-33, 2014 | 24 | 2014 |
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 | 21 | 2012 |
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 | 20 | 2004 |
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 | 20 | 2004 |
Iniciación a la Física J Fernández, M Pujal tomo I). Reverté (Barcelona), 1985 | 19 | 1985 |
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 | 18 | 2019 |
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 | 18 | 2005 |
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 | 15 | 2015 |
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 | 15 | 2014 |
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 | 15 | 2006 |