Folgen
JESUS CORREAS FERNANDEZ
JESUS CORREAS FERNANDEZ
Profesor contratado doctor, Universidad Complutense de Madrid
Bestätigte E-Mail-Adresse bei ucm.es - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1042020
Hirudinea
J Fernández, V Tellez, N Olea
Microscopic anatomy of invertebrates 7, 323-394, 1992
781992
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
532016
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
511995
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
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
402019
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
312002
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
262004
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
252014
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
252008
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
202012
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
202005
A generic persistence model for (C) LP systems (and two useful implementations)
J Correas, JM Gómez, M Carro, D Cabeza, M Hermenegildo
Practical Aspects of Declarative Languages: 6th International Symposium …, 2004
202004
Memoria del mapa de suelos de la provincia de Jaén
J Aguilar, G Delgado, R Delgado, M Delgado, J Fernández, R Nogales, ...
Granada: Servicio de Publicaciones de la Universidad de Granada, 1987
181987
Richter’s syndrome in B-CLL: report of 37 cases
S Tabuteau, J Fernandez, R Garidi, B Desablens
Blood 34 (Suppl 1), 306b, 1999
171999
Parallel cost analysis
E Albert, J Correas, EB Johnsen, KI Pun, G Román-Díez
ACM Transactions on Computational Logic (TOCL) 19 (4), 1-37, 2018
162018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20