Angel Cuenca-Ortega

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 9

Top Topics

Piecewise Linear

Nonlinear Dimensionality Reduction

Top Venues

Fundam. Informaticae

J. Log. Algebraic Methods Program.

Publications

María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundam. Informaticae 177 (3-4) (2020)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. 110 (2020)
María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. JELIA (2019)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. CoRR (2018)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR (2018)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña
Inspecting Maude Variants with GLINTS. CoRR (2017)
María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega
Inspecting Maude variants with GLINTS. Theory Pract. Log. Program. 17 (5-6) (2017)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR (2016)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR (2016)