Angel Cuenca-Ortega
0000-0001-7798-611X
UG
15
Coauthors
5
Documentos
4
H-index Scopus
4
I10-index Google
6
H-index Google
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2017 | 1 |
| 2019 | 2 |
| 2020 | 2 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Software | 2 |
| Ciencias de la computación | 2 |
| Ingeniería de software | 1 |
| Tecnología educativa | 1 |
| Optimización matemática | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Funcionamiento de bibliotecas y archivos | 3 |
| Ciencias de la computación | 3 |
| Programación informática, programas, datos, seguridad | 1 |
| Métodos informáticos especiales | 1 |
| Escuelas y sus actividades; educación especial | 1 |
| Matemáticas | 1 |
| Principios generales de matemáticas | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 5 |
| Google Scholar | 5 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Alpuente M. | 4 |
| Escobar S. | 4 |
| Meseguer J. | 3 |
| Ballis D. | 1 |
| Mariela Tapia-Leon | 1 |
| Guerra-Gaibor J. | 1 |
| Sapiña J. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Educational software development in ecuadorian universities: A systematic mapping study
Conference ObjectAbstract: Context: Ecuadorian universities to guarantee a quality higher education, contribute to the country’Palabras claves:Educational applications, Educational software, Systematic mapping, Undergraduate thesesAutores:Angel Cuenca-Ortega, Guerra-Gaibor J., Mariela Tapia-LeonFuentes:googlescopusA partial evaluation framework for order-sorted equational programs modulo axioms
ArticleAbstract: Partial evaluation is a powerful and general program optimization technique with many successful appPalabras claves:Autores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.Fuentes:googlescopusOrder-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
ArticleAbstract: The Homeomorphic Embedding relation has been amply used for defining termination criteria of symboliPalabras claves:homeomorphic embedding, Maude, Rewriting LogicAutores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.Fuentes:googlescopusInspecting Maude variants with GLINTS
Conference ObjectAbstract: This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in MaudePalabras claves:embedding, Finite Variant Property, Maude, Narrowing, Rewriting Logic, VariantAutores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Sapiña J.Fuentes:googlescopus$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
Conference ObjectAbstract: Generalization in order-sorted theories with any combination of associativity (A), commutativity (C)Palabras claves:Autores:Alpuente M., Angel Cuenca-Ortega, Ballis D., Escobar S., Meseguer J.Fuentes:googlescopus