ELP - Papers

Papers of the ELP Group

This document lists some papers of the ELP Group; the list is currently unmaintained. You can get the complete group bibliography by accessing the

ELP Google Scholar profile

or the members' homepages.

Papers in this repository are organized in three groups:

Journal and Conference papers
PhD Theses
Technical Reports

They are ordered by year of publication and author(s) (inverse ordering). In most cases you can retrieve, just by clicking, the abstracts of the papers, their DVI, PDF and PostScript versions as well as the corresponding BibTeX entries.

© Copyright
Copyrights are held variously by the authors or publishers. In general, these papers are provided for direct use in scholarship and education. If you are contemplating other uses, such as republication, you must obtain appropriate permissions. If you wish to cite any of the published work, please look up the formal publication, and use that version. The preprints in this area are as accurate as we can make them, but they are not authoritative copies of the published versions.

Journal and Conference Papers

(Select year of publication )

2019

M. Alpuente, D. Ballis J. Sapiña
Static Correction of Maude Programs with Assertions
Journal of Systems and Software 153: 64-85, 2019
© Elsevier
Available: PDF (preprint) / JSS version
M. Alpuente, D. Ballis, J. Sapiña
Imposing Assertions in Maude via Program Transformation
MethodsX 6: 2577-2583, 2019
© Elsevier
Available: PDF (preprint) / MethodsX version
M. Alpuente, D. Ballis, S. Escobar, J. Sapiña
Symbolic Analysis of Maude Theories with Narval
Theory and Practice of Logic Programming 19(5-6): 874-890, 2019
© Cambridge University Press
Available: PDF (preprint) / TPLP version
M. Alpuente, D. Ballis A. Cuenca, S. Escobar, J. Meseguer
ACUOS2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance
16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
Rende, Italy, May 8-10, 2019
Lecture Notes in Artificial Intelligence 11468: 171-181, Springer-Verlag, Berlin, 2019
© Springer
Available: PDF (preprint) / LNAI version

2018

M. Alpuente, D. Ballis J. Sapiña
Inferring Safe Maude Programs with ÁTAME
International Congress on Mathematical Software (ICMS 2018)
South Bend (USA), 24-27 July 2018
Lecture Notes in Computer Science 10931: 1-10, Springer-Verlag, Berlin, 2018
© Springer
Available: PDF / LNCS version
M. Alpuente, A. Cuenca, S. Escobar, J. Meseguer
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms
28th Int'l Symposium on Logic-Based Program Synthesis and Tranformation (LOPSTR 2018)
Frankfurt am Main, Germany, 4-6 September 2018
Lecture Notes in Computer Science 11408: 38-55, Springer-Verlag, Berlin, 2019
© Springer
Available: PDF / ArXiv version

2017

M. Alpuente, A.Cuenca, S. Escobar, J. Sapiña
Inspecting Maude variants with GLINTS
Theory and Practice of Logic Programming, 17(5-6): 689-707 (2017)
© Cambridge University Press
Available: TPLP version
M. Alpuente, A. Cuenca, S. Escobar, J. Meseguer
Partial Evaluation of Order-sorted Equational Programs modulo Axioms
Selected papers from 26th Int'l Symposium on Logic-Based Program Synthesis and Tranformation
Lecture Notes in Computer Science 10184: 3-20, Springer-Verlag, Berlin, 2017
© Springer
Available: PDF
M. Alpuente, D. Pardo, A. Villanueva
Symbolic Abstract Contract Synthesis in a Rewriting Framework
Selected papers from 26th Int'l Symposium on Logic-Based Program Synthesis and Tranformation
Lecture Notes in Computer Science 10184: 187-202, Springer-Verlag, Berlin, 2017
© Springer
Available: PDF

2016

M. Alpuente, D. Ballis, F. Frechina, J. Sapiña
Debugging Maude Programs via Runtime Assertion Checking and Trace Slicing
Journal of Logical and Algebraic Methods in Programming 85(5-1):707-736
Available: PDF
M. Alpuente, D. Ballis, F. Frechina, J. Sapiña
Assertion-based Analysis via Slicing with ABETS
Theory and Practice of Logic Programming 16(5-6):515-532 (2016)
© Cambridge University Press
Available: PDF (preprint) / TPLP version

M. Alpuente, A. Cuenca, S. Escobar, J. Meseguer
Partial Evaluation of Order-sorted Equational Programs modulo Axioms (Extended Abstract)
26th Int'l Symposium on Logic-Based Program Synthesis and Tranformation (LOPSTR 2016)
Edinburgh (Scotland, UK), September 6-8, 2016
Available: PDF / ArXiv version
M. Alpuente, D. Pardo, A. Villanueva
Symbolic Abstract Contract Synthesis in a Rewriting Framework
26th Int'l Symposium on Logic-Based Program Synthesis and Tranformation (LOPSTR 2016)
Edinburgh (Scotland, UK), September 6-8, 2016
Available: PDF / ArXiv version

2015

M. Alpuente, D. Ballis, F. Frechina, J. Sapiña
Exploring Conditional Rewriting Logic Computations
Journal of Symbolic Computation 69:3-39
© Elsevier
Available: PDF
M. Alpuente, D. Pardo, A. Villanueva
Inferring Specifications in the K Framework
15th Spanish Conference on Programming and Computer Languages (PROLE'15)
Santander (Spain), September 15-17, 2015
EPTCS 200:1-17
Available: PDF
M. Alpuente, D. Ballis, F. Frechina, J. Sapiña
Combining Runtime Checking and Slicing to improve Maude Error Diagnosis
Logic, Rewriting, and Concurrency, Festschrift Symposium in Honor of José Meseguer (LRC 2015)
Urbana, Illinois (USA), September 23-25, 2015
Lecture Notes in Computer Science 9200:72-96
© Springer
Available: PDF

2014

M. Alpuente, D. Ballis, F. Frechina, D. Romero
Using Conditional Trace Slicing for improving Maude programs
Science of Computer Programming 80(B):385-415
© Elsevier
Available: PDF
M. Alpuente, D. Ballis, D. Romero
A Rewriting Logic Approach to the Formal Specification and Verification of Web applications
Science of Computer Programming 81:79-107
© Elsevier
Available: PDF
M.Alpuente, S. Escobar, J. Espert, J. Meseguer
A Modular Order-Sorted Equational Generalization Algorithm
Information and Computation 235:98-136
© Elsevier
Available: PDF
M.Alpuente, S. Escobar, J. Espert, J. Meseguer
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
Madeira (Portugal), September 24-26, 2014
Lecture Notes in Computer Science 8761:573-581
© Springer
Available: PDF (extended version)
M. Alpuente, D. Ballis, F. Frechina, J. Sapiña
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
Specification, Algebra, and Software. Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014)
Kanazawa (Japan), April 14-16, 2014
Lecture Notes in Computer Science 8373:229-255
© Springer
Available: PDF

2013

M. Alpuente, D. Ballis, F. Frechina, D. Romero
Rewriting-based Repairing Strategies for XML Documents
Journal of Logic and Algebraic Programming 82(B):326 - 352
© Elsevier
Available: PDF
M. Alpuente, D. Ballis, F. Frechina, J. Sapiña
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne
22nd European Symposium on Programming (ESOP 2013)
Rome (Italy), March 16-24, 2013
Lecture Notes in Computer Science 7792:121-124
© Springer
Available: PDF
M. Alpuente, S. Escobar, J. Espert
Detecting ACU Structural Symmetries
27th Int'l Workshop on Unification (UNIF 2013)
Eindhoven (The Netherlands), June 27, 2013
EPiC 19:3-7
Available: PDF
M. Alpuente, M. Feliú, A. Villanueva
Automatic Inference of Specifications using Matching Logic
2013 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13)
Rome (Italy), January 21-22, 2013
PEPM'13 Proceedings 127-136
© ACM Press
Available: PDF

2012

M. Alpuente, D. Ballis, F. Frechina, D. Romero
Julienne: A Trace Slicer for Conditional Rewrite Theories
18th Int'l Symposium on Formal Methods (FM 2012)
Paris (France), August 27-31, 2012
Lecture Notes in Computer Science 7436:28-32
© Springer
Available: PDF
M. Alpuente, D. Ballis, F. Frechina, D. Romero
Backward Trace Slicing for Conditional Rewrite Theories
18th Int'l Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18)
Mérida (Venezuela), March 10-15, 2012
Lecture Notes in Computer Science 7180:62-76
© Springer
Available: PDF
M. Alpuente, C. Joubert, S. Kowalewski, M. Roveri (editors)
Special issue on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS 2010)
Science of Computer Programming 78(7), 2013
© Elsevier

2011

M. Alpuente (editor)
20th Int'l Symposium on Logic-Based Program Synthesis and Tranformation (LOPSTR 2010)
Hagenberg (Austria), July 23-25, 2010
Lecture Notes in Computer Science 6564, 2011
© Springer
Available: DOI link
M. Alpuente, D. Ballis, J. Espert, D. Romero
Backward Trace Slicing for Rewriting Logic Theories
23rd Int'l Conference on Automated Deduction (CADE 2011)
Wrocław (Poland), July 31, August 1-5, 2011
Lecture Notes in Computer Science 6803:34-48, 2011
© Springer
Available: PDF
M. Alpuente, D. Ballis, J. Espert, F. Frechina, D. Romero
Debugging of Web Applications with WEB-TLR
7th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV 2011)
Reykjavik (Iceland), June 9, 2011
Electronic Proceedings in Theoretical Computer Science 61:66-80
© Electronic Proceedings in Theoretical Computer Science
Available: PDF
M. Alba-Castro, M. Alpuente, S. Escobar
Approximating Non-interference and Erasure in Rewriting Logic
12th Int'l Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)
Timisoara (Romania), September 23-26, 2010
SYNASC'10 Proceedings 124-132
© IEEE Computer Society Press
Available: PDF
M. Alpuente, M. Baggi, D. Ballis, M. Falaschi
Completeness of Unfolding for Rewriting Logic Theories
12th Int'l Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)
Timisoara (Romania), September 23-26, 2010
SYNASC'10 Proceedings 116-123
© IEEE Computer Society Press
Available: PDF
M. Alpuente, M. Feliú, C. Joubert, A. Villanueva
Datalog-based Program Analysis with BES and RWL
1st Int'l Workshop on Datalog 2.0 (Datalog 2010)
Oxford (UK), March 16-19, 2010
Lecture Notes in Computer Science 6702:1-20
© Springer
Available: PDF

2010

M. Alba-Castro, M. Alpuente, S. Escobar
Confidentiality Certification of source Java code in JavaPCC
10th Int'l Workshop on Automated Verification of Critical Systems (AVoCS 2010)
Düsseldorf (Germany), September 20-23, 2010
M. Alba-Castro, M. Alpuente, S. Escobar
Abstract Certification of Global Non-Interference in Rewriting Logic
8th International Symposium on Formal Methods for Components and Objects (FMCO 2009)
Eindhoven (The Netherlands), November 4-6, 2009
Lecture Notes in Computer Science 6286:105-124 (Revised Selected Papers)
© Springer
Available: DOI PDF CoRR with proofs
M. Alpuente, M. Baggi, D. Ballis, M. Falaschi
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT
2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'10)
Madrid (Spain), January 18-19, 2010
PEPM'10 Proceedings 43-52
© ACM Press
Available: PDF
M. Alpuente, D. Ballis, F. J. Correa, M. Falaschi
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs
Theoretical Computer Science 411(47):4055-4101
© Elsevier
Available: DOI link Preliminary version
M. Alpuente, D. Ballis, J. Espert, D. Romero
Model-checking Web Applications with Web-TLR
8th Int'l Symposium on Automated Technology for Verification and Analysis (ATVA 2010)
Singapore, September 21-24, 2010
Lecture Notes in Computer Science 6252:341-346
© Springer
Available: PDF
M. Alpuente, D. Ballis, M. Falaschi
Transformation and Debugging of Functional Logic Programs
25 Years of Applications of Logic Programming in Italy
Lecture Notes in Computer Science 6125:271-299
© Springer
Available: PDF
M. Alpuente, M. Comini, S. Escobar, M. Falaschi, J. Iborra
A Compact Fixpoint Semantics for Term Rewriting Systems
Theoretical Computer Science 411(37):3348-3371
© Elsevier
Available: DOI link Preliminary version
M. Alpuente, S. Escobar, B. Gramlich, S. Lucas
On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy
Theoretical Computer Science 411(2):504-542
© Elsevier
Available: DOI link Preliminary version
M. Alpuente, S. Escobar, J. Iborra
Modular Termination of Basic Narrowing and Equational Unification
Journal of the IGPL 19(6):731-762
© Oxford Universiry Press
Available: DOI link Preliminary version
M. Alpuente, M. Feliú, C. Joubert, A. Villanueva
Defining Datalog in Rewriting Logic
19th Int'l Symposium on Logic-Based Program Synthesis and Tranformation (LOPSTR 2009)
Coimbra (Portugal), September 9-11, 2009
Lecture Notes in Computer Science 6037:188-204
© Springer
Available: PDF
M. Alpuente, D. Romero
A Tool for Computing the Visual Similarity of Web Pages
10th Int'l Symposium on Applications and the Internet (SAINT 2010)
Seoul (Korea) July 19-23, 2010
SAINT'10 Proceedings 45-51
© IEEE Computer Society Press
Available: PDF

2009

M. Alba-Castro, M. Alpuente, S. Escobar P. Ojeda, D. Romero
A Tool for Automated Certification of Java Source Code in Maude
Electronic Notes in Theoretical Computer Science 248:19-29
© Elsevier
Available: DOI link PDF
M. Alpuente, D. Ballis, D. Romero
Specification and Verification of Web Applications in Rewriting Logic
16th Int'l Symposium on Formal Methods (FM 2009)
Eindhoven (The Netherlands) November 2-6, 2009
Lecture Notes in Computer Science 5850:790-805
© Springer
Available: PDF
M. Alpuente, B. Cook, C. Joubert (editors)
14th Int'l Symposium on Formal Methods for Industrial Critical Systems (FMICS 2009)
Eindhoven (The Netherlands), November 2-3, 2009.
Lecture Notes in Computer Science 5825, 2009
© Springer
Available: DOI link
M. Alpuente, S. Escobar, J. Iborra
Termination of Narrowing Revisited
Theoretical Computer Science 410(46):4608-4625
© Elsevier
Available: DOI link Preliminary version
M. Alpuente, S. Escobar, J. Meseguer, P. Ojeda
Order-sorted Generalization
17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)
Siena (Italy) July 3-4, 2008
Electronic Notes in Theoretical Computer Science 246:27-38, 2009 (Revised Selected Papers)
© Elsevier
Available: DOI link PDF
M. Alpuente, S. Escobar, J. Meseguer, P. Ojeda
A Modular Equational Generalization Algorithm
18th Int'l Symposium on Logic-Based Program Synthesis and Tranformation (LOPSTR 2008)
Valencia (Spain), July 17-18, 2008
Lecture Notes in Computer Science 5438:24-39
© Springer
Available: DOI link PDF
M. Alpuente, M. Feliú, C. Joubert, A. Villanueva
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Electronic Notes in Theoretical Computer Science 248:57-66
© Elsevier
Available: PDF
M. Alpuente, M. Feliú, C. Joubert, A. Villanueva
Using Datalog and Boolean Equation Systems for Program Analysis
13th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008)
L'Aquila (Italy) September 15-16, 2008
Lecture Notes in Computer Science 5596:215-231, 2009 (Revised Selected Papers)
© Springer
Available: PDF
M. Alba-Castro, M. Alpuente, S. Escobar
Automatic Certification of Non-Interference in Rewriting Logic
13th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008)
L'Aquila (Italy) September 15-16, 2008
Lecture Notes in Computer Science 5596:182-198, 2009 (Revised Selected Papers)
© Springer
Available: DOI link PDF
M. Alpuente, D. Romero
A Visual Technique for Web Pages Comparison
Electronic Notes in Theoretical Computer Science 235:3-18
© Elsevier
Available: PDF

2008

B. Alarcón, S. Lucas
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting
8th Spanish Conference on Programming and Computer Languages (PROLE'08)
Gijón (Spain), October 7-10, 2008
Electronic Notes in Theoretical Computer Science 248:3-17
© Elsevier
Available: Abstract PDF
M. Alba-Castro, M. Alpuente, S. Escobar
Automatic Certification of Java Source Code in Rewriting Logic
12th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)
Berlin (Germany) July 1-2, 2007
Lecture Notes in Computer Science 4916:200-216, 2008 (Revised Selected Papers)
© Springer
Available: PDF
M. Alpuente, M. Baggi, D. Ballis, M. Falaschi
Semantic Verification of Web System Contents
5th Int'l Workshop on Web Information Systems Modeling (WISM 2008)
Barcelona (Spain), October 20-23, 2008
Lecture Notes in Computer Science 5232:437-446
© Springer
Available: PDF
M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda, D. Romero
An Abstract Generic Framework for Web Site Verification
8th Int'l Symposium on Applications and the Internet (SAINT 2008)
Turku (Finland) July 28 - August 1, 2008
SAINT'08 Proceedings 45-51
© IEEE Computer Society Press
Available: PDF
M. Alpuente, S. Escobar, J. Iborra
Termination of Narrowing using Dependency Pairs
24th Int'l Conference on Logic Programming (ICLP 2008)
Udine (Italy), December 9-13, 2008
Lecture Notes in Computer Science 5366:317-331
© Springer
Available: DOI link PDF
M. Alpuente, S. Escobar, J. Iborra
Modular Termination of Basic Narrowing
19th Int'l Conference on Rewriting Techniques and Applications (RTA'08)
Hagenberg (Austria), July 15-17, 2008
Lecture Notes in Computer Science 5117:1-16
© Springer
Available: PDF
M. Alpuente, M. M. Gallardo, E. Pimentel, A. Villanueva
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation
Electronic Notes in Theoretical Computer Science 206:3-21
© Elsevier
Available: PDF
M. Alpuente, G. Vidal (editors)
15th Int'l Static Analysis Symposium (SAS 2008)
Valencia (Spain) July 16-18, 2008
Lecture Notes in Computer Science 5079
© Springer
Available: DOI link
F. Durán;, S. Lucas, C. Marché, J. Meseguer, X. Urbain
Proving Operational Termination of Membership Equational Programs
Higher-Order and Symbolic Computation 21(1):59-88
© Springer
Available: Abstract PDF
F. Durán;, S. Lucas, J. Meseguer
Methods for proving termination of rewriting-based programming languages
8th Spanish Conference on Programming and Computer Languages (PROLE'08)
Gijón (Spain), October 7-10, 2008
Electronic Notes in Theoretical Computer Science 248:93-113
© Elsevier
Available: Abstract PDF
F. Durán;, S. Lucas, J. Meseguer
MTT: The Maude Termination Tool (System Description)
4th Int'l Joint Conference on Automated Reasoning (IJCAR'08)
Sydney (Australia) August 10-15, 2008
Lecture Notes in Computer Science 5195:313-319
© Springer
Available: Abstract PDF
F. Durán;, S. Lucas, J. Meseguer
Web Services and Interoperability for the Maude Termination Tool
8th Spanish Conference on Programming and Computer Languages (PROLE'08)
Gijón (Spain), October 7-10, 2008
Electronic Notes in Theoretical Computer Science 248:83-92
© Elsevier
Available: Abstract PDF
S. Escobar, C. Meadows, J. Meseguer
State Space Reduction in the Maude-NRL Protocol Analyzer
13th European Symposium on Research in Computer Security (ESORICS 2008)
Málaga (Spain), October 6-8, 2008
Lecture Notes in Computer Science 5283:548-562
© Springer
Available: PDF
S. Escobar, J. Meseguer, R. Sasse
Effectively Checking or Disproving the Finite Variant Property
19th Int'l Conference on Rewriting Techniques and Applications (RTA'08)
Hagenberg (Austria), July 15-17, 2008
Lecture Notes in Computer Science 5117:79-93
© Springer
Available: PDF
S. Escobar, J. Meseguer, R. Sasse
Variant Narrowing and Equational Unification
7th Int'l Workshop on Rewriting Logic and its Applications (WRLA'08)
Budapest (Hungary), March 29-30, 2008
Electronic Notes in Theoretical Computer Science 238(3):103-119
© Elsevier
Available: PDF
S. Flores, S. Lucas, A. Villanueva
Formal Verification of Web Sites
3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
San Servolo, Venice (Italy), December 14, 2007
Electronic Notes in Theoretical Computer Science 200(3):103-118
© Elsevier
Available: Abstract PDF
C. Fuhs, R. Navarro-Marset, C. Otto, J. Giesl, S. Lucas, P. Schneider-Kamp
Search Techniques for Rational Polynomial Orders
9th Int'l Conference on Artificial Intelligence and Symbolic Computation (AISC'08)
Birmingham (UK), July 31 - August 1, 2008
Lecture Notes in Computer Science 5144:109-124
© Springer
Available: Abstract PDF
R. Gutiérrez, S. Lucas, X. Urbain
Usable Rules for Context-Sensitive Rewrite Systems
19th Int'l Conference on Rewriting Techniques and Applications (RTA'08)
Hagenberg (Austria), July 15-17, 2008
Lecture Notes in Computer Science 5117:126-141
© Springer
Available: Abstract PDF
M. Katelman, S. Escobar, J. Meseguer
Directed-Logical Testing for Functional Verification of Microprocessors
6th ACM-IEEE Int'l Conference on Formal Methods and Models for Codesign (MEMOCODE'2008)
Anaheim, California (USA), June 5-7, 2008
MEMOCODE'2008 Proceedings 89-100
© ACM Press
Available: PDF
S. Lucas, J. Meseguer
Operational Termination of Membership Equational Programs: the Order-Sorted Way
7th Int'l Workshop on Rewriting Logic and its Applications (WRLA'08)
Budapest (Hungary), March 29-30, 2008
Electronic Notes in Theoretical Computer Science 238(3):207-225
© Elsevier
Available: Abstract PDF
S. Lucas, J. Meseguer
Order-Sorted Dependency Pairs
10th Int'l ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08)
Valencia (Spain), July 15-17, 2008
PPDP'08 Proceedings 108-119
© ACM Press
Available: Abstract PDF
S. Lucas, J. Meseguer
Termination of Just/Fair Computations in Term Rewriting
Information and Computation 206(5):652-675
© Elsevier
Available: Abstract PDF
S. Lucas, R. Navarro-Marset
Comparing CSP and SAT solvers for polynomial constraints in termination provers
7th Spanish Conference on Programming and Computer Languages (PROLE'07)
Zaragoza (Spain), September 12-14, 2007
Electronic Notes in Theoretical Computer Science 206:75-90
© Elsevier
Available: Abstract PDF

2007

B. Alarcón, R. Gutiérrez, J. Iborra, S. Lucas
Proving Termination of Context-Sensitive Rewriting With MU-TERM
6th Spanish Conference on Programming and Computer Languages (PROLE'06)
Sitges (Spain), October 4-6, 2006
Electronic Notes in Theoretical Computer Science 188:105-115
© Elsevier
Available: Abstract PDF
B. Alarcón, R. Gutiérrez, S. Lucas
Improving the context-sensitive dependency graph
6th Spanish Conference on Programming and Computer Languages (PROLE'06)
Sitges (Spain), October 4-6, 2006
Electronic Notes in Theoretical Computer Science 188:91-103
© Elsevier
Available: Abstract PDF
B. Alarcón, S. Lucas
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
6th Int'l Symposium on Frontiers of Combining Systems (FroCoS'07)
Liverpool (UK), September 10-12, 2007
Lecture Notes in Computer Science 4720:73-87
© Springer
Available: Abstract PDF
M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda, D. Romero
A Fast Algebraic Web Verification Service
1st Int'l Conference on Web Reasoning and Rule Systems (RR 2007)
Innsbruck (Austria), June 7-8, 2007
Lecture Notes in Computer Science 4524:239-248
© Springer
Available: Abstract PDF
M. Alpuente, S. Escobar, M. Falaschi (editors)
2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)
Paphos (Cyprus), Noverber 19, 2006
© IEEE Computer Society Press
Available: IEEE Xplore link
M. Alpuente, S. Escobar, S. Lucas
Removing Redundant Arguments Automatically
Theory and Practice of Logic Programming 7(1&2):3-35
© Cambridge University Press
Available: DOI link PDF (CORR version)
M. Alpuente, B. Gramlich, A. Villanueva
A Framework for Timed Concurrent Constraint Programming with External Functions
6th Spanish Conference on Programming and Computer Languages (PROLE'06)
Sitges (Spain), October 4-6, 2006
Electronic Notes in Theoretical Computer Science 188:143-155
© Elsevier
Available: PDF
M. Clavel, F. Durán;, S. Lucas, J. Meseguer, P. Ölveczky
The Maude Formal Tool Environment
2nd Conference con Algebra and Coalgebra in Computer Science (CALCO'07)
Bergen (Norway), August 20-24, 2007
Lecture Notes in Computer Science 4624:173-178
© Springer
Available: Abstract
S. Escobar, J. Meseguer
Symbolic Model Checking of Infinite-State Systems Using Narrowing
18th Int'l Conference on Rewriting Techniques and Applications (RTA'07)
Paris (France), June 26-28, 2007
Lecture Notes in Computer Science 4533:153-168
© Springer
Available: PDF
S. Escobar, C. Meadows, J. Meseguer
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
1st Int'l Workshop on Security and Rewriting Techniques (SecReT 2006)
San Servolo, Venice (Italy), July 15, 2006
Electronic Notes in Theoretical Computer Science 171(4):23-36
© Elsevier
Available: DOI link PDF
M. M. Gallardo, C. Joubert, P. Merino, D. Sanan
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs
14th Int'l SPIN Workshop on Model Checking of Software (SPIN'07)
Berlin (Germany), July 1-3, 2007
Lecture Notes in Computer Science 4595:268-273
© Springer
Available: Abstract PDF Appendix BibTeX entry
M. M. Gallardo, C. Joubert, P. Merino, D. Sanan
On-the-Fly Model Checking for C Programs with Extended CADP in FMICS-jETI
12th IEEE Int'l Conference on Engineering of Complex Computer Systems (ICECCS'07)
Auckland (New Zealand), July 11-14, 2007
ICECCS'07 Proceedings 321-329
© IEEE Computer Society Press
Available: Abstract PDF BibTeX entry
M. M. Gallardo, C. Joubert, P. Merino
On-the-Fly Data Flow Analysis based on Verification Technology
6th Int'l Workshop on Compiler Optimization meets Compiler Verification (COCV'07)
Braga (Portugal), March 25, 2007
Electronic Notes in Theoretical Computer Science 190(4):33-48
© Elsevier
Available: Abstract PDF BibTeX entry
S. Lucas
Practical use of polynomials over the reals in proofs of termination
9th Int'l ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'07)
Wrocław (Poland), July 14-16, 2007
PPDP'07 Proceedings 39-50
© ACM Press
Available: Abstract

2006

B. Alarcón, R. Gutiérrez, S. Lucas
Context-Sensitive Dependency Pairs
26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06)
Kolkata (India), December 13-15, 2006
Lecture Notes in Computer Science 4337:297-308
© Springer
Available: Abstract PDF
B. Alarcón, S. Lucas
Building .NET GUIs for Haskell applications
4th Int'l Conference on .NET Technologies
Pilsen (Czech Republic), May 29 - June 1, 2006
pages 57-66, 2006
Available: Abstract PDF
M. Alpuente, D. Ballis, M. Falaschi
Rule-based verification of Web Sites
International Journal on Software Tools for Technology Transfer 8(6):565-585
© Springer
Available: PDF
M. Alpuente, D. Ballis, M. Falaschi, D. Romero
A Semi-automatic Methodology for Repairing Faulty Web Sites
4th IEEE Int'l Conference on Software Engineering and Formal Methods (SEFM'06)
Pune (India), September 11-15, 2006
SEFM'06 Proceedings 31-40
© IEEE Computer Society Press
Available: PDF
M. Alpuente, S. Escobar, M. Falaschi, (editors)
1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)
Valencia (Spain), March 14-15, 2005
Electronic Notes in Theoretical Computer Science 157(2)
© Elsevier
Available: WWV'05 pre-proceedings
M. Alpuente, M. M. Gallardo, E. Pimentel, A. Villanueva
Verifying Real-Time Properties of tccp programs
Journal of Universal Computer Science 12(11):1551-1573
© Springer
Available: Abstract PDF
D. Ballis, D. Romero
Fixing Web Sites Using Correction Strategies
2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)
Paphos (Cyprus), Noverber 19, 2006
WWV'06 Proceedings 495-502
© IEEE Computer Society Press
Available: PDF
D. Ballis, D. Romero
Filtering of XML Documents
2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)
Paphos (Cyprus), Noverber 19, 2006
WWV'06 Proceedings 503-509
© IEEE Computer Society Press
Available: PDF
S. Escobar, J. Meseguer, P. Thati
Narrowing and Rewriting Logic: from Foundations to Applications
15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06)
Madrid (Spain), November 16-18, 2006
Electronic Notes in Theoretical Computer Science 177:5-33
© Elsevier
Available: PDF
S. Escobar, C. Meadows, J. Meseguer
A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties
Theoretical Computer Science 367(1&2):162-202
© Elsevier
Available: DOI link Preliminary version
B. Gramlich, S. Lucas
Generalizing Newman's Lemma for Left-Linear Rewrite Systems
17th Int'l Conference on Rewriting Techniques and Applications (RTA'06)
Seattle, Washington (USA), August 12-14, 2006
Lecture Notes in Computer Science 4098:66-80
© Springer
Available: Abstract PDF
S. Lucas
Proving Termination of Context-Sensitive Rewriting by Transformation
Information and Computation 204(12):1782-1846
© Elsevier
Available: Abstract
S. Lucas
On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting
Applicable Algebra in Engineering, Communications and Computing 17(1):49-73
© Springer
Available: Abstract PDF
S. Lucas
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics
1st Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'05)
Valencia (Spain), March 14-15, 2005
Electronic Notes in Theoretical Computer Science 157(2):79-85
© Elsevier
Available: Abstract

2005

M. Alpuente, D. Ballis, M. Falaschi
A Rewriting-based Framework for Web sites Verification
5th Int'l Workshop on Rule-based Programming (RULE 2004)
Aachen (Germany), June 1, 2004
Electronic Notes in Theoretical Computer Science 124(1):41-61
© Elsevier
Available: PDF
M. Alpuente, S. Escobar, S. Lucas
A Note on Syntactic Annotations for Narrowing
5th Spanish Conference on Programming and Computer Languages (PROLE'05)
Granada (Spain), September 14-16, 2005
PROLE'05 Proceedings 25-30
© Thomson
Available: Abstract PDF
M. Alpuente, M. Falaschi, A. Villanueva
A Symbolic Model Checker for tccp Programs
13th ERCIM Int'l Workshop on Rapid Integration of Software Engineering Techniques (RISE 2004)
Luxembourg-Kirchberg (Luxembourg), November 26, 2004
Lecture Notes in Computer Science 3475:45-56
© Springer
Available: Abstract PDF PostScript
M. Alpuente, M. M. Gallardo, E. Pimentel, A. Villanueva
A Semantic Framework for the Abstract Model Checking of tccp programs
Theoretical Computer Science 346(1):58-95
© Elsevier
Available: PDF
M. Alpuente, M. M. Gallardo, E. Pimentel, A. Villanueva
Semantic Framework for the Abstract Model Checking of tccp programs (Extended Abstract)
5th Spanish Conference on Programming and Computer Languages (PROLE'05)
Granada (Spain), September 14-16, 2005
PROLE'05 Proceedings 97-100
© Thomson
Available: Abstract PostScript PDF BibTeX Entry
M. Alpuente, M. M. Gallardo, E. Pimentel, A. Villanueva
Verifying Real-Time Properties of tccp Programs
5th Spanish Conference on Programming and Computer Languages (PROLE'05)
Granada (Spain), September 14-16, 2005
PROLE'05 Proceedings 85-94
© Thomson
Available: Abstract PostScript PDF BibTeX Entry
M. Alpuente, M. Hanus, S. Lucas, G. Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing
Theory and Practice of Logic Programming 5(3):273-303
© Cambridge University Press
Available: Abstract Online article (with proofs) BibTeX entry
M. Alpuente, S. Lucas
Connecting Remote Tools: Do it by yourSELF!
ERCIM News 61, April 2005
Available: Online article
F. Durán;, S. Escobar, S. Lucas
On-demand evaluation for Maude
5th Int'l Workshop on Rule-based Programming (RULE 2004)
Aachen (Germany), June 1, 2004
Electronic Notes in Theoretical Computer Science 124(1):25-39
© Elsevier
Available: Abstract PDF PostScript BibTeX entry
F. Durán;, S. Escobar, S. Lucas
New evaluation commands for Maude within Full Maude
5th Int'l Workshop on Rewriting Logic and its Applications (WRLA'04)
Barcelona (Spain), March 27-28, 2004
Electronic Notes in Theoretical Computer Science 117:263-284
© Elsevier
Available: Abstract PDF PostScript BibTeX entry
S. Escobar, C. Meadows, J. Meseguer
A Rewriting-Based Inference System for the NRL Protocol Analyzer: Grammar Generation
3rd ACM Workshop on Formal Methods in Security Engineering (FMSE 2005)
Alexandria, Virginia (USA), November 7-10, 2005
FMSE 2005 Proceedings 1-12
© ACM Press
Available: PDF
S. Escobar, J. Meseguer, P. Thati
Natural Narrowing for General Term Rewriting Systems
16th Int'l Conference on Rewriting Techniques and Applications (RTA'05)
Nara (Japan), April 19-21, 2005
Lecture Notes in Computer Science 3467:279-293
© Springer
Available: PDF
S. Escobar, J. Meseguer, P. Thati
Natural Rewriting for General Term Rewriting Systems
Int'l Symposium on Logic-Based Program Synthesis and Tranformation (LOPSTR 2004)
Verona (Italy), August 26-28, 2004
Lecture Notes in Computer Science 3573:101-116
© Springer
Available: PDF
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Distance Based Generalisation
15th Int'l Conference on Inductive Logic Programming (ILP 2005)
Bonn (Germany), August 10-13, 2005
Best Student Paper
Lecture Notes in Computer Science 3625:87-102
© Springer
Available: PDF
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Web Categorisation Using Distance-Based Decision Trees
1st Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'05)
Valencia (Spain), March 14-15, 2005
Electronic Notes in Theoretical Computer Science 157(2):35-40
© Elsevier
Available: PDF
M. Falaschi, A. Villanueva
Automatic Verification of Timed Concurrent Constraint Programs
Theory and Practice of Logic Programming 6(3):265-300
© Cambridge University Press
Available: Abstract PDF PostScript BibTeX entry
B. Gramlich, S. Lucas (editors)
Reduction Strategies in Rewriting and Programming
Journal of Symbolic Computation 40(1):745-747
© Elsevier
Available: Summary
S. Lucas (editor)
4th Spanish Conference on Programming and Computer Languages (PROLE'04)
Málaga (Spain), November 11-12, 2004
Electronic Notes in Theoretical Computer Science 137(1):1-174
© Elsevier
S. Lucas
Polynomials over the reals in proofs of termination: from theory to practice
RAIRO - Theoretical Informatics and Applications 39(3):547-586
© EDP Sciences
Available: Abstract PDF
S. Lucas
Strategies in Programming Languages Today
4th Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2004)
Aachen (Germany), June 2, 2004
Electronic Notes in Theoretical Computer Science 124(2):113-118
© Elsevier
Available: Abstract PDF
S. Lucas, C. Marché, J. Meseguer
Operational Termination of Conditional Term Rewriting Systems
Information Processing Letters 95(4):446-453
© Elsevier
Available: Abstract PDF
S. Lucas, J. Meseguer
Termination of Fair Computations in Term Rewriting
12th Int'l Conference on Logic for Programming, Artificial intelligence and Reasoning (LPAR'05)
Montego Bay (Jamaica), December 2-6, 2005
Lecture Notes in Computer Science 3835:184-198
© Springer
Available: Abstract PDF

2004

E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal
Operational Semantics for Declarative Multi-Paradigm Languages
Journal of Symbolic Computation 40(1):795-829
© Elsevier
Available: Abstract
M. Alpuente, D. Ballis, M. Falaschi
Verdi: an Automated Tool for Web sites Verification
9th European Conference on Logics in Artificial Intelligence (JELIA 2004)
Lisbon (Portugal), September 27-30, 2004
Lecture Notes in Computer Science 3329:726-729
© Springer
Available: Abstract PDF
M. Alpuente, D. Ballis, M. Falaschi
Automated Verification of Web Sites Using Partial Rewriting
1st Int'l Symposium on Leveraging Applications of Formal Methods (ISoLA 2004)
Paphos (Cyprus), October 30 - November 2
ISoLA 2004 Proceedings 81-88
M. Alpuente, S. Escobar, S. Lucas
Correct and complete (positive) strategy annotations for OBJ
4th Int'l Workshop on Rewriting Logic and its Applications (WRLA'02)
Pisa (Italy), September 19-21, 2002
Electronic Notes on Theoretical Computer Science 71:70-89
© Elsevier
Available: Abstract PDF PostScript
M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
Rules + Strategies for Transforming Lazy Functional Logic Programs
Theoretical Computer Science 311(1-3):479-525
© Elsevier
Available: Abstract Online article BibTeX entry
M. Alpuente, M. Falaschi, A. Villanueva
Symbolic Representation of tccp programs
13th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'04)
Aachen (Germany), June 1, 2004
WFLP'04 Proceedings 104-117
Available: Abstract PDF
M. Alpuente, M. M. Gallardo, E. Pimentel, A. Villanueva
Abstract Model Checking of tccp programs
2nd Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)
Barcelona (Spain), March 27-28, 2004
Electronic Notes in Theoretical Computer Science 112:19-36
© Elsevier
Available: PDF BibTeX entry
M. Alpuente, S. Lucas
Connecting remote termination tools
7th Int'l Workshop on Termination (WST 2004)
Aachen (Germany), June 1-2, 2004
WST 2004 Proceedings 6-9
Available: Abstract PDF
G. Arroyo, C. Ochoa, J. Silva, G. Vidal
Towards CNC Programming using Haskell
9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004)
Puebla (Mexico), November 22-26, 2004
Lecture Notes in Computer Science 3315:386-396
© Springer
Available: Abstract PDF BibTeX entry
B. Brassel, M. Hanus, F. Huch, J. Silva, G. Vidal
Run-Time Profiling of Functional Logic Programs
14th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2004)
Verona (Italy), August 26-28, 2004
Lecture Notes in Computer Science 3573:178-197
Available: Abstract PDF Extended version (with proofs) BibTeX entry
B. Brassel, M. Hanus, F. Huch, G. Vidal
A Semantics for Tracing Declarative Multi-Paradigm Programs
6th ACM-SIGPLAN Int'l Conference on Principles and Practice of Declarative Programming (PPDP'04)
Verona (Italy), 2004
PPDP'04 Proceedings 179-190
© ACM Press
Available: Abstract PDF BibTeX entry
F. Durán;, S. Escobar, S. Lucas
New evaluation commands for Maude within Full Maude
5th Int'l Workshop on Rewriting Logic and its Applications (WRLA'04)
Barcelona (Spain), March 27-28, 2004
Electronic Notes in Theoretical Computer Science 117:263-284
© Elsevier
Available: Abstract PDF PostScript BibTeX entry
F. Durán;, S. Lucas, J. Meseguer, C. Marché, X. Urbain
Proving termination of membership equational programs
2004 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (PEPM'04)
Verona (Italy), August 24-26, 2004
PEPM'04 Proceedings 147-158
© ACM Press
Available: Abstract PDF BibTeX entry
S. Escobar
Implementing Natural Rewriting and Narrowing Efficiently
7th Int'l Symposium on Functional and Logic Programming (FLOPS 2004)
Nara (Japan), April 7-9, 2004
Lecture Notes in Computer Science 2998:147-162
© Springer
Available: Springer link Abstract Postscript PDF
S. Escobar
Strategies and Analysis Techniques in Functional Program Optimization
(Abstract of PhD Thesis)
AI Communications 17(1):35-37
© IOS Press
Available: IOS Press link PDF
S. España, V. Estruch
A Memoizing Semantics for Functional Logic Languages
13th European Symposium on Programming (ESOP 2004)
Barcelona (Spain), March 29 - April 2, 2004
Lecture Notes in Computer Science
© Springer
Available: Abstract PDF PostScript
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Bagging Decision Multi-Trees
5th Int'l Workshop on Multiple Classifier Systems (MCS 2004)
Tanka Village, Cagliari (Italy), June 9-11, 2004
Lecture Notes in Computer Science 3077:41-51
© Springer
C. Ferri, P. Flach, J. Hernández-Orallo
Delegating Classifiers
21st Int'l Conference on Machine Learning (ICML'04)
Banff, Alberta (Canada), July 4-8, 2004
© Omnipress
Available: PDF
J. Hernández-Orallo, M. J. Ramírez-Quintana, C. Ferri
Introducción a la Minería de Datos
© Pearson Education
M. Llorens, J. Oliver
Redes Reconfigurables Controladas por Marcado: Redes de Petri con Cambios Dinamicos Estructurales
XII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'04)
Las Navas del Marques, Avila (Spain), June 9-11, 2004
JCSD'04 Proceedings 249-263
Available: PDF

M. Llorens, J. Oliver
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers 53(9):1147-1158
© IEEE Computer Society Press
Available: PDF
M. Llorens, J. Oliver
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets
2nd Int'l Symposium on Automated Technology for Verification and Analysis (ATVA 2004)
Taipei (Taiwan), October 31 - November 3, 2004
Lecture Notes in Computer Science 3299:310-323
© Springer
Available: PDF

S. Lucas
MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting
15th Int'l Conference on Rewriting Techniques and Applications (RTA'04)
Aachen (Germany), June 3-4, 2004
Lecture Notes in Computer Science 3091:200-209
© Springer
Available: Abstract PDF PostScript
S. Lucas
Polynomials for Proving Termination of Context-Sensitive Rewriting
7th Int'l Conference on Foundations of Software Science and Computation Structures (FOSSACS'04)
Barcelona (Spain), March 29 - April 2, 2004
Lecture Notes in Computer Science 2987:318-332
© Springer
Available: Abstract PDF PostScript
S. Lucas
Strong and NV-sequentiality of constructor systems
Information Processing Letters 89(4):191-201
© Elsevier
Available: Abstract PDF PostScript
C. Ochoa, J. Silva, G. Vidal
Dynamic Slicing Based on Redex Trails
2004 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (PEPM'04)
Verona (Italy), August 24-26, 2004
PEPM'04 Proceedings 123-134
© ACM Press
Available: Abstract PDF BibTeX entry
C. Ochoa, J. Silva, G. Vidal
Program Specialization Based on Dynamic Slicing
Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004)
Verona (Italy), August 24, 2004
SONDA 2004 Proceedings 20-31
Available: Abstract PDF BibTeX entry
C. Ochoa, J. Silva, G. Vidal
A Lightweight Approach to Program Specialization
4th Spanish Conference on Programming and Computer Languages (PROLE'04)
Málaga (Spain), November 11-12, 2004
PROLE'04 Pre-Proceedings 41-54
Available: Abstract PDF BibTeX entry
J. G. Ramos, J. Silva, G. Vidal
An Embedded Language Approach to Router Specification in Curry
Int'l Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2004)
Merin (Czech Republic), January 24-30, 2004
Lecture Notes in Computer Science 2932:277-288
© Springer
Available: Abstract PDF BibTeX entry
G. Vidal
Cost-Augmented Partial Evaluation of Functional Logic Programs
Higher-Order and Symbolic Computation 17(1):7-46
© Kluwer Academic Publishers
Available: Abstract Volume 17, Issue 1-2 (HOSC) BibTeX entry

2003

E. Albert, J. Silva, G. Vidal
Time Equations for Lazy Functional (Logic) Languages
2003 Joint Conference on Declarative Programming (AGP'03)
Reggio, Calabria (Italy), September 3-5, 2003
Available: Abstract PDF BibTeX entry
E. Albert, M. Hanus, G. Vidal
A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs
Information Processing Letters 85(1):19-25
© Elsevier
Available: Abstract BibTeX entry
M. Alpuente, D. Ballis, F. J. Correa, M. Falaschi
Correction of Functional Logic Programs
12th European Symposium on Programming (ESOP 2003)
Warsaw (Poland), April 7-11, 2003
Lecture Notes in Computer Science 2618:54-68
© Springer
Available: Abstract Postscript BibTeX entry
M. Alpuente, M. Comini, S. Escobar, M. Falaschi, S. Lucas
Abstract Diagnosis of Functional Programs
12th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'02)
Madrid (Spain), September 17-20, 2002
Lecture Notes in Computer Science 2664:1-16
© Springer
Available: Abstract Postscript PDF
M. Alpuente, D. Ballis, S. Escobar, M. Falaschi, S. Lucas
Abstract Correction of First-Order Functional Programs
12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03)
Valencia (Spain), June 12-13, 2003
Electronic Notes on Theoretical Computer Science 86(3):105-122
© Elsevier
Available: PDF
M. Alpuente, S. Escobar, S. Lucas
On-Demand evaluation by program transformation
4th Int'l Workshop on Rule-Based Programming (RULE'03)
Valencia (Spain), June 9, 2003
Electronic Notes on Theoretical Computer Science 86(2):92-118
© Elsevier
Available: Postscript PDF BibTeX entry
M. Alpuente, S. Escobar, S. Lucas
OnDemandOBJ: A Laboratory for Strategy Annotations
4th Int'l Workshop on Rule-Based Programming (RULE'03)
Valencia (Spain), June 9, 2003
Electronic Notes on Theoretical Computer Science 86(2):1-27
© Elsevier
Available: Postscript PDF BibTeX entry
M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Uniform Lazy Narrowing
Journal of Logic and Computation 13(2):287-312
© Oxford University Press
Available: Abstract BibTeX entry
M. Alpuente, M. Falaschi, A. Villanueva
Symbolic Model Checking for Timed Concurrent Constraint Programs
3rd Spanish Conference on Programming and Computer Languages (PROLE'03)
Alicante (Spain), November 12-14, 2003
PROLE'03 Proceedings 151-166
Available: Abstract PostScript BibTeX Entry
E. Badouel, M. Llorens, J. Oliver
Modelling Concurrent Systems using Reconfigurable Nets
Int'l Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03)
Las Vegas, Nevada (USA), June 23-26, 2003
PDPTA'03 Proceedings 4:1568-1574
© CSREA Press
Available: PDF
D. Ballis, M. Falaschi, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Cost-sensitive diagnosis of Declarative Programs
12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03)
Valencia (Spain), June 12-13, 2003
Electronic Notes on Theoretical Computer Science 86(3):85-104
© Elsevier
Available: PDF
S. Escobar
Refining Weakly Outermost-Needed Rewriting and Narrowing
5th ACM-SIGPLAN Int'l Conference on Principles and Practice of Declarative Programming (PPDP'03)
Uppsala (Sweeden), August 27-29, 2003
PPDP'03 Proceedings 113-123
© ACM Press
Available: ACM Abstract PDF BibTeX entry
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Beam Search Extraction and Forgetting Strategies on Shared Ensembles
4th Int'l Workshop on Multiple Classifier Systems (MCS'03)
Guildford (UK), June 11-13, 2003
Lecture Notes in Computer Science 2709:206-216
© Springer
Available: PostScript
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Simple Mimetic Classifiers
3rd Int'l Conference on Machine Learning and Data Mining (MLDM'03)
Leipzig (Germany), July 5-7, 2003
Lecture Notes in Computer Science 2734:156-171
© Springer
Available: PostScript
P. Flach, H. Blockeel, C. Ferri, J. Hernández-Orallo, J. Struyf
Decision Support for Data Mining
Book chapter in Data Mining and Decision Support: Integration and Collaboration
© Kluwer
C. Ferri, P. Flach, J. Hernández-Orallo
Improving the AUC of Probabilistic Estimation Trees
14th European Conference on Machine Learning (ECML'03)
Cavtat-Dubrovnik (Croatia), September 22-26, 2003
Lecture Notes in Computer Science 2837:121-132
© Springer
Available: PDF
C. Ferri, J. Hernández-Orallo, M. Salido
Volume Under the ROC Surface for Multi-class Problems
14th European Conference on Machine Learning (ECML'03)
Cavtat-Dubrovnik (Croatia), September 22-26, 2003
Lecture Notes in Computer Science 2837:108-120
© Springer
Available: PDF
B. Gramlich, S. Lucas (editors)
Reduction Strategies in Rewriting and Programming
3rd Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003)
Valencia (Spain), June 8, 2003
Electronic Notes in Theoretical Computer Science 86(4),
Available: PDF
M. Llorens, J. Oliver
Sistemas de Reescritura de Redes
XI Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'03)
Benicassim, Castellón (Spain), June 11-13, 2003
JCSD'03 Proceedings 237-250
Available: PDF
J. Guadalupe Ramos, J. Silva, G. Vidal
Towards Router Specification in Curry: The Language ROSE
3rd Spanish Conference on Programming and Computer Languages (PROLE'03)
Alicante (Spain), November 12-14, 2003
PROLE'03 Proceedings 105-118
Available: Abstract PDF BibTeX entry
G. Vidal (editor)
12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03)
Valencia (Spain), June 12-13, 2003
Electronic Notes on Theoretical Computer Science 86(3)
© Elsevier
Available: WFLP'03 Proceedings PDF
G. Vidal
Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation
12th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'02)
Madrid (Spain), September 17-20, 2002
Lecture Notes in Computer Science 2664:219-237
© Springer
Available: Abstract DVI PS PDF BibTeX entry

2002

E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal
Operational Semantics for Functional Logic Languages
11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02)
Grado (Italy), June 20-22, 2002
Electronic Notes on Theoretical Computer Science 76:1-19
© Elsevier
Available: Abstract PDF BibTeX entry
E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal
An Operational Semantics for Declarative Multi-Paradigm Languages
2nd Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)
Copenhagen (Denmark), July 21, 2002
Electronic Notes in Theoretical Computer Science 70(6):62-83
© Elsevier
Available: Abstract PDF BibTeX entry
E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal
A Deterministic Operational Semantics for Functional Logic Programs
2002 Joint Conference on Declarative Programming (AGP'02)
Madrid (Spain), September 1, 2002
Available: Abstract PDF BibTeX entry
E. Albert, M. Hanus, G. Vidal
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
Journal of Functional and Logic Programming 2002(1):1-34
© EAPLS
Available: Abstract BibTeX entry Online Article
E. Albert, G. Vidal
The Narrowing-Driven Approach to Functional Logic Program Specialization
New Generation Computing 20(1):3-26
Available: Abstract BibTeX entry
E. Albert, G. Vidal
Symbolic Profiling for Multi-Paradigm Declarative Languages
11th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'01)
Paphos (Cyprus), November 28-30, 2001
Lecture Notes in Computer Science 2372:148-167
© Springer
Available: Abstract PS PDF BibTeX entry
M. Alpuente, F. J. Correa, M. Falaschi
A Debugging Scheme for Functional Logic Programs
10th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'01)
Kiel (Germany), September 13-15, 2001
Electronic Notes on Theoretical Computer Science 64:18-55
© Elsevier
Available: PostScript
M. Alpuente, R. Echahed, S. Escobar, S. Lucas
Redundancy of Arguments Reduced to Induction
11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02)
Grado (Italy), June 20-22, 2002
Electronic Notes on Theoretical Computer Science 76:20-41
© Elsevier
Available: Abstract Postscript PDF
M. Alpuente, S. Escobar, B. Gramlich, S. Lucas
Improving On-demand Rewriting Annotations
9th Int'l Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2002)
Tbilisi (Georgia), October 14-18, 2002
Lecture Notes in Computer Science 2514:1-18
© Springer
Available: Abstract PDF PostScript
M. Alpuente, S. Escobar, S. Lucas
Removing Redundant Arguments of Functions
9th Int'l Conference on Algebraic Methodology And Software Technology (AMAST 2002)
Reunion Island (France), September 9-13, 2002
Lecture Notes in Computer Science 2422:117-131
© Springer
Available: Abstract Postscript PDF
M. Alpuente, S. Escobar, S. Lucas
Correct and Complete (Positive) Strategy Annotations for OBJ
4th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2002)
Pisa (Italy).
Electronic Notes in Theoretical Computer Science 71:70-89
© Elsevier
Available: Abstract PDF PostScript
M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Lazy Narrowing and Needed Narrowing: A Comparison
11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02)
Grado (Italy), June 20-22, 2002
WLFP'02 Proceedings 21-34
© Università degli Studi di Udine
Available: Abstract PS BibTeX entry
M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Uniform Needed Narrowing
Technical Report, DSIC, UPV, 2002.
Available: Abstract PDF BibTeX entry
S. Antoy, S. Lucas
Demandness in Rewriting and Narrowing
11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02)
Grado (Italy), June 20-22, 2002
Electronic Notes on Theoretical Computer Science 76:42-51
© Elsevier
Available: Abstract PDF PostScript
C. Borralleras, S. Lucas, A. Rubio
Recursive Path Orderings can be Context-Sensitive
18th Int'l Conference on Automated Deduction (CADE-18)
Lecture Notes in Computer Science 2392:314-331
© Springer
Available: Abstract PDF PostScript BibTeX entry.
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Shared Ensemble Learning using Multi-trees
8th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2002)
Seville (Spain), November 12-15, 2002
Lecture Notes in Computer Science 2527:204-213
© Springer
Available: PostScripta>
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
SMILES: A Multi-purpose Learning System
8th European Conference on Logics in Artificial Intelligence (JELIA 2002)
Cosenza (Italy), September 23-26, 2002
Lecture Notes in Computer Science 2424:529-532
© Springer
Available: PostScript
C. Ferri, P. Flach, J. Hernández-Orallo
Learning Decision Trees Using the Area Under the Roc Curve
19th Int'l Conference on Machine Learning (ICML'02)
Sydney (Australia), July 8-12, 2002
ICML'02 Proceedings 139-146
© Morgan Kaufmann
Available: PDF
C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Induction of Decision Multi-Trees using Levin Search
2002 Int'l Conference on Computational Science (ICCS 2002)
Amsterdam (The Netherlands), April 21-24, 2002
Lecture Notes in Computer Science 2329:166-175
© Springer
Available: PostScript
C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
From Ensemble Methods To Comprehensible Models
5th International Conference on Discovery Science (DS 2002)
Lübeck (Germany), November 24-26, 2002
Lecture Notes in Computer Science 2534:165-177
© Springer
Available: PostScript
B. Gramlich, S. Lucas (editors)
2nd Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)
Copenhagen (Denmark), July 21, 2002
Electronic Notes in Theoretical Computer Science 70(6)
© Elsevier
Available: Electronic Notes in Theoretical Computer Science volume 70
B. Gramlich, S. Lucas
Modular Termination of Context-Sensitive Rewriting
4th ACM-SIGPLAN Int'l Conference on Principles and Practice of Declarative Programming (PPDP'02)
Pittsburg, Pensilvania (USA), October 6-8, 2002
PPDP'02 Proceedings 50-61
© ACM Press
Available: Abstract PDF PostScript BibTeX entry.
B. Gramlich, S. Lucas
Simple Termination of Context-Sensitive Rewriting
2002 ACM SIGPLAN Workshop on Rule-based Programming (RULE'02)
Pittsburg, Pensilvania (USA), October 5, 2002
RULE'02 Proceedings 29-41
© ACM Press
Available: Abstract PDF PostScript BibTeX entry.
S. Lucas
Context-Sensitive Rewriting Strategies
Information and Computation 178(1):294-343
© Elsevier
Available: Abstract PDF PostScript BibTeX entry.
S. Lucas
Lazy Rewriting and Context-Sensitive Rewriting
10th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'01)
Kiel (Germany), September 13-15, 2001
Electronic Notes in Theoretical Computer Science 64:234-254
© Elsevier
Available: Abstract PDF PostScript BibTeX entry.
S. Lucas
Termination of (Canonical) Context-Sensitive Rewriting
13th Int'l Conference on Rewriting Techniques and Applications (RTA'02)
Copenhagen (Denmark), July 22-24, 2002
Lecture Notes in Computer Science 2378:296-310
© Springer
Available: Abstract PostScript BibTeX entry Slides.
G. Vidal
A Partial Evaluation Tool for Multi-Paradigm Declarative Programs
2002 IEEE Int'l Conference on Systems, Man and Cybernetics (SMC 2002)
Hammamet (Tunisia), October 6-9, 2002
© IEEE
Available: Abstract PDF
G. Vidal
Cost-Augmented Narrowing-Driven Specialization
2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02)
Portland, Oregon (USA), January 14-15, 2002
ACM SIGPLAN Notices 37(3):52-62
© ACM Press
Available: Abstract PDF PS DVI BibTeX entry

2001

E. Albert,
Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency
Bulletin of EATCS 74:281-284, June 2001
Available: Postscript
E. Albert, S. Antoy, G. Vidal
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
10th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'00)
London (UK), July 24-28, 2000
Lecture Notes in Computer Science 2042:103-124
© Springer
Available: Abstract DVI PostScript PDF BibTeX entry
E. Albert, M. Hanus, G. Vidal
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
5th Int'l Symposium on Functional and Logic Programming (FLOPS'01)
Tokyo (Japan), March 7-9, 2001
Lecture Notes in Computer Science 2024:326-342
© Springer
Available: Abstract DVI PostScript BibTeX entry
E. Albert, G. Vidal
Symbolic Profiling for Multi-paradigm Declarative Languages
11th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'01)
Paphos (Cyprus), November 28-30, 2001
Lecture Notes in Computer Science 2372:148-167
© Springer
Available: Abstract DVI PS BibTeX entry
M. Alpuente, F. J. Correa, M. Falaschi
Declarative Debugging of Functional Logic Programs
1st Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)
Utrecht (The Netherlands), May 26, 2001
Electronic Notes in Theoretical Computer Science 57:17-40
© Elsevier
Available: PostScript
M. Alpuente, F. J. Correa, M. Falaschi
A Debugging Scheme for Functional Logic Programs
10th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'01)
Kiel (Germany), September 13-15, 2001
Electronic Notes in Theoretical Computer Science 64:18-55
© Elsevier
Available: PostScript
C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
Incremental Learning of Functional Logic Programs
5th Int'l Symposium on Functional and Logic Programming (FLOPS'01)
Tokyo (Japan), March 7-9, 2001
Lecture Notes in Computer Science 2024:233-247
© Springer
Available: PostScript
B. Gramlich, S. Lucas (editors)
1st Int'l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)
Utrecht (The Netherlands), May 26, 2001
Electronic Notes in Theoretical Computer Science 57
© Elsevier
Available: Electronic Notes in Theoretical Computer Science volume 57
M. Hanus, S. Lucas
An Evaluation Semantics for Narrowing-Based Functional Logic Languages
Journal of Functional and Logic Programming 2001(2):1-43
© EAPLS
Available: Abstract PostScript
M. Llorens, J. Oliver
Modelización de Sistemas Concurrentes mediante Redes Reconfigurables
IX Jornadas de Concurrencia (JJCC'01)
Sitges (Spain), 2001
JJCC'01 Proceedings 213-224
Available: PDF
S. Lucas
Termination of on-demand rewriting and termination of OBJ programs
3th ACM-SIGPLAN Int'l Conference on Principles and Practice of Declarative Programming (PPDP'01)
Firenze (Italy), September 5-7, 2001
PPDP'01 Proceedings 82-93
© ACM Press
Available: Abstract PostScript
S. Lucas,
Termination of Rewriting With Strategy Annotations
8th Int'l Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001)
Havana (Cuba), December 3-7, 2001
Lecture Notes in Computer Science 2250:669-684
© Springer
Available: Abstract PostScript BibTeX entry.
S. Lucas
Transfinite Rewriting Semantics for Term Rewriting Systems
12th Int'l Conference on Rewriting Techniques and Applications (RTA'01)
Utrecht (The Netherlands), May 22-24, 2001
Lecture Notes in Computer Science 2051:216-230
© Springer
Available: Abstract PostScript BibTeX entry.

2000

E. Albert, C. Ferri, F. Steiner, G. Vidal
Improving Functional Logic Programs by Difference-Lists
6th Asian Computing Science Conference (ASIAN 2000)
Penang (Malaysia), November 25-27, 2000
Lecture Notes in Computer Science 1961:237-254
© Springer
Available: Abstract DVI PostScript BibTeX entry
E. Albert, M. Hanus, G. Vidal
Using an Abstract Representation to Specialize Functional Logic Programs
7th Int'l Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2000)
Reunion Island (France), November 6-10, 2000
Lecture Notes in Artificial Intelligence 1955:381-398
© Springer
Available: Abstract DVI PostScript BibTeX entry
E. Albert, S. Antoy, G. Vidal
Measuring the Effectiveness of Partial Evaluation
10th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2000)
London (UK), July 24-28, 2000
Lecture Notes in Computer Science 2042:103-124
© Springer
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente (editor)
9th Int'l Workshop on Functional and Logic Programming (WFLP'2000)
Benicassim (Spain), September 28-30, 2000
UPV Press, 2000.2039
© UPV Press
M. Alpuente, S. Escobar, S. Lucas
Redundancy Analyses in Term Rewriting (extended abstract)
9th Int'l Workshop on Functional and Logic Programming (WFLP'2000)
Benicassim (Spain), September 28-30, 2000
UPV Press, 2000.2039:309-323
© UPV Press
Available: PostScript
M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
An Automatic Composition Algorithm for Functional Logic Programs
27th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'2000)
Milovy (Czech Republic), November 25 - December 2, 2000
Lecture Notes in Computer Science 1963:289-297
© Springer
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
Using PE to Automate Program Composition
9th Int'l Workshop on Functional and Logic Programming (WFLP'2000)
Benicassim (Spain), September 28-30, 2000
UPV Press, 2000.2039:169-183
© UPV Press
Available: PostScript
J. Hernández-Orallo
Constructive Reinforcement Learning
Int'l Journal of Intelligent Systems 15(3):241-264
© John Wiley & Sons, Inc.
Available: Abstract PostScript BibTeXentry.
J. Hernández-Orallo, M. J. Ramírez-Quintana
Software as Learning: Quality Factors and Life-Cycle Revised
3rd Int'l Conference on Fundamental Approaches to Software Engineering (FASE 2000)
Berlin (Germany), March 25 - April 2, 2000
Lecture Notes in Computer Science 1783:147-162
© Springer
Available: Abstract PostScript BibTeX entry.

1999

E. Albert, M. Alpuente, M. Hanus, G. Vidal
A Partial Evaluation Framework for Curry Programs
6th Int'l Conference on Logic for Programming and Automated Reasoning (LPAR'99)
Tbilisi (Georgia), September 6-10, 1999
Lecture Notes in Compuiter Science 1705:376-395
© Springer
Available: Abstract DVI BibTeX entry
M. Alpuente, S. Escobar, S. Lucas
UPV-Curry: An Incremental Curry Interpreter
26th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'99)
Milovy (Czech Republic), November 27 - December 4, 1999
Lecture Notes in Computer Science 1725:331-339
© Springer
Available: Abstract DVI PostScript BibTeX entry.
M. Alpuente, S. Escobar, S. Lucas
Incremental Needed Narrowing
Int'l Workshop on Implementation of Declarative Languages (IDL'99)
Paris (France), September 27-28, 1999
IDL'99 Proceedings 1-18
Available: Abstract DVI PostScript HTML BibTeX entry.
M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
A Transformation System for Lazy Functional Logic Programs
4th Int'l Symposium on Functional and Logic Programming (FLOPS'99)
Tsukuba (Japan), November 11-13, 1999
Lecture Notes in Computer Science 1722:147-162
© Springer
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, C. Ferri, G. Moreno, G. Vidal
Un Sistema de Transformacion para Programas Multiparadima
Revista Iberoamericana de Inteligencia Artificial 3(8):36-67
M. Alpuente, M. Hanus, S. Lucas, G. Vidal
Specialization of Inductively Sequential Functional Logic Programs
1999 ACM Int'l Conference on Functional Programming (ICFP'99)
Paris (France), September 27-29, 1999
ACM SIGPLAN Notices 34(9):273-283
© ACM Press
Available: Abstract DVI PostScript BibTeX entry
M. Hanus, S. Lucas
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
4th Int'l Symposium on Functional and Logic Programming (FLOPS'99)
Tsukuba (Japan), November 11-13, 1999
Lecture Notes in Computer Science 1722:353-368
© Springer
Available: Abstract DVI PostScript BibTeX entry
J. Hernández-Orallo, M. J. Ramírez-Quintana
A Strong Complete Schema for Inductive Functional Logic Programming
9th Int'l Workshop on Inductive Logic Programming (ILP'99)
Bled (Slovenia), June 24-27, 1999
Lecture Notes in Computer Science 1634:116-127
© Springer
Available: Abstract DVI PostScript BibTeX entry
C. Herrero, J. Oliver
Object-Oriented Specification with the Parallel Multi-Label-Selective λ-Calculus
26th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'99)
Milovy (Czech Republic), November 27 - December 4, 1999
Lecture Notes in Computer Science 1725:395-403
© Springer
Available: Abstract DVI PostScript BibTeX entry

1998

E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Improving Control in Functional Logic Program Specialization
5th International Symposium on Static Analysis (SAS'98)
Pisa (Italy), September 14-16, 1998
Lecture Notes in Computer Science 1503:262-277
© Springer
Available: Abstract PostScript BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
Partial Evaluation of Functional Logic Programs
ACM Transactions on Programming Languages and Systems (TOPLAS) 20(4):768-844
© ACM Press
Available: Abstract BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
A Unifying View of Functional and Logic Program Specialization
ACM Computing Surveys 30(3)9
© ACM Press
Available: Abstract DVI PostScript BibTeX entry
E. Badouel, J. Oliver
Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes
INRIA RR-3339 Research Report
Available: Abstract DVI PostScript
M. Hanus, S. Lucas, A. Middeldorp
Strongly sequential and inductively sequential term rewriting systems
Information Processing Letters 67(1):1-8
© Elsevier
Available: Abstract DVI Postcript (preliminary version) BibTeX entry
J. Hernández-Orallo, M. J. Ramírez-Quintana
Inverse Narrowing for the Induction of Functional Logic Programs
1998 Joint Conference on Declarative Programming (AGP'98)
La Coruña (Spain), July 20-23, 1998
Available: Abstract DVI PostScript BibTeX entry
S. Lucas
Context-Sensitive Computations in Functional and Functional Logic Programs
Journal of Functional and Logic Programming 1998(1):1-61
© EAPLS
Available: Abstract Paper BibTeX entry
S. Lucas
Root-neededness and approximations of neededness
Information Processing Letters 67(5):245-254
© Elsevier
Available: Abstract DVI Postcript (preliminary version) BibTeX entry

1997

M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Specialization of Lazy Functional Logic Programs
ACM SIGPLAN Notices 32(12):151-162
© ACM Press
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
Safe Folding/Unfolding with Conditional Narrowing
6th Int'l Conference on Algebraic and Logic Programming (ALP'97)
Southampton (UK), September 3-5, 1997
Lecture Notes in Computer Science 1298:1-15
© Springer
Available: Abstract DVI PostScript BibTeX entry
S. Lucas
Efficient Strong Sequentiality Using Replacement Restrictions
24th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'97)
Milovy (Czech Republic), November 22-29, 1997
Lecture Notes in Computer Science 1338:489-496
© Springer
Available: Abstract DVI PostScript BibTeX entry
S. Lucas
Needed Reductions with Context-Sensitive Rewriting
6th Int'l Conference on Algebraic and Logic Programming (ALP'97)
Southampton (UK), September 3-5, 1997
Lecture Notes in Computer Science 1298:129-143
© Springer
Available: Abstract DVI PostScript BibTeX entry
S. Lucas
Transformations for Efficient Evaluations in Functional Programming
9th Int'l Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'97)
Southampton (UK), September 3-5, 1997
Lecture Notes in Computer Science 1292:127-141
© Springer
Available: Abstract DVI PostScript BibTeX entry

1996

M. Alpuente, M. Falaschi, G. Vidal
A Compositional Semantic Basis for the Analysis of Equational Horn Programs
Theoretical Computer Science 165(1):133-169
© Elsevier
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, G. Vidal
Narrowing-driven Partial Evaluation of Functional Logic Programs
6th European Symposium on Programming (ESOP'96)
Linköping (Sweden), April 22-24, 1996
Lecture Notes in Computer Science 1058:45-61
© Springer
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, P. Julián, G. Vidal
Call-by-Name Specialization of Functional Logic Programs
JICSLP'96 Workshop on Multi-Paradigm Logic Programming (MPLP'96)
Bonn (Germany), September 2-6, 1996
Available: Abstract PS BibTeX entry
S. Lucas
Context-sensitive computations in confluent programs
8th Int'l Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'96)
Aachen (Germany), September 24-27, 1996
Lecture Notes in Computer Science 1140:408-422
© Springer
Available: Abstract DVI PostScript BibTeX entry
S. Lucas
Termination of context-sensitive rewriting by rewriting
23rd Int'l Colloquium on Automata, Languages, and Programming (ICALP'96)
Paderborn (Germany), July 8-12, 1996
Lecture Notes in Computer Science 1099:122-133
© Springer
Available: Abstract DVI PostScript BibTeX entry
S. Lucas, J. Oliver
A new proposal of Concurrent Process Calculus
23th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'96)
Lecture Notes in Computer Science 1175:385-392
© Springer
Available: Abstract DVI PostScript BibTeX entry

1995

M. Alpuente, M. Falaschi, G. Levi
Incremental Constraint Satisfaction for Equational Logic Programming
Theoretical Computer Science 142(1):27-57
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, F. Manzo
Analyses of Unsatisfiability for Equational Logic Programming
Journal of Logic Programming 22(3):223-254
Available: Abstract DVI PostScript BibTeX entry
S. Lucas
Fundamentals of context-sensitive rewriting
22th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'95)
Lecture Notes in Computer Science 1012:405-412
© Springer
Available: Abstract DVI PostScript BibTeX entry
O. Lysne, J. Piris
A Termination Ordering for Higher Order Rewrite Systems
6th Int'l Conference on Rewriting Techniques and Applications (RTA'95)
Kaiserslautern (Germany), April 5-7, 1995
Lecture Notes in Computer Science 914:26-40
© Springer
Available: Abstract PostScript BibTeX entry

1994

M. Alpuente, M. Falaschi, G. Vidal
Compositional Analysis for Equational Horn Programs
5th Int'l Conference on Algebraic and Logic Programming (ALP'94)
Madrid (Spain), September 14-16, 1994
Lecture Notes in Computer Science 850:77-94
© Springer
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, M. J. Ramis, G. Vidal
A Compositional Semantics for Conditional Term Rewriting Systems
1994 Int'l Conference on Computer Languages (ICCL'94)
Toulouse (France), May 16-19, 1994
ICCL'94 Proceedings 171-182
© IEEE Computer Society Press
Available: Abstract DVI PostScript BibTeX entry

1993

M. Alpuente, M. Falaschi, M. Gabbrielli, G. Levi
The semantics of Equational Logic Programming as an Instance of CLP
Logic Programming Languages: Constraints, Functions and Objects
49-81
© The MIT Press
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, M. J. Ramis, G. Vidal
Narrowing Approximations as an Optimization for Equational Logic Programs
5th Int'l Symposium on Programming Language Implementation and Logic Programming (PLILP'93)
Tallinn (Estonia), August 25-27, 1993
Lecture Notes in Computer Science 714:391-409
© Springer
Available: Abstract DVI PostScript BibTeX entry
M. Alpuente, M. Falaschi, F. Manzo
Analyses of Inconsistency for Incremental Equational Logic Programming
4th Int'l Symposium on Programming Language Implementation and Logic Programming (PLILP'92)
Leuven (Belgium), August 26-28, 1992
Lecture Notes in Computer Science 631:443-457
© Springer
Available: Abstract DVI PostScript BibTeX entry
M. J. Ramírez-Quintana, M. Falaschi
Conditional Narrowing with Constructive Negation
3rd Workshop on Extensions of Logic Programming (ELP'92)
Bologna (Italy), February 26-28, 1992
Lecture Notes in Computer Science 660:59-79
© Springer
Available: Abstract DVI PostScript BibTeX entry

1992

M. Alpuente, M. J. Ramírez-Quintana
An Equational Constraint Logic Approch to Conceptual Modelling
3rd Int'l Conference on Database and Expert Systems Applications (DEXA'92)
Valencia (Spain), 1992
Database and Expert Systems Applications, pages 26-32
© Springer
Available: Abstract RTF BibTeX entry
M. J. Ramis, J. Piris, M. Alpuente
Lazy Derivations in Equational Constraint Logic Programming
XVIII Latin American Conference of Informatics (CLEI'92)
Canary Islands (Spain), 1992
CLEI'92 Proceedings 1108-1016
Available: Abstract DVI PostScript BibTeX entry

1991

M. Alpuente, M. Falaschi
Narrowing as an Incremental Constraint Satisfaction Algorithm
3rd Int'l Symposium on Programming Language Implementation and Logic Programming (PLILP'91)
Passau (Germany), August 26-28, 1991
Lecture Notes in Computer Science 528:111-122
© Springer

PhD Theses (from 2015 on, PhD theses are available at the UPV institutional repositoy RiuNet)

M. Alba-Castro
Abstract Certification of Java Pprograms in Rewriting Logic
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, November 2011
Available: PDF
E. Albert
Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, April 2001
Available: Abstract PDF PostScript BibTeX entry
M. Alpuente
El Lenguaje CLP(H/E): Una aproximación basada en restricciones a la integración de la programación y funcional (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, October 1991
Available: Abstract PDF
M. Baggi
Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València joint with Università di Siena (Italy), November 2010
Available: PDF
D. Ballis
Rule-based Software Verification and Correction
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València joint with Università degli Studi di Udine (Italy), February 2005
Available: Abstract PDF BibTeX entry
R. Blanco
Extracción y contextualización de reglas comprensibles a partir de modelos de caja negra (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, July 2007
Available: PDF
F. J. Correa
Depuración Declarativa de Programas Lógicos Funcionales (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, July 2002
Available: Abstract PDF PostScript BibTeX entry
A. Cuenca-Ortega
Partial Evaluation of Equational Logic Theories
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, September 2019
Available: PDF
S. Escobar
Strategies and Analysis Techniques for Functional Program Optimization
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, October 2003
Available: Abstract PDF PostScript BibTeX entry
V. Estruch
Bridging the Gap between Distance and Generalisation: Symbolic Learning in Metric Spaces
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, December 2008
Available: PDF
M. A. Feliú
Logic-based techniques for program analysis and specification synthesis
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, October 2013
Available: PDF
C. Ferri
Multi-Paradigm Learning of Declarative Models
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, May 2003
Available: Abstract PDF PostScript BibTeX entry
F. Frechina
A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, October 2014
Available: PDF
R. Gutierrez
Automatic Proofs of Termination of Context-Sensitive Rewriting
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, September 2010
Available: PDF
J. Hernández-Orallo
Computational Measures of Information Gain and Reinforcement in Inference Processes
Ph.D. Thesis, Dpto. Lógica y Filosofía de la Ciencia
Universitat de València, December 1999
Available: Abstract PDF PostScript BibTeX entry
J. Iborra
Termination of Narrowing: Automated Proofs and Modularity Properties
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, October 2010
Available: PDF
P. Julián
Specialization of Lazy Functional Logic Programs (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, May 2000
Available: Abstract PDF PostScript BibTeX entry
M. Llorens
Redes Reconfigurables. Modelizacion y Verificacion (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, November 2003
Available: Abstract PDF PostScript BibTeX entry
S. Lucas
Rewriting with replacement restrictions (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, October 1998
Available: Abstract PDF PostScript BibTeX entry
G. Moreno
Reglas y Estrategias de Transformacion para Programas Logico Funcionales (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, May 2000
Available: Abstract PDF PostScript BibTeX entry
J. Oliver
Extension del lambda-calculo para la Modelizacion de Procesos Concurrentes (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, September 1996
Available: Abstract PDF PostScript BibTeX entry
M. J. Ramírez-Quintana
Negación Constructiva para Programación Logica Ecuacional (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, November 1993
Available: Abstract PDF PostScript BibTeX entry
D. Romero
Rewriting-based Verification and Debugging of Web Systems
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, July 2011
Available: PDF
J. Sapiña
Rewriting Logic Techniques for Program Analysis and Optimization
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, December 2017
Available: PDF
G. Vidal
Semantics-Based Analysis and Transformation of Functional Logic Programs (in spanish)
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València, September 1996
Available: Abstract PDF PostScript BibTeX entry
A. Villanueva
Model Checking for the Concurrent Constraint Paradigm
Ph.D. Thesis, Dpto. Sistemas Informáticos y Computación
Universitat Politècnica de València joint with Universitá degli Studi di Udine (Italy), May 2003
Available: Abstract PDF PostScript BibTeX entry

Technical Reports

M. Alpuente, S. Escobar, J. Meseguer, J. Espert
A Modular Order-sorted Equational Generalization Algorithm
Tech. Report U. Illinois at Urbana Champaign, 2011
Available: PDF
J. Climent-Vidal, J. Soliveres-Tur
Generalizations of Institutions and a Forward Morphism determined by the Theorem of Herbrand-Schmidt-Wang

National Journals

M. Alpuente, F. Correa
Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma
Revista Colombiana de Computacion, 5(2): 24-65, April 2005
M. Alpuente, M.J. Ramírez, M.J. Ramis
Generación de Planes en un entorno Lógico - Ecuacional
Informática y Automática, 25(3-4): 31-42,1992
M. Alpuente, F. Casacuberta
Esquema de Traducción Dirigido por la Sintaxis para Corrección de Errores en Lenguajes Regulares
Informática y Automática, 22(2): 22-33, 1989
M. Alpuente, A. García, M.J. Ramírez, A. Crespo, J.A. de la Puente
Programación Orientada a Objetos en Sistemas de Tiempo Real
Automatica e Instrumentacion, 181: 261-266,1988
M. Alpuente, V. Botti, I. Galiano, E. Sanchis, F. Vila, I. Ramos
Entorno de especificación Lógico Algebraico implementado en Prolog
Informática y Automática, 20(4):9.14, 1987
M. Alpuente, J.A. de la Puente
Implementacióon Lisp de una máquina CSP
Informática y Automática, 20(4):39-43,1987

Extensions of Logic Programming

Papers of the ELP Group

Journal and Conference Papers

PhD Theses (from 2015 on, PhD theses are available at the UPV institutional repositoy RiuNet)

Technical Reports

National Journals