María Alpuente - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

On-demand strategy annotations revisited: An improved on-demand evaluation strategyMaría Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas. TCS, 411(2):504-541, 2010. [doi]

Transformation and Debugging of Functional Logic ProgramsMaría Alpuente, Demis Ballis, Moreno Falaschi. agp 2010: 271-299 [doi]

An integrated framework for the diagnosis and correction of rule-based programsMaría Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi. TCS, 411(47):4055-4101, 2010. [doi]

Model-Checking Web Applications with Web-TLRMaría Alpuente, Demis Ballis, Javier Espert, Daniel Romero. ATVA 2010: 341-346 [doi]

A fold/unfold transformation framework for rewrite theories extended to CCTMaría Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi. PEPM 2010: 43-52 [doi]

A compact fixpoint semantics for term rewriting systemsMaría Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra. TCS, 411(37):3348-3371, 2010. [doi]

2009

A Tool for Automated Certification of Java Source Code in MaudeMauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero. ENTCS, 248:19-29, 2009. [doi]

Abstract Certification of Global Non-interference in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. FMCO 2010: 105-124 [doi]

A Visual Technique for Web Pages ComparisonMaría Alpuente, Daniel Romero. ENTCS, 235:3-18, 2009. [doi]

Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. ProceedingsMaría Alpuente, Byron Cook, Christophe Joubert, editors, Volume 5825 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Order-Sorted GeneralizationMaría Alpuente, Santiago Escobar, JosÃ© Meseguer, Pedro Ojeda. ENTCS, 246:27-38, 2009. [doi]

Termination of narrowing revisitedMaría Alpuente, Santiago Escobar, JosÃ© Iborra. TCS, 410(46):4608-4625, 2009. [doi]

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program AnalyzerMaría Alpuente, Marco A. FeliÃº, Christophe Joubert, Alicia Villanueva. ENTCS, 248:57-66, 2009. [doi]

Defining Datalog in Rewriting LogicMaría Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva. LOPSTR 2010: 188-204 [doi]

Specification and Verification of Web Applications in Rewriting LogicMaría Alpuente, Demis Ballis, Daniel Romero. fm 2009: 790-805 [doi]

2008

Automated Certification of Non-Interference in Rewriting LogicMauricio Alba-Castro, María Alpuente, Santiago Escobar. fmics 2009: 182-198 [doi]

A Modular Equational Generalization AlgorithmMaría Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda. LOPSTR 2009: 24-39 [doi]

An Abstract Generic Framework for Web Site VerificationMaría Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi. saint 2008: 104-110 [doi]

Modular Termination of Basic NarrowingMaría Alpuente, Santiago Escobar, José Iborra. RTA 2008: 1-16 [doi]

Termination of Narrowing Using Dependency PairsMaría Alpuente, Santiago Escobar, José Iborra. ICLP 2008: 317-331 [doi]

Semantic Verification of Web System ContentsMaría Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi. er 2008: 437-446 [doi]

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source TransformationMaría Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva. ENTCS, 206:3-21, 2008. [doi]

Using Datalog and Boolean Equation Systems for Program AnalysisMaría Alpuente, Marco A. FeliÃº, Christophe Joubert, Alicia Villanueva. fmics 2009: 215-231 [doi]

Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. ProceedingsMaría Alpuente, Germán Vidal, editors, Volume 5079 of Lecture Notes in Computer Science, Springer, 2008.

2007

2006

A Semi-Automatic Methodology for Repairing FaultyWeb SitesMaría Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero. sefm 2006: 31-40 [doi]

PrefaceMaría Alpuente, Santiago Escobar, Moreno Falaschi. ENTCS, 157(2):1-2, 2006. [doi]

Verifying Real-Time Properties of tccp ProgramsMaría Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva. jucs, 12(11):1551-1573, 2006. [doi]

Rule-based verification of Web sitesMaría Alpuente, Demis Ballis, Moreno Falaschi. STTT, 8(6):565-585, 2006. [doi]

2005

2004

2003

2002

2001

Declarative Debugging of Functional Logic ProgramsMaría Alpuente, Francisco J. Correa, Moreno Falaschi. TCS, 57, 2001. [doi]

2000

An Automatic Composition Algorithm for Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. sofsem 2000: 289-297 [doi]

Using PE to Automate Program CompositionMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. wflp 2000: 169-183

Redundancy Analyses in Term RewritingMaría Alpuente, Santiago Escobar, Salvador Lucas. wflp 2000: 309-323

1999

1998

1997

Safe Folding/Unfolding with Conditional NarrowingMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. icalp 1997: 1-15

Safe Folding/Unfolding with Conditional NarrowingMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. agp 1997: 347-358

Specialization of Lazy Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. PEPM 1997: 151-162 [doi]

1996

Call-By Name Partial Evaluation of Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. agp 1996: 17-28

Narrowing-Driven Partial Evaluation of Functional Logic ProgramsMaría Alpuente, Moreno Falaschi, Germán Vidal. ESOP 1996: 45-61

A Compositional Semantic Basis for the Analysis of Equational Horn ProgramsMaría Alpuente, Moreno Falaschi, Germán Vidal. TCS, 165(1):133-169, 1996. [doi]

1995

1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995María Alpuente, Maria I. Sessa, editors, 1995.

Analyses of Unsatisfiability for Equational Logic ProgrammingMaría Alpuente, Moreno Falaschi, Ferdinando Manzo. jlp, 22(3):223-254, 1995.

Incremental Constraint Satisfaction for Equational Logic ProgrammingMaría Alpuente, Moreno Falaschi, Giorgio Levi. TCS, 142(1):27-57, 1995. [doi]

1994

1993

Narrowing Approximations as an Optimization for Equational Logic ProgramsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. plilp 1993: 391-409

Using Narrowing Approximations to Optimize Equational Logic ProgramsMaría Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. agp 1993: 127-142

Incremental Equational Constraint AnalysesMaría Alpuente, Moreno Falaschi, Germán Vidal. slp 1993: 657

1992

Analyses of Inconsistency for Incremental Equational Logic ProgrammingMaría Alpuente, Moreno Falaschi, Ferdinando Manzo. plilp 1992: 443-457

An Equational Constraint Logic Approach to Database DesignMaría Alpuente, María José Ramírez. DEXA 1992: 26-31

1991

Narrowing as an Incremental Constraint Satisfaction AlgorithmMaría Alpuente, Moreno Falaschi. plilp 1991: 111-122

A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCTMaría Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi. PEPM 2010: