 | 2009 |
|---|
| 82 |       | María Alpuente,
Byron Cook,
Christophe Joubert:
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Springer 2009 |
| 81 | | María Alpuente,
Demis Ballis,
Daniel Romero:
Specification and Verification of Web Applications in Rewriting Logic.
FM 2009: 790-805 |
| 80 | | María Alpuente,
Daniel Romero:
A Visual Technique for Web Pages Comparison.
Electr. Notes Theor. Comput. Sci. 235: 3-18 (2009) |
| 79 | | María Alpuente,
Santiago Escobar,
José Meseguer,
Pedro Ojeda:
Order-Sorted Generalization.
Electr. Notes Theor. Comput. Sci. 246: 27-38 (2009) |
| 78 | | 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) |
| 77 | | 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) |
| 2008 |
|---|
| 76 |  | María Alpuente,
Germán Vidal:
Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Springer 2008 |
| 75 | | María Alpuente,
Michele Baggi,
Demis Ballis,
Moreno Falaschi:
Semantic Verification of Web System Contents.
ER Workshops 2008: 437-446 |
| 74 | | Mauricio Alba-Castro,
María Alpuente,
Santiago Escobar:
Automated Certification of Non-Interference in Rewriting Logic.
FMICS 2008: 182-198 |
| 73 | | María Alpuente,
Marco A. Feliú,
Christophe Joubert,
Alicia Villanueva:
Using Datalog and Boolean Equation Systems for Program Analysis.
FMICS 2008: 215-231 |
| 72 | | María Alpuente,
Santiago Escobar,
José Iborra:
Termination of Narrowing Using Dependency Pairs.
ICLP 2008: 317-331 |
| 71 | | María Alpuente,
Santiago Escobar,
José Meseguer,
Pedro Ojeda:
A Modular Equational Generalization Algorithm.
LOPSTR 2008: 24-39 |
| 70 | | María Alpuente,
Santiago Escobar,
José Iborra:
Modular Termination of Basic Narrowing.
RTA 2008: 1-16 |
| 69 | | María Alpuente,
Pedro Ojeda,
Daniel Romero,
Demis Ballis,
Moreno Falaschi:
An Abstract Generic Framework for Web Site Verification.
SAINT 2008: 104-110 |
| 68 | | 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) |
| 2007 |
|---|
| 67 | | Mauricio Alba-Castro,
María Alpuente,
Santiago Escobar:
Automatic Certification of Java Source Code in Rewriting Logic.
FMICS 2007: 200-217 |
| 66 | | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Pedro Ojeda,
Daniel Romero:
A Fast Algebraic Web Verification Service.
RR 2007: 239-248 |
| 65 | | 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) |
| 64 | | María Alpuente,
Santiago Escobar,
Salvador Lucas:
Removing redundant arguments automatically.
TPLP 7(1-2): 3-35 (2007) |
| 2006 |
|---|
| 63 | | María Alpuente,
Demis Ballis,
Moreno Falaschi,
Daniel Romero:
A Semi-Automatic Methodology for Repairing FaultyWeb Sites.
SEFM 2006: 31-40 |
| 62 | | María Alpuente,
Santiago Escobar,
Salvador Lucas:
Removing Redundant Arguments Automatically
CoRR abs/cs/0601039: (2006) |
| 61 | | María Alpuente,
Santiago Escobar,
Moreno Falaschi:
Preface.
Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006) |
| 60 | | 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) |
| 59 | | María Alpuente,
Demis Ballis,
Moreno Falaschi:
Rule-based verification of Web sites.
STTT 8(6): 565-585 (2006) |
| 2005 |
|---|
| 58 | | María Alpuente,
Santiago Escobar,
Moreno Falaschi:
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 |
| 57 | | María Alpuente,
Santiago Escobar,
Moreno Falaschi:
Preface.
WWV 2005 |
| 56 | | 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) |
| 55 | | 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) |
| 54 | | 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) |
| 53 | | 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) |
| 2004 |
|---|
| 52 | | María Alpuente,
Demis Ballis,
Moreno Falaschi:
Automated Verification of Web Sites Using Partial Rewriting.
ISoLA (Preliminary proceedings) 2004: 81-88 |
| 51 | | María Alpuente,
Demis Ballis,
Moreno Falaschi:
Verdi: An Automated Tool for Web Sites Verification.
JELIA 2004: 726-729 |
| 50 | | María Alpuente,
Moreno Falaschi,
Alicia Villanueva:
A Symbolic Model Checker for tccp Programs.
RISE 2004: 45-56 |
| 49 | | María Alpuente,
Michael Hanus,
Salvador Lucas,
Germán Vidal:
Specialization of Functional Logic Programs Based on Needed Narrowing
CoRR cs.PL/0403011: (2004) |
| 48 | | 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) |
| 2003 |
|---|
| 47 | | María Alpuente,
Demis Ballis,
Santiago Escobar,
Moreno Falaschi,
Salvador Lucas:
Abstract Correction of OBJ-like Programs.
APPIA-GULP-PRODE 2003: 422-433 |
| 46 | | María Alpuente,
Demis Ballis,
Francisco J. Correa,
Moreno Falaschi:
Correction of Functional Logic Programs.
ESOP 2003: 54-68 |
| 45 | | María Alpuente,
Santiago Escobar,
Salvador Lucas:
On-demand Evaluation by Program Transformation.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
| 44 | | María Alpuente,
Santiago Escobar,
Salvador Lucas:
OnDemandOBJ: A Laboratory for Strategy Annotations.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
| 43 | | 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): (2003) |
| 42 | | María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Uniform Lazy Narrowing.
J. Log. Comput. 13(2): 287-312 (2003) |
| 2002 |
|---|
| 41 | | María Alpuente,
Santiago Escobar,
Salvador Lucas:
Removing Redundant Arguments of Functions.
AMAST 2002: 117-131 |
| 40 | | María Alpuente,
Marco Comini,
Santiago Escobar,
Moreno Falaschi,
Salvador Lucas:
Abstract Diagnosis of Functional Programs.
LOPSTR 2002: 1-16 |
| 39 | | María Alpuente,
Santiago Escobar,
Bernhard Gramlich,
Salvador Lucas:
Improving On-Demand Strategy Annotations.
LPAR 2002: 1-18 |
| 38 | | María Alpuente,
Francisco J. Correa,
Moreno Falaschi:
A Debugging Scheme for Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 37 | | María Alpuente,
Santiago Escobar,
Salvador Lucas:
Correct and Complete (Positive) Strategy Annotations for OBJ.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 36 | | María Alpuente,
Rachid Echahed,
Santiago Escobar,
Salvador Lucas:
Redundancy of Arguments Reduced to Induction.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 35 | | María Alpuente,
Francisco J. Correa,
Moreno Falaschi:
Declarative Debugging of Functional Logic Programs.
Electr. Notes Theor. Comput. Sci. 57: (2001) |
| 2000 |
|---|
| 34 | | María Alpuente:
9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000
WFLP 2000 |
| 33 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
An Automatic Composition Algorithm for Functional Logic Programs.
SOFSEM 2000: 289-297 |
| 32 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Using PE to Automate Program Composition.
WFLP 2000: 169-183 |
| 31 | | María Alpuente,
Santiago Escobar,
Salvador Lucas:
Redundancy Analyses in Term Rewriting.
WFLP 2000: 309-323 |
| 1999 |
|---|
| 30 | | María Alpuente,
Salvador Lucas,
Santiago Escobar:
An Incremental Needed Narrowing Calculus for Curry.
APPIA-GULP-PRODE 1999: 75-88 |
| 29 | | 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 |
| 28 | | María Alpuente,
Michael Hanus,
Salvador Lucas,
Germán Vidal:
Specialization of Inductively Sequential Functional Logic Programs.
ICFP 1999: 273-283 |
| 27 | | Elvira Albert,
María Alpuente,
Michael Hanus,
Germán Vidal:
A Partial Evaluation Framework for Curry Programs.
LPAR 1999: 376-395 |
| 26 | | María Alpuente,
Santiago Escobar,
Salvador Lucas:
UPV-CURRY: An Incremental CURRY Interpreter.
SOFSEM 1999: 331-339 |
| 25 | | 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 8: 27-35 (1999) |
| 1998 |
|---|
| 24 | | 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 |
| 23 | | 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 |
| 22 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
A Unifying View of Functional and Logic Program Specialization.
ACM Comput. Surv. 30(3es): 9 (1998) |
| 21 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Partial Evaluation of Functional Logic Programs.
ACM Trans. Program. Lang. Syst. 20(4): 768-844 (1998) |
| 1997 |
|---|
| 20 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
ALP/HOA 1997: 1-15 |
| 19 | | María Alpuente,
Moreno Falaschi,
Ginés Moreno,
Germán Vidal:
Safe Folding/Unfolding with Conditional Narrowing.
APPIA-GULP-PRODE 1997: 347-358 |
| 18 | | María Alpuente,
Moreno Falaschi,
Pascual Julián Iranzo,
Germán Vidal:
Specialization of Lazy Functional Logic Programs.
PEPM 1997: 151-162 |
| 1996 |
|---|
| 17 | | 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 |
| 16 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Narrowing-Driven Partial Evaluation of Functional Logic Programs.
ESOP 1996: 45-61 |
| 15 | | 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) |
| 1995 |
|---|
| 14 | | María Alpuente,
Maria I. Sessa:
1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995
GULP-PRODE 1995 |
| 13 | | María Alpuente,
Moreno Falaschi,
Ferdinando Manzo:
Analyses of Unsatisfiability for Equational Logic Programming.
J. Log. Program. 22(3): 223-254 (1995) |
| 12 | | María Alpuente,
Moreno Falaschi,
Giorgio Levi:
Incremental Constraint Satisfaction for Equational Logic Programming.
Theor. Comput. Sci. 142(1): 27-57 (1995) |
| 1994 |
|---|
| 11 | | María Alpuente,
Roberto Barbuti,
Isidro Ramos:
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1
GULP-PRODE (1) 1994 |
| 10 | | María Alpuente,
Roberto Barbuti,
Isidro Ramos:
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2
GULP-PRODE (2) 1994 |
| 9 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Compositional Analysis for Equational Horn Programs.
ALP 1994: 77-94 |
| 8 | | 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 |
| 7 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems.
ICCL 1994: 171-182 |
| 1993 |
|---|
| 6 | | María Alpuente,
Moreno Falaschi,
María José Ramis,
Germán Vidal:
Using Narrowing Approximations to Optimize Equational Logic Programs.
GULP 1993: 127-142 |
| 5 | | María Alpuente,
Moreno Falaschi,
Germán Vidal:
Incremental Equational Constraint Analyses.
ILPS 1993: 657 |
| 4 | | 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 |
| 1992 |
|---|
| 3 | | María Alpuente,
María José Ramírez:
An Equational Constraint Logic Approach to Database Design.
DEXA 1992: 26-31 |
| 2 | | María Alpuente,
Moreno Falaschi,
Ferdinando Manzo:
Analyses of Inconsistency for Incremental Equational Logic Programming.
PLILP 1992: 443-457 |
| 1991 |
|---|
| 1 | | María Alpuente,
Moreno Falaschi:
Narrowing as an Incremental Constraint Satisfaction Algorithm.
PLILP 1991: 111-122 |
