关注
JESUS CORREAS FERNANDEZ
JESUS CORREAS FERNANDEZ
Profesor contratado doctor, Universidad Complutense de Madrid
在 ucm.es 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1222020
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
412019
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
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
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
El Prat de Cabanes (Cabanes, Castelló). Un jaciment prehistòric del III mil· lenni (aC)
PM Guillem, R Martínez, G Pérez, R Pérez, J Fernández
Geomorfología litoral i Quaternari. Homenatge al profesor M. Rosselló i …, 2005
212005
系统目前无法执行此操作,请稍后再试。
文章 1–20