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 | 122 | 2020 |
Hirudinea J Fernández, V Tellez, N Olea Microscopic anatomy of invertebrates 7, 323-394, 1992 | 79 | 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 | 56 | 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 | 49 | 1995 |
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 | 41 | 2019 |
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 | 41 | 2015 |
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 |
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 | 32 | 2002 |
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 | 31 | 2013 |
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 | 31 | 2000 |
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 | 27 | 2004 |
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 | 26 | 2008 |
Patologías en las organizaciones J Fernández, M Urarte, F Alcaide España: Lid Editorial, 2008 | 25 | 2008 |
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 | 24 | 2014 |
Mapa geológico de España J Fernandez, A Olivé, F Carreras, A Hernandez, MJ Aguilar, R Capote E 1 (200,000), 1985 | 24 | 1985 |
Humedales artificiales para depuración J Fernández, F González Manual de fitodepuración: filtros de macrófitas en flotación, 2004 | 23 | 2004 |
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 |