María Alpuente Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña: Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. ESOP 2013: 121-124
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco A. Feliú, Alicia Villanueva: Automatic inference of specifications using matching logic. PEPM 2013: 127-136
2012
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero: Julienne: A Trace Slicer for Conditional Rewrite Theories. FM 2012: 28-32
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero: Backward Trace Slicing for Conditional Rewrite Theories. LPAR 2012: 62-76
2011
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, José Iborra: Modular termination of basic narrowing and equational unification. Logic Journal of the IGPL 19(6): 731-762 (2011)
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Backward Trace Slicing for Rewriting Logic Theories. CADE 2011: 34-48
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero: Debugging of Web Applications with Web-TLR. WWV 2011: 66-80
e8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente (Ed.): Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6564, Springer 2011, isbn 978-3-642-20550-7
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Dynamic Backward Slicing of Rewriting Logic Computations. CoRR abs/1105.2665 (2011)
2010
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. 411(2): 504-541 (2010)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra: A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411(47): 4055-4101 (2010)
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero: Model-Checking Web Applications with Web-TLR. ATVA 2010: 341-346
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva: Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi: A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM 2010: 43-52
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Daniel Romero: A Tool for Computing the Visual Similarity of Web Pages. SAINT 2010: 45-51
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis: Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Approximating Non-interference and Erasure in Rewriting Logic. SYNASC 2010: 124-132
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Abstract Certification of Global Non-Interference in Rewriting Logic. CoRR abs/1006.4304 (2010)
2009
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Daniel Romero: A Visual Technique for Web Pages Comparison. Electr. Notes Theor. Comput. Sci. 235: 3-18 (2009)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: Order-Sorted Generalization. Electr. Notes Theor. Comput. Sci. 246: 27-38 (2009)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero: A Tool for Automated Certification of Java Source Code in Maude. Electr. Notes Theor. Comput. Sci. 248: 19-29 (2009)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electr. Notes Theor. Comput. Sci. 248: 57-66 (2009)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, José Iborra: Termination of narrowing revisited. Theor. Comput. Sci. 410(46): 4608-4625 (2009)
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Daniel Romero: Specification and Verification of Web Applications in Rewriting Logic. FM 2009: 790-805
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Abstract Certification of Global Non-interference in Rewriting Logic. FMCO 2009: 105-124
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204
e7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Byron Cook, Christophe Joubert (Eds.): Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Lecture Notes in Computer Science 5825, Springer 2009, isbn 978-3-642-04569-1
2008
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electr. Notes Theor. Comput. Sci. 206: 3-21 (2008)
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi: Semantic Verification of Web System Contents. ER Workshops 2008: 437-446
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automated Certification of Non-Interference in Rewriting Logic. FMICS 2008: 182-198
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, José Iborra: Termination of Narrowing Using Dependency Pairs. ICLP 2008: 317-331
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, José Iborra: Modular Termination of Basic Narrowing. RTA 2008: 1-16
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110
e6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Germán Vidal (Eds.): Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5079, Springer 2008, isbn 978-3-540-69163-1
2007
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Bernhard Gramlich, Alicia Villanueva: A Framework for Timed Concurrent Constraint Programming with External Functions. Electr. Notes Theor. Comput. Sci. 188: 143-155 (2007)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Removing redundant arguments automatically. TPLP 7(1-2): 3-35 (2007)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Alba-Castro, María Alpuente, Santiago Escobar: Automatic Certification of Java Source Code in Rewriting Logic. FMICS 2007: 200-217
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
2006
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: Verifying Real-Time Properties of tccp Programs. J. UCS 12(11): 1551-1573 (2006)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: Rule-based verification of Web sites. STTT 8(6): 565-585 (2006)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero: A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments Automatically. CoRR abs/cs/0601039 (2006)
2005
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: Abstract Model Checking of tccp programs. Electr. Notes Theor. Comput. Sci. 112: 19-36 (2005)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: A Rewriting-based Framework for Web Sites Verification. Electr. Notes Theor. Comput. Sci. 124(1): 41-61 (2005)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346(1): 58-95 (2005)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal: Specialization of functional logic programs based on needed narrowing. TPLP 5(3): 273-303 (2005)
c33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. WWV 2005
e5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Moreno Falaschi (Eds.): First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia 2005
2004
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Francisco J. Correa: Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. Revista Colombiana de Computación 5(2) (2004)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. 311(1-3): 479-525 (2004)
c32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) 2004: 81-88
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: Verdi: An Automated Tool for Web Sites Verification. JELIA 2004: 726-729
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Alicia Villanueva: A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Functional Logic Programs Based on Needed Narrowing. CoRR cs.PL/0403011 (2004)
2003
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: OnDemandOBJ: A Laboratory for Strategy Annotations. Electr. Notes Theor. Comput. Sci. 86(2): 1-27 (2003)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: On-demand Evaluation by Program Transformation. Electr. Notes Theor. Comput. Sci. 86(2): 92-118 (2003)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract correction of first-order functional programs. Electr. Notes Theor. Comput. Sci. 86(3): 105-122 (2003)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003)
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: Correction of Functional Logic Programs. ESOP 2003: 54-68
2002
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Francisco J. Correa, Moreno Falaschi: A Debugging Scheme for Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 64: 18-55 (2002)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Correct and Complete (Positive) Strategy Annotations for OBJ. Electr. Notes Theor. Comput. Sci. 71: 70-89 (2002)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas: Redundancy of Arguments Reduced to Induction. Electr. Notes Theor. Comput. Sci. 76: 20-41 (2002)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Removing Redundant Arguments of Functions. AMAST 2002: 117-131
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas: Improving On-Demand Strategy Annotations. LPAR 2002: 1-18
2001
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Francisco J. Correa, Moreno Falaschi: Declarative Debugging of Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 57: 17-40 (2001)
2000
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM 2000: 289-297
c23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Using PE to Automate Program Composition. WFLP 2000: 169-183
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: Redundancy Analyses in Term Rewriting. WFLP 2000: 309-323
e4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente (Ed.): 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000. 2000
1999
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal: Un Sistema de Transformación para Programas Multiparadigma. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 3(8): 27-35 (1999)
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Salvador Lucas, Santiago Escobar: An Incremental Needed Narrowing Calculus for Curry. APPIA-GULP-PRODE 1999: 75-88
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: A Transformation System for Lazy Functional Logic Programs. Fuji International Symposium on Functional and Logic Programming 1999: 147-162
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Inductively Sequential Functional Logic Programs. ICFP 1999: 273-283
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal: A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Salvador Lucas: UPV-CURRY: An Incremental CURRY Interpreter. SOFSEM 1999: 331-339
1998
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. 30(3es): 9 (1998)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. 20(4): 768-844 (1998)
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE 1998: 151-164
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277
1997
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE 1997: 347-358
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA 1997: 1-15
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Specialization of Lazy Functional Logic Programs. PEPM 1997: 151-162
1996
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theor. Comput. Sci. 165(1): 133-169 (1996)
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE 1996: 17-28
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP 1996: 45-61
1995
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. 22(3): 223-254 (1995)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Giorgio Levi: Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995)
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Maria I. Sessa (Eds.): 1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995. 1995
1994
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) 1994: 62-76
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: Compositional Analysis for Equational Horn Programs. ALP 1994: 77-94
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: A Compositional Semantics for Conditional Term Rewriting Systems. ICCL 1994: 171-182
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Roberto Barbuti, Isidro Ramos (Eds.): 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1. 1994
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Roberto Barbuti, Isidro Ramos (Eds.): 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2. 1994
1993
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Using Narrowing Approximations to Optimize Equational Logic Programs. GULP 1993: 127-142
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP 1993: 391-409
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: Incremental Equational Constraint Analyses. ILPS 1993: 657
1992
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, María José Ramírez: An Equational Constraint Logic Approach to Database Design. DEXA 1992: 26-31
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Inconsistency for Incremental Equational Logic Programming. PLILP 1992: 443-457
1991
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi: Narrowing as an Incremental Constraint Satisfaction Algorithm. PLILP 1991: 111-122

Coauthor Index

1Mauricio Alba-Castro
[c47] [i3] [j29] [c45] [c42] [c36]
2Elvira Albert
[c18] [c16] [c15]
3Michele Baggi
[c50] [c48] [c43]
4Demis Ballis
[c59] [c57] [c56] [c55] [c54] [i4] [j32] [c53] [c52] [c50] [c48] [c46] [c43] [c37] [c35] [j21] [c34] [j19] [c32] [c31] [j12] [c29] [c28]
5Roberto Barbuti
[e2] [e1]
6Marco Comini
[j33] [c26]
7Byron Cook
[e7]
8Francisco J. Correa
[j32] [j16] [c28] [j10] [j7]
9Rachid Echahed
[j8]
10Santiago Escobar
[j35] [j34] [j33] [c47] [i3] [j30] [j29] [j27] [c45] [c42] [c40] [c39] [c38] [j24] [c36] [j23] [i2] [c33] [e5] [j14] [j13] [j12] [c29] [j9] [j8] [c27] [c26] [c25] [c22] [c21] [c17]
11Javier Espert
[c55] [c54] [i4] [c52]
12Moreno Falaschi
[j33] [j32] [c53] [c50] [c48] [c43] [c37] [c35] [j23] [j21] [c34] [j19] [c33] [e5] [j15] [c32] [c31] [c30] [j12] [j11] [c29] [c28] [j10] [c26] [j7] [c24] [c23] [j6] [c20] [j5] [j4] [c16] [c15] [c14] [c13] [c12] [j3] [c11] [c10] [j2] [j1] [c9] [c8] [c7] [c6] [c5] [c4] [c2] [c1]
13Marco A. Feliú (Marco Antonio Feliú)
[c58] [c51] [j28] [c44] [c41]
14César Ferri (Cèsar Ferri Ramirez)
[j6]
15Francisco Frechina
[c59] [c57] [c56] [c54]
16María-del-Mar Gallardo
[j26] [j22] [j20] [j18]
17Bernhard Gramlich
[j34] [j25] [c25]
18Michael Hanus
[j17] [i1] [c19] [c18]
19José Iborra
[j35] [j33] [j27] [c40] [c38]
20Pascual Julián Iranzo (Pascual Julián)
[j11] [c16] [c15] [c12] [c11]
21Christophe Joubert
[c51] [j28] [c44] [e7] [c41]
22Giorgio Levi
[j1]
23Salvador Lucas
[j34] [j24] [i2] [j17] [i1] [j14] [j13] [j12] [c29] [j9] [j8] [c27] [c26] [c25] [c22] [c21] [c19] [c17]
24Ferdinando Manzo
[j2] [c2]
25José Meseguer
[j30] [c39]
26Ginés Moreno
[j15] [c24] [c23] [j6] [c20] [c14] [c13]
27Pedro Ojeda
[j30] [j29] [c39] [c37] [c35]
28Ernesto Pimentel
[j26] [j22] [j20] [j18]
29María José Ramis
[c9] [c7] [c6] [c5]
30Isidro Ramos
[e2] [e1]
31M. José Ramírez-Quintana (María José Ramírez)
[c3]
32Daniel Romero (Daniel Omar Romero)
[c57] [c56] [c55] [c54] [i4] [c52] [c49] [j31] [j29] [c46] [c37] [c35] [c34]
33Julia Sapiña
[c59]
34Maria I. Sessa
[e3]
35Germán Vidal
[e6] [j17] [j15] [i1] [j11] [c24] [c23] [j6] [c20] [c19] [c18] [j5] [j4] [c16] [c15] [c14] [c13] [c12] [j3] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4]
36Alicia Villanueva
[c58] [c51] [j28] [c44] [j26] [c41] [j25] [j22] [j20] [j18] [c30]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 20:01:56 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page