| 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 | 140 | 2020 |
| 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 | 46 | 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 | 42 | 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 |
| 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 |
| 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 | 24 | 2021 |
| 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 |
| 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 | 23 | 2012 |
| 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 |
| Static profiling and optimization of ethereum smart contracts using resource analysis J Correas, P Gordillo, G Román-Díez IEEE Access 9, 25495-25507, 2021 | 19 | 2021 |
| 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 | 16 | 2018 |
| A practical type analysis for verification of modular prolog programs PS Pietrzak, JC Fernández, G Puebla, MV Hermenegildo Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008 | 16 | 2008 |
| Context-sensitive multivariant assertion checking in modular programs P Pietrzak, J Correas, G Puebla, MV Hermenegildo Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006 | 16 | 2006 |
| Parallel cost analysis of distributed systems E Albert, J Correas, EB Johnsen, G Román-Díez Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 15 | 2015 |
| Proceso de contrataciones con el Estado y sus Influencia en el cumplimiento de Metas y Objetivos Institucionales de la Municipalidad Provincial de Tambopata 2016-2017 J Fernández Juliaca: Universidad Andina, 2018 | 14 | 2018 |
| Experiments in context-sensitive analysis of modular programs J Correas, G Puebla, MV Hermenegildo, F Bueno International Symposium on Logic-Based Program Synthesis and Transformation …, 2005 | 14 | 2005 |
| Analyzing smart contracts: from EVM to a sound control-flow graph E Albert, J Correas, P Gordillo, AHCG Román-Díez, A Rubio arXiv preprint arXiv:2004.14437, 2020 | 11 | 2020 |
| Resource analysis: From sequential to concurrent and distributed programs E Albert, P Arenas, J Correas, S Genaim, M Gómez-Zamalloa, ... FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 7 | 2015 |
| A configuration framework to develop and deploy distributed logic applications J Correas, F Bueno ICLP01 Colloquium on Implementation of Constraint and LOgic Programming …, 2001 | 6 | 2001 |
| Inferring needless write memory accesses on ethereum bytecode E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio International Conference on Tools and Algorithms for the Construction and …, 2023 | 5 | 2023 |
