Narrowing as an Incremental Constraint Satisfaction Algorithm. - María Alpuente; Moreno Falaschi (PLILP, 1991)

An Equational Constraint Logic Approach to Database Design. - María Alpuente; María José Ramírez (DEXA, 1992)

Analyses of Inconsistency for Incremental Equational Logic Programming. - María Alpuente; Moreno Falaschi; Ferdinando Manzo (PLILP, 1992)

Using Narrowing Approximations to Optimize Equational Logic Programs. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (GULP, 1993)

Narrowing Approximations as an Optimization for Equational Logic Programs. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (PLILP, 1993)

Incremental Equational Constraint Analyses. - María Alpuente; Moreno Falaschi; Germán Vidal (ILPS, 1993)

Compositional Analysis for Equational Horn Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ALP, 1994)

A Compositional Semantics for Conditional Term Rewriting Systems. - María Alpuente; Moreno Falaschi; María José Ramis; Germán Vidal (ICCL, 1994)

Analyses of Unsatisfiability for Equational Logic Programming. - María Alpuente; Moreno Falaschi; Ferdinando Manzo (J. Log. Program., 1995)

Incremental Constraint Satisfaction for Equational Logic Programming. - María Alpuente; Moreno Falaschi; Giorgio Levi (Theor. Comput. Sci., 1995)

Call-By Name Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (APPIA-GULP-PRODE, 1996)

Narrowing-Driven Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ESOP, 1996)

A Compositional Semantic Basis for the Analysis of Equational Horn Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (Theor. Comput. Sci., 1996)

Safe Folding/Unfolding with Conditional Narrowing. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (APPIA-GULP-PRODE, 1997)

Specialization of Lazy Functional Logic Programs. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (PEPM, 1997)

Polygenetic Partial Evaluation of Lazy Functional Logic Programs. - Elvira Albert; María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (APPIA-GULP-PRODE, 1998)

Improving Control in Functional Logic Program Specialization. - Elvira Albert; María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (SAS, 1998)

A Unifying View of Functional and Logic Program Specialization. - María Alpuente; Moreno Falaschi; Germán Vidal (ACM Comput. Surv., 1998)

Partial Evaluation of Functional Logic Programs. - María Alpuente; Moreno Falaschi; Germán Vidal (ACM Trans. Program. Lang. Syst., 1998)

An Incremental Needed Narrowing Calculus for Curry. - María Alpuente; Salvador Lucas; Santiago Escobar 001 (APPIA-GULP-PRODE, 1999)

A Transformation System for Lazy Functional Logic Programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (Fuji International Symposium on Functional and Logic Programming, 1999)

Specialization of Inductively Sequential Functional Logic Programs. - María Alpuente; Michael Hanus; Salvador Lucas; Germán Vidal (ICFP, 1999)

A Partial Evaluation Framework for Curry Programs. - Elvira Albert; María Alpuente; Michael Hanus; Germán Vidal (LPAR, 1999)

UPV-CURRY: An Incremental CURRY Interpreter. - María Alpuente; Santiago Escobar 001; Salvador Lucas (SOFSEM, 1999)

Un Sistema de Transformación para Programas Multiparadigma. - María Alpuente; Moreno Falaschi; César Ferri; Ginés Moreno; Germán Vidal (Inteligencia Artif., 1999)

An Automatic Composition Algorithm for Functional Logic Programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (SOFSEM, 2000)

Redundancy Analyses in Term Rewriting. - María Alpuente; Santiago Escobar 001; Salvador Lucas (WFLP, 2000)

Using PE to Automate Program Composition. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (WFLP, 2000)

A Debugging Scheme for Functional Logic Programs. - María Alpuente; Francisco J. Correa; Moreno Falaschi (WFLP, 2001)

Declarative Debugging of Functional Logic Programs. - María Alpuente; Francisco J. Correa; Moreno Falaschi (WRS, 2001)

Removing Redundant Arguments of Functions. - María Alpuente; Santiago Escobar 001; Salvador Lucas (AMAST, 2002)

Abstract Diagnosis of Functional Programs. - María Alpuente; Marco Comini; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (LOPSTR, 2002)

Improving On-Demand Strategy Annotations. - María Alpuente; Santiago Escobar 001; Bernhard Gramlich; Salvador Lucas (LPAR, 2002)

Redundancy of Arguments Reduced to Induction. - María Alpuente; Rachid Echahed; Santiago Escobar 001; Salvador Lucas (WFLP, 2002)

Correct and Complete (Positive) Strategy Annotations for OBJ. - María Alpuente; Santiago Escobar 001; Salvador Lucas (WRLA, 2002)

Abstract Correction of OBJ-like Programs. - María Alpuente; Demis Ballis; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (APPIA-GULP-PRODE, 2003)

Correction of Functional Logic Programs. - María Alpuente; Demis Ballis; Francisco J. Correa; Moreno Falaschi (ESOP, 2003)

Abstract correction of first-order functional programs. - María Alpuente; Demis Ballis; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (WFLP, 2003)

OnDemandOBJ: A Laboratory for Strategy Annotations. - María Alpuente; Santiago Escobar 001; Salvador Lucas (RULE@RDP, 2003)

On-demand Evaluation by Program Transformation. - María Alpuente; Santiago Escobar 001; Salvador Lucas (RULE@RDP, 2003)

Uniform Lazy Narrowing. - María Alpuente; Moreno Falaschi; Pascual Julián Iranzo; Germán Vidal (J. Log. Comput., 2003)

Automated Verification of Web Sites Using Partial Rewriting. - María Alpuente; Demis Ballis; Moreno Falaschi (ISoLA (Preliminary proceedings), 2004)

Verdi: An Automated Tool for Web Sites Verification. - María Alpuente; Demis Ballis; Moreno Falaschi (JELIA, 2004)

A Symbolic Model Checker for tccp Programs. - María Alpuente; Moreno Falaschi; Alicia Villanueva (RISE, 2004)

A Rewriting-based Framework for Web Sites Verification. - María Alpuente; Demis Ballis; Moreno Falaschi (RULE@RDP, 2004)

Abstract Model Checking of tccp programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (QAPL, 2004)

Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. - María Alpuente; Francisco J. Correa (Rev. Colomb. de Computación, 2004)

Rules + strategies for transforming lazy functional logic programs. - María Alpuente; Moreno Falaschi; Ginés Moreno; Germán Vidal (Theor. Comput. Sci., 2004)

Preface. - María Alpuente; Santiago Escobar 001; Moreno Falaschi (WWV, 2005)

A semantic framework for the abstract model checking of tccp programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (Theor. Comput. Sci., 2005)

Specialization of functional logic programs based on needed narrowing. - María Alpuente; Salvador Lucas; Michael Hanus; Germán Vidal (Theory Pract. Log. Program., 2005)

A Semi-Automatic Methodology for Repairing FaultyWeb Sites. - María Alpuente; Demis Ballis; Moreno Falaschi; Daniel Romero 001 (SEFM, 2006)

A Framework for Timed Concurrent Constraint Programming with External Functions. - María Alpuente; Bernhard Gramlich; Alicia Villanueva (PROLE, 2006)

Verifying Real-Time Properties of tccp Programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (J. Univers. Comput. Sci., 2006)

Rule-based verification of Web sites. - María Alpuente; Demis Ballis; Moreno Falaschi (Int. J. Softw. Tools Technol. Transf., 2006)

Automatic Certification of Java Source Code in Rewriting Logic. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001 (FMICS, 2007)

A Fast Algebraic Web Verification Service. - María Alpuente; Demis Ballis; Moreno Falaschi; Pedro Ojeda; Daniel Romero 001 (RR, 2007)

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (PROLE, 2007)

Removing redundant arguments automatically. - María Alpuente; Santiago Escobar 001; Salvador Lucas (Theory Pract. Log. Program., 2007)

Semantic Verification of Web System Contents. - María Alpuente; Michele Baggi; Demis Ballis; Moreno Falaschi (ER Workshops, 2008)

Automated Certification of Non-Interference in Rewriting Logic. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001 (FMICS, 2008)

Using Datalog and Boolean Equation Systems for Program Analysis. - María Alpuente; Marco A. Feliú; Christophe Joubert; Alicia Villanueva (FMICS, 2008)

Termination of Narrowing Using Dependency Pairs. - María Alpuente; Santiago Escobar 001; José Iborra (ICLP, 2008)

A Modular Equational Generalization Algorithm. - María Alpuente; Santiago Escobar 001; José Meseguer 001; Pedro Ojeda (LOPSTR, 2008)

Modular Termination of Basic Narrowing. - María Alpuente; Santiago Escobar 001; José Iborra (RTA, 2008)

An Abstract Generic Framework for Web Site Verification. - María Alpuente; Pedro Ojeda; Daniel Romero 001; Demis Ballis; Moreno Falaschi (SAINT, 2008)

A Tool for Automated Certification of Java Source Code in Maude. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001; Pedro Ojeda; Daniel Romero 001 (PROLE, 2008)

Order-Sorted Generalization. - María Alpuente; Santiago Escobar 001; José Meseguer 001; Pedro Ojeda (WFLP, 2008)

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. - María Alpuente; Marco A. Feliú; Christophe Joubert; Alicia Villanueva (PROLE, 2008)

A Visual Technique for Web Pages Comparison. - María Alpuente; Daniel Romero 001 (WWV, 2008)

Specification and Verification of Web Applications in Rewriting Logic. - María Alpuente; Demis Ballis; Daniel Romero 001 (FM, 2009)

Abstract Certification of Global Non-interference in Rewriting Logic. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001 (FMCO, 2009)

Defining Datalog in Rewriting Logic. - María Alpuente; Marco A. Feliú; Christophe Joubert; Alicia Villanueva (LOPSTR, 2009)

Termination of narrowing revisited. - María Alpuente; Santiago Escobar 001; José Iborra (Theor. Comput. Sci., 2009)

Transformation and Debugging of Functional Logic Programs. - María Alpuente; Demis Ballis; Moreno Falaschi (25 Years GULP, 2010)

Model-Checking Web Applications with Web-TLR. - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (ATVA, 2010)

Datalog-Based Program Analysis with BES and RWL. - María Alpuente; Marco Antonio Feliú; Christophe Joubert; Alicia Villanueva (Datalog, 2010)

A fold/unfold transformation framework for rewrite theories extended to CCT. - María Alpuente; Demis Ballis; Michele Baggi; Moreno Falaschi (PEPM, 2010)

A Tool for Computing the Visual Similarity of Web Pages. - María Alpuente; Daniel Romero 001 (SAINT, 2010)

Approximating Non-interference and Erasure in Rewriting Logic. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001 (SYNASC, 2010)

Completeness of Unfolding for Rewriting Logic Theories. - María Alpuente; Michele Baggi; Moreno Falaschi; Demis Ballis (SYNASC, 2010)

An integrated framework for the diagnosis and correction of rule-based programs. - María Alpuente; Demis Ballis; Francisco J. Correa; Moreno Falaschi (Theor. Comput. Sci., 2010)

A compact fixpoint semantics for term rewriting systems. - María Alpuente; Marco Comini; Santiago Escobar 001; Moreno Falaschi; José Iborra (Theor. Comput. Sci., 2010)

On-demand strategy annotations revisited: An improved on-demand evaluation strategy. - María Alpuente; Santiago Escobar 001; Bernhard Gramlich; Salvador Lucas (Theor. Comput. Sci., 2010)

Backward Trace Slicing for Rewriting Logic Theories. - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (CADE, 2011)

Dynamic Backward Slicing of Rewriting Logic Computations - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (CoRR, 2011)

Debugging of Web Applications with Web-TLR - María Alpuente; Demis Ballis; Javier Espert; Francisco Frechina; Daniel Romero 001 (WWV, 2011)

Modular termination of basic narrowing and equational unification. - María Alpuente; Santiago Escobar 001; José Iborra (Log. J. IGPL, 2011)

Julienne: A Trace Slicer for Conditional Rewrite Theories. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (FM, 2012)

Backward Trace Slicing for Conditional Rewrite Theories. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (LPAR, 2012)

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (ESOP, 2013)

Automatic inference of specifications using matching logic. - María Alpuente; Marco A. Feliú; Alicia Villanueva (PEPM, 2013)

Detecting Modular ACU Structural Symmetries. - María Alpuente; Santiago Escobar 001; Javier Espert (UNIF@RTA/TLCA, 2013)

Parametric Exploration of Rewriting Logic Computations. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (SCSS, 2013)

Rewriting-based repairing strategies for XML repositories. - María Alpuente; Demis Ballis; Moreno Falaschi; Francisco Frechina; Daniel Romero 001 (J. Log. Algebraic Methods Program., 2013)

Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). - María Alpuente; Christophe Joubert; Stefan Kowalewski; Marco Roveri (Sci. Comput. Program., 2013)

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (Specification, Algebra, and Software, 2014)

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. - María Alpuente; Santiago Escobar 001; Javier Espert; José Meseguer 001 (JELIA, 2014)

A modular order-sorted equational generalization algorithm. - María Alpuente; Santiago Escobar 001; Javier Espert; José Meseguer 001 (Inf. Comput., 2014)

Using conditional trace slicing for improving Maude programs. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (Sci. Comput. Program., 2014)

A rewriting logic approach to the formal specification and verification of web applications. - María Alpuente; Demis Ballis; Daniel Romero 001 (Sci. Comput. Program., 2014)

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (Logic, Rewriting, and Concurrency, 2015)

Automatic Inference of Specifications in the K Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (PROLE, 2015)

Exploring conditional rewriting logic computations. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (J. Symb. Comput., 2015)

Symbolic Abstract Contract Synthesis in a Rewriting Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (LOPSTR, 2016)

Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. - María Alpuente; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (LOPSTR, 2016)

Assertion-based Analysis via Slicing with ABETS (System Description). - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (CoRR, 2016)

Debugging Maude programs via runtime assertion checking and trace slicing. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (J. Log. Algebraic Methods Program., 2016)

Assertion-based analysis via slicing with ABETS. - María Alpuente; Francisco Frechina; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2016)

Inspecting Maude variants with GLINTS. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Angel Cuenca-Ortega (Theory Pract. Log. Program., 2017)

Inferring Safe Maude Programs with ÁTAME. - María Alpuente; Demis Ballis; Julia Sapiña (ICMS, 2018)

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. - María Alpuente; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (LOPSTR, 2018)

ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. - María Alpuente; Demis Ballis; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (JELIA, 2019)

Static correction of Maude programs with assertions. - María Alpuente; Demis Ballis; Julia Sapiña (J. Syst. Softw., 2019)

Symbolic Analysis of Maude Theories with Narval. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2019)

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. - María Alpuente; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (Fundam. Informaticae, 2020)

Abstract Contract Synthesis and Verification in the Symbolic K Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (Fundam. Informaticae, 2020)

A partial evaluation framework for order-sorted equational programs modulo axioms. - María Alpuente; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (J. Log. Algebraic Methods Program., 2020)

Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System. - María Alpuente; Demis Ballis; Julia Sapiña (Math. Comput. Sci., 2020)

Variant-Based Equational Anti-unification. - María Alpuente; Demis Ballis; Santiago Escobar 001; Julia Sapiña (LOPSTR, 2022)

Order-sorted equational generalization algorithm revisited. - María Alpuente; Santiago Escobar 001; José Meseguer 001; Julia Sapiña (Ann. Math. Artif. Intell., 2022)

Optimization of rewrite theories by equational partial evaluation. - María Alpuente; Demis Ballis; Santiago Escobar 001; Julia Sapiña (J. Log. Algebraic Methods Program., 2022)

Symbolic Specialization of Rewriting Logic Theories with Presto. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2022)

Optimizing Maude Programs via Program Specialization. - María Alpuente; Demis Ballis; Santiago Escobar 001; José Meseguer 001; Julia Sapiña (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Automated Synthesis of Software Contracts with KindSpec. - María Alpuente; Alicia Villanueva (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Safety enforcement via programmable strategies in Maude. - María Alpuente; Demis Ballis; Santiago Escobar 001; D. Galán; Julia Sapiña (J. Log. Algebraic Methods Program., 2023)