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
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
1272020
Hirudinea
J Fernández, V Tellez, N Olea
Microscopic anatomy of invertebrates 7, 323-394, 1992
791992
Effect of high pressure processing on carotenoid and phenolic compounds, antioxidant capacity, and microbial counts of bee-pollen paste and bee-pollen-based beverage
C Zuluaga, A Martínez, J Fernández, J López-Baldó, A Quiles, D Rodrigo
Innovative Food Science & Emerging Technologies 37, 10-17, 2016
562016
Cuestionario de actitudes alimentarias en una muestra de adolescentes: dos años de seguimiento
J Carbajo, J Canals, J Fernández, E Doménech
Psiquis 4 (16), 21-26, 1995
491995
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
422019
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
412015
The direct effect of pneumococcal conjugate vaccines on invasive pneumococcal disease in children in the Latin American and Caribbean region (SIREVA 2006–17): a multicentre …
CI Agudelo, C Castañeda-Orjuela, MC de Cunto Brandileone, ...
The Lancet Infectious Diseases 21 (3), 405-417, 2021
402021
Non-cumulative resource analysis
E Albert, JC Fernández, G Román-Díez
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
372015
Drug resistance mutations in patients infected with HIV-2 living in Spain
A Trevino, C de Mendoza, E Caballero, C Rodríguez, P Parra, R Benito, ...
Journal of antimicrobial chemotherapy 66 (7), 1484-1488, 2011
332011
Microzonificación sísmica de los suelos del Distrito Metropolitano de la Ciudad de Quito
J Valverde, J Fernández, E Jiménez, T Vaca, F Alarcón
Escuela Politécnica Nacional del Ecuador, Quito, 2002
322002
Large linear anhysteretic magnetoelectric voltage coefficients in CoFe2O4/polyvinylidene fluoride 0–3 nanocomposites
P Martins, X Moya, C Caparrós, J Fernandez, ND Mathur, ...
Journal of nanoparticle research 15, 1-6, 2013
312013
Manual de fitodepuración. Filtros de macrófitas en flotación
J Fernández, E Beascoechea, J Muñoz, D Fernández
Coordinada per Jesús Fernández González. Proyecto Life. Amb disponibilitat …, 2000
312000
A generic framework for context-sensitive analysis of modular programs
G Puebla, J Correas, MV Hermenegildo, F Bueno, MG de la Banda, ...
Program Development in Computational Logic: A Decade of Research Advances in …, 2004
272004
La química en el aula: entre la ciencia y la magia
J Fernández, J Moreno
Universidad Politécnica de Cartagena (UPCT), Departamento de Ingeniería …, 2008
262008
Patologías en las organizaciones
J Fernández, M Urarte, F Alcaide
España: Lid Editorial, 2008
252008
Peak cost analysis of distributed systems
E Albert, J Correas, G Román-Díez
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
242014
Mapa geológico de España
J Fernandez, A Olivé, F Carreras, A Hernandez, MJ Aguilar, R Capote
E 1 (200,000), 1985
241985
Humedales artificiales para depuración
J Fernández, F González
Manual de fitodepuración: filtros de macrófitas en flotación, 2004
232004
La mappa del gol
JM Cabezón, J Fernández
Notazonario Settore Tecnico. FIGC 4, 16-21, 1996
221996
Abatacept in monotherapy vs combined in interstitial lung disease of rheumatoid arthritis—multicentre study of 263 Caucasian patients
C Fernández-Díaz, B Atienza-Mateo, S Castañeda, RB Melero-Gonzalez, ...
Rheumatology 61 (1), 299-308, 2022
212022
The system can't perform the operation now. Try again later.
Articles 1–20