María Alpuente

147 papers A 5B 15C 16Misc 2Journal 49Unranked 53

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Automated Synthesis of Software Contracts with KindSpec. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems María Alpuente, Alicia Villanueva
2023	—	`conf`	Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
2023	J	`jnl`	Safety enforcement via programmable strategies in Maude. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña
2022	J	`jnl`	Optimization of rewrite theories by equational partial evaluation. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2022	J	`jnl`	Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
2022	J	`jnl`	Symbolic Specialization of Rewriting Logic Theories with Presto. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
2022	C	`conf`	Variant-Based Equational Anti-unification. LOPSTR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2021	J	`jnl`	Symbolic Specialization of Rewriting Logic Theories with Presto. CoRR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2020	J	`jnl`	A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2020	J	`jnl`	Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundam. Informaticae María Alpuente, Daniel Pardo, Alicia Villanueva
2020	J	`jnl`	Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System. Math. Comput. Sci. María Alpuente, Demis Ballis, Julia Sapiña
2020	J	`jnl`	Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundam. Informaticae María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2019	B	`conf`	ACUOS JELIA María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2019	J	`jnl`	Static correction of Maude programs with assertions. J. Syst. Softw. María Alpuente, Demis Ballis, Julia Sapiña
2019	J	`jnl`	Symbolic Analysis of Maude Theories with Narval. CoRR María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
2019	J	`jnl`	Symbolic Analysis of Maude Theories with Narval. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
2018	C	`conf`	Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2018	J	`jnl`	Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. CoRR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2018	—	`conf`	Inferring Safe Maude Programs with ÁTAME. ICMS María Alpuente, Demis Ballis, Julia Sapiña
2017	J	`jnl`	Inspecting Maude Variants with GLINTS. CoRR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña
2017	J	`jnl`	Inspecting Maude variants with GLINTS. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega
2016	J	`jnl`	Assertion-based Analysis via Slicing with ABETS (System Description). CoRR María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2016	J	`jnl`	Assertion-based analysis via slicing with ABETS. Theory Pract. Log. Program. María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis
2016	J	`jnl`	Debugging Maude programs via runtime assertion checking and trace slicing. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2016	C	`conf`	Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2016	J	`jnl`	Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
2016	C	`conf`	Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR María Alpuente, Daniel Pardo, Alicia Villanueva
2016	J	`jnl`	Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR María Alpuente, Daniel Pardo, Alicia Villanueva
2015	—	`conf`	Automatic Inference of Specifications in the K Framework. PROLE María Alpuente, Daniel Pardo, Alicia Villanueva
2015	—	`conf`	Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. Logic, Rewriting, and Concurrency María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2015	J	`jnl`	Exploring conditional rewriting logic computations. J. Symb. Comput. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2014	J	`jnl`	A modular order-sorted equational generalization algorithm. Inf. Comput. María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
2014	J	`jnl`	A rewriting logic approach to the formal specification and verification of web applications. Sci. Comput. Program. María Alpuente, Demis Ballis, Daniel Romero
2014	B	`conf`	ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
2014	—	`conf`	Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). Specification, Algebra, and Software María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2014	J	`jnl`	Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2013	C	`conf`	Automatic inference of specifications using matching logic. PEPM María Alpuente, Marco A. Feliú, Alicia Villanueva
2013	—	`conf`	Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA María Alpuente, Santiago Escobar, Javier Espert
2013	—	`conf`	Parametric Exploration of Rewriting Logic Computations. SCSS María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2013	J	`jnl`	Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). Sci. Comput. Program. María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri
2013	J	`jnl`	Rewriting-based repairing strategies for XML repositories. J. Log. Algebraic Methods Program. María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
2013	A	`conf`	Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. ESOP María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
2012	B	`conf`	Backward Trace Slicing for Conditional Rewrite Theories. LPAR María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2012	B	`conf`	Julienne: A Trace Slicer for Conditional Rewrite Theories. FM María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
2011	A	`conf`	Backward Trace Slicing for Rewriting Logic Theories. CADE María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2011	—	`conf`	Debugging of Web Applications with Web-TLR WWV María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
2011	J	`jnl`	Dynamic Backward Slicing of Rewriting Logic Computations CoRR María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2011	C	`ed.`	Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers LOPSTR María Alpuente
2011	J	`jnl`	Modular termination of basic narrowing and equational unification. Log. J. IGPL María Alpuente, Santiago Escobar, José Iborra
2010	—	`conf`	A Tool for Computing the Visual Similarity of Web Pages. SAINT María Alpuente, Daniel Romero
2010	J	`jnl`	A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
2010	C	`conf`	A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi
2010	J	`jnl`	Abstract Certification of Global Non-Interference in Rewriting Logic CoRR Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2010	J	`jnl`	An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
2010	Misc	`conf`	Approximating Non-interference and Erasure in Rewriting Logic. SYNASC Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2010	Misc	`conf`	Completeness of Unfolding for Rewriting Logic Theories. SYNASC María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis
2010	—	`conf`	Datalog-Based Program Analysis with BES and RWL. Datalog María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
2010	B	`conf`	Model-Checking Web Applications with Web-TLR. ATVA María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
2010	J	`jnl`	On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
2010	—	`ch.`	Transformation and Debugging of Functional Logic Programs. 25 Years GULP María Alpuente, Demis Ballis, Moreno Falaschi
2009	—	`conf`	Abstract Certification of Global Non-interference in Rewriting Logic. FMCO Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2009	C	`conf`	Defining Datalog in Rewriting Logic. LOPSTR María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2009	C	`ed.`	Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings FMICS María Alpuente, Byron Cook, Christophe Joubert
2009	B	`conf`	Specification and Verification of Web Applications in Rewriting Logic. FM María Alpuente, Demis Ballis, Daniel Romero
2009	J	`jnl`	Termination of narrowing revisited. Theor. Comput. Sci. María Alpuente, Santiago Escobar, José Iborra
2008	C	`conf`	A Modular Equational Generalization Algorithm. LOPSTR María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
2008	—	`conf`	A Tool for Automated Certification of Java Source Code in Maude. PROLE Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero
2008	—	`conf`	A Visual Technique for Web Pages Comparison. WWV María Alpuente, Daniel Romero
2008	—	`conf`	An Abstract Generic Framework for Web Site Verification. SAINT María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
2008	C	`conf`	Automated Certification of Non-Interference in Rewriting Logic. FMICS Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2008	—	`conf`	DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. PROLE María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2008	—	`conf`	Modular Termination of Basic Narrowing. RTA María Alpuente, Santiago Escobar, José Iborra
2008	—	`conf`	Order-Sorted Generalization. WFLP María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
2008	—	`conf`	Semantic Verification of Web System Contents. ER Workshops María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
2008	B	`ed.`	Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings SAS María Alpuente, Germán Vidal
2008	B	`conf`	Termination of Narrowing Using Dependency Pairs. ICLP María Alpuente, Santiago Escobar, José Iborra
2008	C	`conf`	Using Datalog and Boolean Equation Systems for Program Analysis. FMICS María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2007	—	`conf`	A Fast Algebraic Web Verification Service. RR María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
2007	—	`conf`	An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. PROLE María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2007	C	`conf`	Automatic Certification of Java Source Code in Rewriting Logic. FMICS Mauricio Alba-Castro, María Alpuente, Santiago Escobar
2007	J	`jnl`	Removing redundant arguments automatically. Theory Pract. Log. Program. María Alpuente, Santiago Escobar, Salvador Lucas
2006	—	`conf`	A Framework for Timed Concurrent Constraint Programming with External Functions. PROLE María Alpuente, Bernhard Gramlich, Alicia Villanueva
2006	B	`conf`	A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
2006	—	`ed.`	Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005 WWV María Alpuente, Santiago Escobar, Moreno Falaschi
2006	J	`jnl`	Removing Redundant Arguments Automatically CoRR María Alpuente, Santiago Escobar, Salvador Lucas
2006	J	`jnl`	Rule-based verification of Web sites. Int. J. Softw. Tools Technol. Transf. María Alpuente, Demis Ballis, Moreno Falaschi
2006	J	`jnl`	Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2005	J	`jnl`	A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2005	—	`ed.`	First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain WWV María Alpuente, Santiago Escobar, Moreno Falaschi
2005	—	`conf`	Preface. WWV María Alpuente, Santiago Escobar, Moreno Falaschi
2005	—	`conf`	Preface. WWV María Alpuente, Santiago Escobar, Moreno Falaschi
2005	J	`jnl`	Specialization of functional logic programs based on needed narrowing. Theory Pract. Log. Program. María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
2004	—	`conf`	A Rewriting-based Framework for Web Sites Verification. RULE@RDP María Alpuente, Demis Ballis, Moreno Falaschi
2004	—	`conf`	A Symbolic Model Checker for tccp Programs. RISE María Alpuente, Moreno Falaschi, Alicia Villanueva
2004	—	`conf`	Abstract Model Checking of tccp programs. QAPL María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2004	—	`conf`	Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) María Alpuente, Demis Ballis, Moreno Falaschi
2004	J	`jnl`	Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
2004	J	`jnl`	Specialization of Functional Logic Programs Based on Needed Narrowing CoRR María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
2004	J	`jnl`	Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. Rev. Colomb. de Computación María Alpuente, Francisco J. Correa
2004	B	`conf`	Verdi: An Automated Tool for Web Sites Verification. JELIA María Alpuente, Demis Ballis, Moreno Falaschi
2003	—	`conf`	Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2003	—	`conf`	Abstract correction of first-order functional programs. WFLP María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2003	A	`conf`	Correction of Functional Logic Programs. ESOP María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
2003	—	`conf`	On-demand Evaluation by Program Transformation. RULE@RDP María Alpuente, Santiago Escobar, Salvador Lucas
2003	—	`conf`	OnDemandOBJ: A Laboratory for Strategy Annotations. RULE@RDP María Alpuente, Santiago Escobar, Salvador Lucas
2003	J	`jnl`	Uniform Lazy Narrowing. J. Log. Comput. María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
2002	C	`conf`	Abstract Diagnosis of Functional Programs. LOPSTR María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
2002	—	`conf`	Correct and Complete (Positive) Strategy Annotations for OBJ. WRLA María Alpuente, Santiago Escobar, Salvador Lucas
2002	B	`conf`	Improving On-Demand Strategy Annotations. LPAR María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
2002	—	`conf`	Redundancy of Arguments Reduced to Induction. WFLP María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
2002	—	`conf`	Removing Redundant Arguments of Functions. AMAST María Alpuente, Santiago Escobar, Salvador Lucas
2001	—	`conf`	A Debugging Scheme for Functional Logic Programs. WFLP María Alpuente, Francisco J. Correa, Moreno Falaschi
2001	—	`conf`	Declarative Debugging of Functional Logic Programs. WRS María Alpuente, Francisco J. Correa, Moreno Falaschi
2000	—	`ed.`	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 WFLP María Alpuente
2000	B	`conf`	An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
2000	—	`conf`	Redundancy Analyses in Term Rewriting. WFLP María Alpuente, Santiago Escobar, Salvador Lucas
2000	—	`conf`	Using PE to Automate Program Composition. WFLP María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1999	B	`conf`	A Partial Evaluation Framework for Curry Programs. LPAR Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal
1999	—	`conf`	A Transformation System for Lazy Functional Logic Programs. Fuji International Symposium on Functional and Logic Programming María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1999	—	`conf`	An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE María Alpuente, Salvador Lucas, Santiago Escobar
1999	A	`conf`	Specialization of Inductively Sequential Functional Logic Programs. ICFP María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
1999	B	`conf`	UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM María Alpuente, Santiago Escobar, Salvador Lucas
1999	J	`jnl`	Un Sistema de Transformación para Programas Multiparadigma. Inteligencia Artif. María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal
1998	J	`jnl`	A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. María Alpuente, Moreno Falaschi, Germán Vidal
1998	B	`conf`	Improving Control in Functional Logic Program Specialization. SAS Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1998	J	`jnl`	Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. María Alpuente, Moreno Falaschi, Germán Vidal
1998	—	`conf`	Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1997	—	`conf`	Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1997	—	`conf`	Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
1997	C	`conf`	Specialization of Lazy Functional Logic Programs. PEPM María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1996	J	`jnl`	A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theor. Comput. Sci. María Alpuente, Moreno Falaschi, Germán Vidal
1996	—	`conf`	Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1996	A	`conf`	Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP María Alpuente, Moreno Falaschi, Germán Vidal
1995	—	`ed.`	1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995 GULP-PRODE María Alpuente, Maria I. Sessa
1995	J	`jnl`	Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. María Alpuente, Moreno Falaschi, Ferdinando Manzo
1995	J	`jnl`	Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. María Alpuente, Moreno Falaschi, Giorgio Levi
1994	—	`ed.`	1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1 GULP-PRODE (1) María Alpuente, Roberto Barbuti, Isidro Ramos
1994	—	`ed.`	1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2 GULP-PRODE (2) María Alpuente, Roberto Barbuti, Isidro Ramos
1994	—	`conf`	A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1994	—	`conf`	A Compositional Semantics for Conditional Term Rewriting Systems. ICCL María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1994	—	`conf`	Compositional Analysis for Equational Horn Programs. ALP María Alpuente, Moreno Falaschi, Germán Vidal
1993	—	`conf`	Incremental Equational Constraint Analyses. ILPS María Alpuente, Moreno Falaschi, Germán Vidal
1993	—	`conf`	Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1993	—	`conf`	Using Narrowing Approximations to Optimize Equational Logic Programs. GULP María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
1992	C	`conf`	An Equational Constraint Logic Approach to Database Design. DEXA María Alpuente, María José Ramírez
1992	—	`conf`	Analyses of Inconsistency for Incremental Equational Logic Programming. PLILP María Alpuente, Moreno Falaschi, Ferdinando Manzo
1991	—	`conf`	Narrowing as an Incremental Constraint Satisfaction Algorithm. PLILP María Alpuente, Moreno Falaschi