| Genetic algorithms using parallelism and FPGAs: the TSP as case study MA Vega-Rodriguez, R Gutierrez-Gil, JM Avila-Roman, ... 2005 International Conference on Parallel Processing Workshops (ICPPW'05 …, 2005 | 47 | 2005 |
| Context-sensitive dependency pairs B Alarcón, R Gutiérrez, S Lucas FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006 | 44 | 2006 |
| Proving Termination Properties with mu-term B Alarcón, R Gutiérrez, S Lucas, R Navarro-Marset Algebraic Methodology and Software Technology: 13th International Conference …, 2011 | 43 | 2011 |
| Proving termination of context-sensitive rewriting with MU-TERM B Alarcón, R Gutiérrez, J Iborra, S Lucas Electronic Notes in Theoretical Computer Science 188, 105-115, 2007 | 38 | 2007 |
| Improving context-sensitive dependency pairs B Alarcón, F Emmes, C Fuhs, J Giesl, R Gutiérrez, S Lucas, ... Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008 | 35 | 2008 |
| Context-sensitive dependency pairs B Alarcón, R Gutiérrez, S Lucas Information and Computation 208 (8), 922-968, 2010 | 27 | 2010 |
| Improving the context-sensitive dependency graph B Alarcón, R Gutiérrez, S Lucas Electronic Notes in Theoretical Computer Science 188, 91-103, 2007 | 27 | 2007 |
| Use of logical models for proving infeasibility in term rewriting S Lucas, R Gutiérrez Information Processing Letters 136, 90-95, 2018 | 22 | 2018 |
| Order-sorted equality enrichments modulo axioms R Gutiérrez, J Meseguer, C Rocha Science of Computer Programming 99, 235-261, 2015 | 22 | 2015 |
| Order-sorted equality enrichments modulo axioms R Gutiérrez, J Meseguer, C Rocha Science of Computer Programming 99, 235-261, 2015 | 22 | 2015 |
| Order-Sorted Equality Enrichments Modulo Axioms R Gutiérrez, J Meseguer, C Rocha 9th International Workshop on Rewriting Logic and its Applications 7571, 162-181, 2012 | 22 | 2012 |
| Proving termination in the context-sensitive dependency pair framework R Gutiérrez, S Lucas Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010 …, 2010 | 18 | 2010 |
| Usable rules for context-sensitive rewrite systems R Gutiérrez, S Lucas, X Urbain Rewriting Techniques and Applications: 19th International Conference, RTA …, 2008 | 18 | 2008 |
| Automatic synthesis of logical models for order-sorted first-order theories S Lucas, R Gutiérrez Journal of Automated Reasoning 60, 465-501, 2018 | 17 | 2018 |
| Automatically proving and disproving feasibility conditions R Gutiérrez, S Lucas Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 15 | 2020 |
| The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors S Lucas, J Meseguer, R Gutiérrez Journal of Computer and System Sciences 96, 74-106, 2018 | 14 | 2018 |
| A tool for the automatic generation of logical models of order-sorted first-order theories R Gutiérrez, S Lucas, P Reinoso Proc. of PROLE 16, 215-230, 2016 | 14 | 2016 |
| mu-term: Verify Termination Properties Automatically (System Description) R Gutiérrez, S Lucas Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 13 | 2020 |
| Extending the 2D dependency pair framework for conditional term rewriting systems S Lucas, J Meseguer, R Gutiérrez Logic-Based Program Synthesis and Transformation: 24th International …, 2015 | 10 | 2015 |
| On the use of information fusion techniques to improve information quality: Taxonomy, opportunities and challenges R Gutiérrez, V Ramperez, H Paggi, JA Lara, J Soriano Information Fusion 78, 102-137, 2022 | 9 | 2022 |
