Mara Alpuente
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
38
Venues
19
Active years
1992–2022
Best venue rank
C
Where they publish
Papers
38 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | LOPSTR | Variant-Based Equational Anti-unification. | Mara Alpuente, Demis Ballis, Santiago Escobar, Julia Sapia |
| 2019 | JELIA | ACUOS | Mara Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2018 | LOPSTR | Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. | Mara Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2016 | LOPSTR | Symbolic Abstract Contract Synthesis in a Rewriting Framework. | Mara Alpuente, Daniel Pardo, Alicia Villanueva |
| 2016 | LOPSTR | Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. | Mara Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2014 | JELIA | ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. | Mara Alpuente, Santiago Escobar, Javier Espert, Jos Meseguer |
| 2013 | ESOP | Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. | Mara Alpuente, Demis Ballis, Francisco Frechina, Julia Sapia |
| 2013 | PEPM | Automatic inference of specifications using matching logic. | Mara Alpuente, Marco A. Feli, Alicia Villanueva |
| 2012 | FM | Julienne: A Trace Slicer for Conditional Rewrite Theories. | Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |
| 2012 | LPAR | Backward Trace Slicing for Conditional Rewrite Theories. | Mara Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero |
| 2011 | CADE | Backward Trace Slicing for Rewriting Logic Theories. | Mara Alpuente, Demis Ballis, Javier Espert, Daniel Romero |
| 2010 | ATVA | Model-Checking Web Applications with Web-TLR. | Mara Alpuente, Demis Ballis, Javier Espert, Daniel Romero |
| 2010 | PEPM | A fold/unfold transformation framework for rewrite theories extended to CCT. | Mara Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
| 2010 | SYNASC | Approximating Non-interference and Erasure in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2010 | SYNASC | Completeness of Unfolding for Rewriting Logic Theories. | Mara Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis |
| 2009 | FM | Specification and Verification of Web Applications in Rewriting Logic. | Mara Alpuente, Demis Ballis, Daniel Romero |
| 2009 | LOPSTR | Defining Datalog in Rewriting Logic. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |
| 2008 | ER | Semantic Verification of Web System Contents. | Mara Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi |
| 2008 | FMICS | Automated Certification of Non-Interference in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2008 | FMICS | Using Datalog and Boolean Equation Systems for Program Analysis. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |
| 2008 | ICLP | Termination of Narrowing Using Dependency Pairs. | Mara Alpuente, Santiago Escobar, Jos Iborra |
| 2008 | LOPSTR | A Modular Equational Generalization Algorithm. | Mara Alpuente, Santiago Escobar, Jos Meseguer, Pedro Ojeda |
| 2007 | FMICS | Automatic Certification of Java Source Code in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2006 | SEFM | A Semi-Automatic Methodology for Repairing FaultyWeb Sites. | Mara Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero |
| 2004 | ISoLA | Automated Verification of Web Sites Using Partial Rewriting. | Mara Alpuente, Demis Ballis, Moreno Falaschi |
| 2004 | JELIA | Verdi: An Automated Tool for Web Sites Verification. | Mara Alpuente, Demis Ballis, Moreno Falaschi |
| 2003 | ESOP | Correction of Functional Logic Programs. | Mara Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi |
| 2002 | LOPSTR | Abstract Diagnosis of Functional Programs. | Mara Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
| 2002 | LPAR | Improving On-Demand Strategy Annotations. | Mara Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas |
| 2000 | SOFSEM | An Automatic Composition Algorithm for Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Gins Moreno, Germn Vidal |
| 1999 | FLOPS | A Transformation System for Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Gins Moreno, Germn Vidal |
| 1999 | ICFP | Specialization of Inductively Sequential Functional Logic Programs. | Mara Alpuente, Michael Hanus, Salvador Lucas, Germn Vidal |
| 1999 | LPAR | A Partial Evaluation Framework for Curry Programs. | Elvira Albert, Mara Alpuente, Michael Hanus, Germn Vidal |
| 1999 | SOFSEM | UPV-CURRY: An Incremental CURRY Interpreter. | Mara Alpuente, Santiago Escobar, Salvador Lucas |
| 1998 | SAS | Improving Control in Functional Logic Program Specialization. | Elvira Albert, Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1997 | PEPM | Specialization of Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1996 | ESOP | Narrowing-Driven Partial Evaluation of Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Germn Vidal |
| 1992 | DEXA | An Equational Constraint Logic Approach to Database Design. | Mara Alpuente, Mara Jos Ramrez |