| SACO: static analyzer for concurrent objects E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 89 | 2014 |
| May-happen-in-parallel analysis for actor-based concurrency E Albert, A Flores-Montoya, S Genaim, E Martin-Martin ACM Transactions on Computational Logic (TOCL) 17 (2), 1-39, 2015 | 23 | 2015 |
| EDD: A declarative debugger for sequential Erlang programs R Caballero, E Martin-Martin, A Riesco, S Tamarit International Conference on Tools and Algorithms for the Construction and …, 2014 | 23 | 2014 |
| Las bases de big data R Caballero, E Martín Catarata, 2015 | 22 | 2015 |
| Termination and cost analysis of loops with concurrent interleavings E Albert, A Flores-Montoya, S Genaim, E Martin-Martin Automated Technology for Verification and Analysis: 11th International …, 2013 | 22 | 2013 |
| FLOP, a free laboratory of programming L Llana, E Martin-Martin, C Pareja-Flores Proceedings of the 12th Koli Calling International Conference on Computing …, 2012 | 21 | 2012 |
| Resource analysis driven by (conditional) termination proofs E Albert, M Bofill, C Borralleras, E Martin-Martin, A Rubio Theory and Practice of Logic Programming 19 (5-6), 722-739, 2019 | 20 | 2019 |
| FlinkCheck: property-based testing for apache flink CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá IEEE Access 7, 150369-150382, 2019 | 19 | 2019 |
| Declarative debugging of concurrent Erlang programs R Caballero, E Martin-Martin, A Riesco, S Tamarit Journal of logical and algebraic methods in programming 101, 22-41, 2018 | 17 | 2018 |
| FLOP: A User-Friendly System for Automated Program Assessment. L Llana, E Martin-Martin, C Pareja-Flores, JÁ Velázquez-Iturbide J. Univers. Comput. Sci. 20 (9), 1304-1326, 2014 | 13 | 2014 |
| New results on type systems for functional logic programming FJ López-Fraguas, E Martin-Martin, J Rodríguez-Hortalá Functional and Constraint Logic Programming: 18th International Workshop …, 2010 | 13 | 2010 |
| Type classes in functional logic programming E Martin-Martin Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011 | 12 | 2011 |
| A declarative debugger for sequential Erlang programs R Caballero, E Martin-Martin, A Riesco, S Tamarit Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013 | 11 | 2013 |
| A core Erlang semantics for declarative debugging R Caballero, E Martin-Martin, A Riesco, S Tamarit Journal of Logical and Algebraic Methods in Programming 107, 1-37, 2019 | 10 | 2019 |
| Las bases de big data y de la inteligencia artificial R Caballero, E Martín Los libros de la Catarata, 2022 | 9 | 2022 |
| A zoom-declarative debugger for sequential Erlang programs R Caballero, E Martin-Martin, A Riesco, S Tamarit Science of Computer Programming 110, 104-118, 2015 | 9 | 2015 |
| Liberal typing for functional logic programs F López-Fraguas, E Martin-Martin, J Rodríguez-Hortalá Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai …, 2010 | 9 | 2010 |
| Las bases de Big Data E Martín, R Caballero Los Libros de La Catarata, 2020 | 8 | 2020 |
| Rely-guarantee termination and cost analyses of loops with concurrent interleavings E Albert, A Flores-Montoya, S Genaim, E Martin-Martin Journal of Automated Reasoning 59, 47-85, 2017 | 8 | 2017 |
| 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 |
