| : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance M Alpuente, D Ballis, A Cuenca-Ortega, S Escobar, J Meseguer European Conference on Logics in Artificial Intelligence, 171-181, 2019 | 19 | 2019 |
| Partial evaluation of order-sorted equational programs modulo axioms M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer International Symposium on Logic-Based Program Synthesis and Transformation …, 2016 | 18 | 2016 |
| A partial evaluation framework for order-sorted equational programs modulo axioms M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer Journal of Logical and Algebraic Methods in Programming, 100501, 2019 | 16 | 2019 |
| Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms⋆ M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer Fundamenta Informaticae, 2019 | 8 | 2019 |
| Inspecting Maude variants with GLINTS * M Alpuente, S Escobar, J Sapiña, A Cuenca-Ortega Theory and Practice of Logic Programming 17 (5-6), 689-707, 2017 | 8 | 2017 |
| Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms M Alpuente, A Cuenca-Ortega, S Escobar, J Meseguer International Symposium on Logic-Based Program Synthesis and Transformation …, 2018 | 7 | 2018 |
| Educational Software Development in Ecuadorian Universities: A Systematic Mapping Study J Guerra-Gaibor, A Cuenca-Ortega, M Tapia-León International Conference on Technology Trends, 353-368, 2018 | 1 | 2018 |
| Partial Evaluation of Rewriting Logic Theories ÁE Cuenca Ortega | | 2019 |
| Técnicas de refactorización para Maude A Cuenca-Ortega Trabajo de fin de máster, 2013 | | 2013 |
| Reingeniería de los sistemas informáticos de la Empresa Municipal de Cuenca EMTET DM Bermeo Moyano, YF Corella Verdugo, AE Cuenca Ortega, ... Trabajo de fin de grado, 2007 | | 2007 |
