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 | 114 | 2020 |
Hirudinea J Fernández, V Tellez, N Olea Microscopic anatomy of invertebrates 7, 323-394, 1992 | 78 | 1992 |
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 | 55 | 2016 |
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 | 52 | 1995 |
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 | 43 | 2015 |
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 | 42 | 2019 |
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 | 37 | 2015 |
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 | 33 | 2011 |
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 | 32 | 2000 |
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 | 31 | 2002 |
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 | 26 | 2004 |
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 | 25 | 2014 |
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 | 25 | 2008 |
La mappa del gol JM Cabezón, J Fernández Notazonario Settore Tecnico. FIGC 4, 16-21, 1996 | 22 | 1996 |
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 |
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 | 21 | 2005 |
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 | 20 | 2004 |
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 | 18 | 1987 |
Richter’s syndrome in B-CLL: report of 37 cases S Tabuteau, J Fernandez, R Garidi, B Desablens Blood 34 (Suppl 1), 306b, 1999 | 17 | 1999 |
Don’t run on fumes—parametric gas bounds for smart contracts E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio Journal of Systems and Software 176, 110923, 2021 | 16 | 2021 |