Papers of the ELP Group

This document lists some recent papers of the ELP Group.

Papers 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 Conf. Papers

2011

M. Alpuente, D. Ballis, J. Espert, D. Romero
Backward Trace Slicing for Rewriting Logic Theories
23rd International Conference on Automated Deduction, CADE 2011
Wrocław, Poland, 31 July – 5 August 2011
LNCS 2011, To appear
© Springer-Verlag
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 (WWV2011).
June 9, 2011. Reykjavik, Iceland.
© EPTCS (Electronic Proceedings in Theoretical Computer Science) 2011, To appear
Available: PDF
M. Alba, M. Alpuente, S. Escobar
Approximating Non-interference and Erasure in Rewriting Logic
12th International Symposium on Symbolic and Numeric Algorithms for Scientific
Computing SYNASC 2010
Timisoara (Romania), September 23-26, 2010
© IEEE Computer Society Press, pages 124-132, 2011
Available: PDF
M. Alpuente, M. Baggi, D. Ballis, M. Falaschi
Completeness of Unfolding for Rewriting Logic Theories
12th International Symposium on Symbolic and Numeric Algorithms for Scientific
Computing SYNASC 2010
Timisoara (Romania), September 23-26, 2010
© IEEE Computer Society Press, pages 116-123, 2011
Available: PDF
M. Alpuente, M. Feliu, C. Joubert, A. Villanueva
Datalog-based Program Analysis with BES and RWL
Datalog 2.0: The resurgence of Datalog in Academia and Industry
LNCS 2011, To appear
© Springer-Verlag
Available: PDF

2010

M. Alba, M. Alpuente, S. Escobar
Confidentiality Certification of source Java code in JavaPCC
10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010)
Available: PDF

M. Alba, M. Alpuente, S. Escobar
Abstract Certification of Global Non-Interference in Rewriting Logic
Formal Methods for Components and Objects
(Selected and revised papers from FMCO 2009)
LNCS 6286: 105-124, 2010.
© Springer-Verlag
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
ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation PEPM'10
Madrid (Spain), January 2010, pp. 43-52
© ACM Press
Available: PDF
M. Alpuente, D. Ballis, F. Correa, and M. Falaschi
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs
Theoretical Computer Science 411(47): 4055-4101, 2010.
© Elsevier
Available: DOI link Preliminary version
M. Alpuente, D. Ballis, J. Espert, D. Romero
Model-checking Web Applications with Web-TLR
8th International Symposium on Automated Technology for Verification and Analysis,
ATVA 2010 Singapore, September 21-24, 2010
LNCS 6252: 341-346, 2010
© Springer-Verlag
Available: PDF
M. Alpuente, D. Ballis, M. Falaschi
Transformation and Debugging of Functional Logic Programs
25 Years of Logic Programming in Italy
LNCS 6125: 271-299, 2010. Chapter XV.
© Springer-Verlag
Available: PDF
M. Alpuente, M. Comini, S. Escobar, M. Falaschi, and J. Iborra
A Compact Fixpoint Semantics for Term Rewriting Systems
Theoretical Computer Science, 411(37):3348-3371, 2010.
© Elsevier
Available: DOI link Preliminary version
M. Alpuente, S. Escobar, B. Gramlich, and S. Lucas
On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy
Theoretical Computer Science, 411(2):504-542, 2010.
© Elsevier
Available: DOI link Preliminary version
M. Alpuente, S. Escobar, J. Iborra
Modular Termination of Basic Narrowing and Equational Unification
Journal of IGPL
© Oxford U. Press
Available: DOI link Preliminary version
M. Alpuente, M. Feliu, C. Joubert, A. Villanueva
Defining Datalog in Rewriting Logic
Logic-Based Program Synthesis and Tranformation
(Selected and revised papers from LOPSTR 2009)
LNCS 6037: 188-204, 2010
© Springer-Verlag
Available: PDF
M. Alpuente, D. Romero
A Tool for Computing the Visual Similarity of Web Pages
2010 International Symposium on Applications and the Internet
SAINT 2010 (Seoul, Korea), Jul 2010, pp. 45-51.
© IEEE Computer Society Press, 2010
Available: PDF

2009

M. Alba, M. Alpuente, S. Escobar
Automatic Certification of Non-Interference in Rewriting Logic
Formal Methods for Industrial Critical Systems
(Selected and revised papers from FMICS 2008)
LNCS 5596: 182-198, 2009.
© Springer-Verlag
Available: DOI link PDF

M. Alba, M. Alpuente, S. Escobar, P. Ojeda, and D. Romero
A Tool for Automated Certification of Java Source Code in Maude
Electronic Notes in Theoretical Computer Science 248:19-29, 2009
© Elsevier
Available: DOI link PDF
M. Alpuente D. Ballis, and D. Romero
Specification and Verification of Web Applications in Rewriting Logic
16th Int'l Symposium on Formal Methods FM 2009
Eindhoven (NL), November 2009
LNCS 5850: 790:805, 2009.
© Springer-Verlag
Available: PDF
M. Alpuente, S. Escobar, J. Iborra
Termination of Narrowing Revisited
Theoretical Computer Science 410(46): 4608-4625, 2009.
© Elsevier
Available: DOI link Preliminary version
M. Alpuente, S. Escobar, J. Meseguer, P. Ojeda
Order-sorted Generalization
(Selected and revised papers from WFLP 2008)
Electronic Notes in Theoretical Computer Science, 246:27-38, 2009
© Elsevier
Available: DOI link PDF
M. Alpuente, S. Escobar, J. Meseguer, P. Ojeda
A Modular Equational Generalization Algorithm
Logic-Based Program Synthesis and Tranformation
(Selected and revised papers from LOPSTR 2008)
LNCS 5438:24:38, 2009.
© Springer-Verlag
Available: DOI link PDF

M. Alpuente, M. Feliu, C. Joubert, A. Villanueva
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Electronic Notes in Theoretical Computer Science, 248:57-66, 2009
© Elsevier Science
Available: PDF
M. Alpuente, M. Feliu, C. Joubert, A. Villanueva
Using Datalog and Boolean Equation Systems for Program Analysis
Formal Methods for Industrial Critical Systems
(Selected and revised papers from FMICS 2008)
LNCS 5596: 215-231, 2009.
© Springer-Verlag
Available: PDF

M. Alpuente and D. Romero
A Visual Technique for Web Pages Comparison
Electronic Notes in Theoretical Computer Science 235:3-18, 2009
© Elsevier Science
Available: PDF

2008

B. Alarcon and S. Lucas
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting
8th Spanish Conference on Programming and Computer Languages
PROLE 2008 (Gijón, Spain), Oct 2008.
Electronic Notes in Theoretical Computer Science, To appear 2008.
© Elsevier
Available: Abstract / PDF

M. Alba, 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), Jul 2007.
LNCS 4916:200-216, 2008.
© Springer-Verlag
Available: PDF
M. Alpuente, M. Baggi, D. Ballis, M. Falaschi
Semantic Verification of Web System Contents
Fifth International ER Workshop on Web Information Systems Modeling
WISM 2008 (Barcelona, Spain), Oct 2008.
LNCS 5232:437-446, 2008
© Springer-Verlag
Available: PDF
M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda, D. Romero
An Abstract Generic Framework for Web Site Verification
2008 International Symposium on Applications and the Internet
SAINT 2008 (Turku, Finland), Jul 2008.
© IEEE Computer Society Press, 2008
Available: PDF

M. Alpuente, S. Escobar, J. Iborra
Termination of Narrowing using Dependency Pairs
24th Int'l Conf. on Logic Programming
ICLP 2008 (Udine, Italy), Dec 2008.
LNCS 5366: 317-331, Dec 2008.
© Springer-Verlag
Available: DOI link PDF
M. Alpuente, S. Escobar, J. Iborra
Modular Termination of Basic Narrowing
19th Int'l Conf. on Rewriting Techniques and Applications
RTA 2008 (Hagenberg, Austria), Jul 2008.
LNCS 5117:1-16, Jul 2008
© Springer-Verlag
Available: PDF
M. Alpuente, S. Escobar, J. Meseguer, P. Ojeda
A Modular Equational Generalization Algorithm
18th Int'l Symp. on Logic Based Program Synthesis and Tranformation
LOPSTR 2008, Valencia (Spain), Jul 2008
© Springer-Verlag
Available: PDF

M. Alpuente, M. M. Gallardo, E. Pimente l, A. Villanueva
An Abstract Analysis Framework for Synchronous Concurrent Languages
based on source-to-source Transformation
Electronic Notes in Theoretical Computer Science, Vol 206C:3-21
© Elsevier Science
Available: PDF
M. Alpuente, G. Vidal (editors)
15th International Static Analysis Symposium
SAS 2008 (Valencia, Spain), Jul 2008.
LNCS 5079, 2008
© Springer-Verlag

F. Duran, S. Lucas, ,C. Marche, J. Meseguer, and X. Urbain
Proving Operational Termination of Membership Equational Programs
Higher-Order and Symbolic Computation, 21(1-2):59-88, June 2008.
© Springer-Verlag
Available: Abstract / PDF

F. Duran, S. Lucas, J. Meseguer
Methods for proving termination of rewriting-based programming languages
8th Spanish Conference on Programming and Computer Languages, PROLE'08
Electronic Notes in Theoretical Computer Science, 2008, to appear
© Elsevier
Available: Abstract / PDF

F. Duran, S. Lucas, J. Meseguer
MTT: The Maude Termination Tool
4th International Joint Conference on Automated Reasoning, IJCAR'08
LNAI to appear, 2008.
© Springer-Verlag
Available: Abstract / PDF

F. Duran, S. Lucas, J. Meseguer
Web Services and Interoperability for the Maude Termination Tool
8th Spanish Conference on Programming and Computer Languages, PROLE'08
Electronic Notes in Theoretical Computer Science, 2008, to appear
© Elsevier
Available: Abstract / PDF

S. Escobar, C. Meadows, J. Meseguer.
State Space Reduction in the Maude-NRL Protocol Analyzer
In proceedings of 13th European Symposium on Research in Computer Security (ESORICS08),
LNCS to appear, 2008
© Springer-Verlag

S. Escobar, J. Meseguer, R. Sasse.
Effectively Checking or Disproving the Finite Variant Property
In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA'08),
LNCS to appear, 2008
© Springer-Verlag

S. Escobar, J. Meseguer, R. Sasse.
Variant Narrowing and Equational Unification
In proceedings of 7th International Workshop on Rewriting Logic and its Applications (WRLA08),
Electronic Notes in Theoretical Computer Science, 2008, to appear
© Elsevier

S. Flores, S. Lucas and A. Villanueva
Formal Verification of Web Sites
3rd Int'l Workshop on Automated Specification and Verification of Web Systems WWV'07
Electronic Notes in Theoretical Computer Science, 200(3) :103-118, May 2008.
© Elsevier Science
Available: Abstract / PDF

C. Fuhs, R. Navarro-Marset, C. Otto, J. Giesl, S. Lucas, and P. Schneider-Kamp

Search Techniques for Rational Polynomial Orders
9th International Conference on Artificial Intelligence and Symbolic Computation, AISC'08
LNAI to appear, 2008.
© Springer-Verlag
Available: Abstract / PDF

R. Gutierrez, S. Lucas, and X. Urbain

Usable Rules for Context-Sensitive Rewrite Systems
19th International Conference on Rewriting Techniques and Applications, RTA'08
LNCS 5117:128-141, 2008.
© Springer-Verlag
Available: Abstract / PDF

M. Katelman, S. Escobar, J. Meseguer.
Directed-Logical Testing for Functional Verification of Microprocessors
In proceedings of 6th ACM-IEEE Int'l Conf. on Formal Methods and Models for Codesign (MEMOCODE'2008),
ACM Press to appear, 2008
© ACM Press

S. Lucas and J. Meseguer
Operational Termination of Membership Equational Programs: the Order-Sorted Way
7th International Workshop on Rewriting Logic and its Applications, WRLA'08
Electronic Notes in Theoretical Computer Science, to appear, 2008.
© Elsevier Science
Available: Abstract / PDF

S. Lucas and J. Meseguer
Order-Sorted Dependency Pairs
10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP'08
ACM Press, to appear, 2008.
© ACM Press
Available: Abstract / PDF

S. Lucas and J. Meseguer
Termination of Just/Fair Computations in Term Rewriting
Information and Computation 206(5) :652-675, May 2008.
Elsevier Science
Available: Abstract / PDF

S. Lucas and R. Navarro-Marset
Comparing CSP and SAT solvers for polynomial constraints in termination provers
Selected papers of the 7th Spanish Conference on Programming and Computer Languages, PROLE'07
Electronic Notes in Theoretical Computer Science, 206:75-90, April 2008. 2008.
Elsevier Science
Available: Abstract / PDF

2007

B. Alarcon, R. Gutierrez, J. Iborra, and S. Lucas

Proving Termination of Context-Sensitive Rewriting With MU-TERM
Electronic Notes in Theoretical Computer Science, 188:105-115, 2007.
© Elsevier Science
Available: Abstract / PDF

B. Alarcon, R. Gutierrez, and S. Lucas

Improving the context-sensitive dependency graph
Electronic Notes in Theoretical Computer Science, 188:91-103, 2007.
© Elsevier Science
Available: Abstract / PDF

B. Alarcon and S. Lucas

Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
6th International Symposium on Frontiers of Combining Systems, FroCoS'07
LNCS 4720:73-87, 2007.
© Springer-Verlag
Available: Abstract / PDF

M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda and D. D. Romero
A Fast Algebraic Web Verification Service
First Int'l Conf. on Web Reasoning and Rule Systems RR 2007
Innsbruck, Austria, June 7-8, 2007
LNCS 4524: 239-248, 2007.
Extended and revised version of this paper
© Springer-Verlag
Available: Abstract / PDF

M. Alpuente, S. Escobar, and M. Falaschi (Eds.)

Automated Specification and Verification of Web Systems, 2nd Int'l Workshop
© IEEE Computer Society Press, 2007
Available: IEEE Xplore link

M. Alpuente. S. Escobar, and S. Lucas

Removing Redundant Arguments Automatically
(This article is an extended version of this paper)
Theory and Practice of Logic Programming 7(1&2):3-35, 2007.
Extended and revised version of this paper
© Cambridge University Press

Available:

DOI link PDF (CORR version)

M. Alpuente. B. Gramlich, and A. Villanueva

A framework for Timed Concurrent Constraint Programming with External Functions
Electronic Notes in Theoretical Computer Science, 188C: 143-155, 2007
© Elsevier

Available:

PDF

M. Clavel, F. Duran, S. Lucas, J. Meseguer, and P. Olveczky
The Maude Formal Tool Environment
Proc. of CALCO tools 2007,
Bergen, Norway, August 20, 2007
LNCS 4624:173-178, Springer-Verlag, Berlin, 2007.
© Springer-Verlag
Available: Abstract

S. Escobar, J. Meseguer
Symbolic Model Checking of Infinite-State Systems Using Narrowing
In proceedings of 18th International Conference on Rewriting Techniques and Applications (RTA 2007),
LNCS volume 4533, pages 153-168, 2007.
© Springer-Verlag
Available: PDF

S. Escobar, C. Meadows, J. Meseguer.
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
In proceedings of 1st International Workshop on Security and Rewriting Techniques (SecReT 2006),
Electronic Notes in Theoretical Computer Science, volume 171, pages 23-36, 2007.
© Elsevier
Available: DOI link PDF

M.M. Gallardo, C. Joubert, P. Merino, and D. Sanan
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs
Proceedings of the 14th International SPIN Workshop on Model Checking of Software
SPIN'07 (Berlin, Germany), Jul 2007.
LNCS 4595, To appear.
© Springer-Verlag
Available: Abstract / PDF / Appendix / BibTeX entry

M.M. Gallardo, C. Joubert, P. Merino, and D. Sanan
On-the-Fly Model Checking for C Programs with Extended CADP in FMICS-jETI
Proceedings of the 12th IEEE International Conference on Engineering of Complex Computer Systems
ICECCS'07 (Auckland, New Zealand), Jul 2007.
© IEEE Computer Society Press
Available: Abstract / PDF / BibTeX entry

M.M. Gallardo, C. Joubert, and P. Merino
On-the-Fly Data Flow Analysis based on Verification Technology.
Proceedings of the 6th International Workshop on Compiler Optimization meets Compiler Verification COCV'2007 (Braga, Portugal), Mar 2007.
ENTCS, To appear.
© Elsevier
Available: Abstract / PDF / BibTeX entry

S. Lucas
Practical use of polynomials over the reals in proofs of termination
In Proc. of 9th International Conference on Principles and Practice of Declarative Programming, PPDP'07
pages 39-50, ACM Press, 2007
© ACM Press
Available: Abstract

2006

B. Alarcon, R. Gutierrez, and S. Lucas

Context-Sensitive Dependency Pairs
26th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'06
LNCS 4337:297-308, Springer-Verlag, Berlin, 2006.
© Springer-Verlag
Available: Abstract / PDF

B. Alarcon and S. Lucas.
Building .NET GUIs for Haskell applications

4th International Conference on .NET Technologies,
University of West-Bohemia, pages 57-66, 2006.
Available: Abstract / PDF

M. Alpuente, D. Ballis, and M. Falaschi

Rule-based Verification of Web Sites
Software Tools for Technology Transfer, 8(6):565-585

, 2006.
Extended and revised version of this paper
© Springer-Verlag
Available: Abstract / PDF

M. Alpuente, D. Ballis, M. Falaschi, and D. Romero

A Semi-automatic Methodology for Repairing Faulty Web Sites
4th IEEE Int'l Conf on Software Engineering and Formal Methods SEFM, pages 31-40, 2006.
© IEEE Computer Society Press
Available: Abstract / PDF

M. Alpuente, S. Escobar, M. Falasch (Eds.)
Automated Specification and Verification of Web Sites, 1st Int'l Workshop,
Electronic Notes in Theoretical Computer Science Volume 157, Issue 2 (212 pages), 22 May 2006
© Elsevier Science, North-Holland
Available: WWV'05 p re-proceedings

M. Alpuente, M. M. Gallardo, E. Pimente l, A. Villanueva
Verifying Real-Time Properties of tccp programs
Journal of Universal Computer Science, Vol.12, No. 11, pp. 1551 - 1573, 2006
© Springer-Verlag
Available: Abstract / PDF

M. Alpuente, B. Gramlich and A. Villanueva

Timed Concurrent Constraint Programming with Instantaneous Computations
In Proc. VI Jornadas sobre Programacion y Lenguajes, PROLE'06.

D. Ballis, and D. Romero

Fixing Web Sites Using Correction Strategies
2nd Int'l Workshop on Automated Specification and Verification of Web Sites, WWV'06, pages 495-502.
Paphos, Cyprus. 2006
© IEEE Computer Society, to appear.
Available: Abstract / PDF

D. Ballis, and D. Romero

Filtering of XML Documents
2nd Int'l Workshop on Automated Specification and Verification of Web Sites, WWV'06, pages 503-509.
Paphos, Cyprus. 2006
© IEEE Computer Society, to appear.
Available: Abstract / PDF

S. Escobar, J. Meseguer, P. Thati.
Narrowing and Rewriting Logic: from Foundations to Applications (invited paper)
In proceedings of 15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06),
ENTCS to appear, 2006.
© Elsevier

S. Escobar, C. Meadows, J. Meseguer.
A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties
Theoretical Computer Science, Volume 367, Issues 1-2 , 24 November 2006, Pages 162-202.
Extended and revised version of this paper.
© Elsevier
Available: DOI link Preliminary version

B. Gramlich and S. Lucas
Generalizing Newman's Lemma for Left-Linear Rewrite Systems
Proc. of 17th International Conference on Rewriting Techniques and Applications, RTA'06,
LNCS 4098:66-80, Springer-Verlag, Berlin, 2006.
© Springer-Verlag
Available: Abstract / PDF

S. Lucas
Proving Termination of Context-Sensitive Rewriting by Transformation
Information and Computation, 204(12):1782-1846, 2006.
© 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, 2006.
© Springer-Verlag
Available: Abstract PDF (preprint)

S. Lucas
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics
1st International Workshop on Automated Specification and Verification of Web Sites, WWV'05

Electronic Notes in Theoretical Computer Science, 157(2):79-85, 2006.
© Elsevier
Available: Abstract

2005

M. Alpuente, D. Ballis, and M. Falaschi
A Rewriting-based Framework for Web sites Verification
5th Int'l Workshop on Rule-based Programming RULE 2004,
Aachen (Germany).
ENTCS 124(1):41-61, 2005.
© Elsevier Science, North-Holland
Available: Abstract / PDF

María Alpuente, Santiago Escobar, Salvador Lucas.
A Note on Syntactic Annotations for Narrowing
In proceedings of Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005.
© Thomson
Available: Abstract PDF

M. Alpuente, M. Falaschi, and A. Villanueva.

A Symbolic Model Checker for tccp Programs
13th ERCIM Int'l Workshop on Rapid Integration of Software Engineering Techniques
RISE 2004, Luxembourg (LU)
LNCS 3475:45-56, 2005
© Springer-Verlag
Available: Abstract / PDF / PostScrip t

M. Alpuente, M. M. Gallardo, E. Pimentel, and A. Villanueva.
A Semantic Framework for the Abstract Model Checking of tccp programs
Theoretical Computer Science, 346(1):58-95, 2005.
Extended and revised version of this paper
© ElsevierScience, North-Holland
Available: Abstract / PDF / PostScript

M. Alpuente, S. Escobar, and S. Lucas.
A Note on Syntactic Annotations for Narrowing
© Thomson
V Jornadas sobre Programacion y Lenguajes, PROLE'05, pages 25-30, 2005.
Available: Abstract

M. Alpuente, Maria del Mar Gallardo, Ernesto Pimentel and A. Vilanueva.
Semantic Framework for the Abstract Model Checking of tccp programs (Extended Abstract)
© Thomson
In Proc. V Jornadas sobre Programacion y Lenguajes, PROLE'05, pages 97-100, 2005.
Available: Abstract PostScript PDF BibTeX Entry

M. Alpuente, Maria del Mar Gallardo, Ernesto Pimentel and A. Vilanueva.
Verifying Real-Time Properties of tccp Programs
© Thomson
V Jornadas sobre Programacion y Lenguajes, PROLE'05, pages 85-94, 2005.
Available: Abstract PostScript PDF BibTeX Entry

M. Alpuente, M. Falaschi, and A. Villanueva. A Symbolic Model Checker for tccp Programs
13th ERCIM Int'l Workshop on Rapid Integration of Software Engineering Techniques,
RISE 2004, Luxembourg (LU), 2004.
LNCS 3475:45-56, 2005
© Springer-Verlag
Available: Abstract / PDF / PostScrip t

M. Alpuente, M. Hanus, S. Lucas, and G. Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing
Theory and Practice of Logic Programming 5(3):273-303, 2005.
Extended and revised version of this paper
© 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. Duran, S. Escobar, and S. Lucas.
On-demand evaluation for Maude
In Proc. of Rule-Based Programming, RULE'04,
Electronic Notes in Theoretical Computer Science, 124(1):25-39, 2005.
© Elsevier
Available: Abstract PDF PostScript BibTeX entry

F. Duran, S. Escobar, and S. Lucas.
New evaluation commands for Maude within Full Maude
In Proc. of 5th International Workshop on Rewriting Logic and Applications, WRLA'04,
Electronic Notes in Theoretical Computer Science, 117:263-284, 2005.
© 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
In proceedings of 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code,
pages 1-12, 2005.
© ACM Press
Available: ACM link PDF

S. Escobar, J. Meseguer, and P. Thati.
Natural Narrowing for General Term Rewriting Systems
16th Int'l Conf. on Rewriting Techniques and Applications RTA 2005, Nara (Japan).
LNCS 3467:279-293, 2005.
© Springer-Verlag
Available: PDF

S. Escobar, J. Meseguer, and P. Thati.
Natural Rewriting for General Term Rewriting Systems
Int'l Symp. on Logic Based Program Synthesis and Tranformation
LOPSTR 2004, Verona (Italy).
LNCS 3573:101-116, 2005.
© Springer-Verlag
Available: PDF

V. Estruch, C. Ferri, J. Hernandez-Orallo, M.J. Ramirez-Quintana,
Distance Based Generalisation
Best Student Paper
15th International Conference on Inductive Logic Programming
LNCS 3625:87-102, 2005

V. Estruch, C. Ferri, J. Hernandez-Orallo, M.J. Ramirez-Quintana,
Web Categorisation Using Distance-Based Decision Trees
1st International Workshop on Automated Specification and Verification of Web Sites, WWV'05

Electr. Notes Theor. Comput. Sci. 157(2): 35-40 (2006)
© Elsevier Science, North-Holland

M. Falaschi and A. Villanueva
Automatic Verification of Timed Concurrent Constraint Programs
Theory and Practice of Logic Programming, 2005. To appear
© Cambridge University Press
Available: Abstract / PDF / PostScript / BibTeX entry

B. Gramlich and S. Lucas (editors)
Reduction Strategies in Rewriting and Programming (special issue)
Journal of Symbolic Computation, volume 40, issue 1, July 2005.
© Elsevier
Available:Summary

S. Lucas (editor)
Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004 - Selected papers
Electronic Notes in Theoretical Computer Science, volume 137, issue 1, 2005.
© Elsevier
Available:

S. Lucas
Polynomials over the reals in proofs of termination: from theory to practice
RAIRO Theoretical Informatics and Applications, 39(3):547-586, 2005.
© EDP Sciences
Available: Abstract / PDF (preprint)

S. Lucas

Strategies in Programming Languages Today
Final proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS'04
Electronic Notes in Theoretical Computer Science, 124(2):113-118, 2005.
© Elsevier
Available: Abstract / PDF

S. Lucas, C. MarchÃƒÆ’Ã†â€™©, and J. Meseguer
Operational Termination of Conditional Term Rewriting Systems
Information Processing Letters, 95(4):446-453, 2005.
© Elsevier
Available: Abstract / PDF (preprint)

S. Lucas and J. Meseguer
Termination of Fair Computations in Term Rewriting
12th International Conference on Logic for Programming, Artificial intelligence and Reasoning, LPAR'05,
© Springer-Verlag
LNCS 3835:184-198, Springer-Verlag, Berlin, 2005.
Available: Abstract / PDF (preprint)

2004

E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal
Operational Semantics for Declarative Multi-Paradigm Languages
Journal of Symbolic Computation, 2004. To appear
Extended and revised version of [WFLP02] and [WRS02] papers.
© Elsevier Science
Available: Abstract

M. Alpuente, D. Ballis, and M. Falaschi
Verdi: an Automated Tool for Web sites Verification
European Conference on Logics in Artificial Intelligence JELIA 2004,
Lisbon (Portugal); system demonstration
LNCS 3329, pages 726-729, 2004
© Springer-Verlag
Available: Abstract / PDF / PostScript

M. Alpuente , D. Ballis and M. Falaschi
Automated Verification of Web Sites Using Partial Rewriting
1st Int'l Symp. on Leveraging Applications of Formal Methods ISoLA 2004,
Paphos (Cyprus), pp. 81-88

M. Alpuente, S. Escobar, and S. Lucas
Correct and complete (positive) strategy annotations for OBJ
4th Int'l Workshop on Rewriting Logic and its Applications, Pisa (Italy).
Electronic Notes on Theoretical Computer Science, volume 71, 2004
© Elsevier Science
Available: Abstract / PDF / PostScript

M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal
Rules + Strategies for Transforming Lazy Functional Logic Programs
Theoretical Computer Science, 311(1-3), pages 479-525, Jan 2004.
Extended and revised version of this paper
© Elsevier Science
Available: Abstract / Online article / BibTeX entry

M. Alpuente, M. Falaschi, and A. Villanueva.
Symbolic Representation of tccp programs
13th Int'l Workshop on Functional and (Constraint) Logic Programming, WFLP 2004,
Aachen (Germany), pages 104-114, 2004.
Available: Abstract PDF

M. Alpuente, M. Gallardo, E. Pimentel, and A. Villanueva
Abstract Model Checking of tccp programs
In Proc. of 2nd Workshop on Quantitative Aspects of Programming Languages, QAPL 2004,
ENTCS 112:19-36, 2005.
© Elsevier
Available: Abstract PDF BibTeX entry

M. Alpuente and S. Lucas
Connecting remote termination tools
Proc. of 7th Int'l Workshop on Termination, WST'04, Aachen (Germany)
pages 6-9, 2004.
Available: Abstract PDF

Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal
Towards CNC Programming using Haskell
IX Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004), Puebla (Mexico). Springer LNCS 3315, pp. 386-395, 2004.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry

Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
Run-Time Profiling of Functional Logic Programs
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2004), pp. 178-189, 2004
Available: Abstract / PDF / Extended version (with proofs) / BibTeX entry

Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
A Semantics for Tracing Declarative Multi-Paradigm Programs
6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2004), Verona (Italy). ACM Press, pp. 179-190, 2004.
© ACM Press
Available: Abstract / PDF / BibTeX entry

F. Dur@n, S. Escobar, and S. Lucas.
New evaluation commands for Maude within Full Maude
In Proc. of 5th Int'l Workshop on Rewriting Logic and its Applications, WRLA'04,
ENTCS 117:263-284. 2005.
© Elsevier
Available: Abstract PDF PostScript BibTeX entry

F. Dur@n, S. Lucas, J. Meseguer,C. Marché, and X. Urbain
Termination of Membership Equational Programs
In Proc. of ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, PEPM'04,
pages 147-158, ACM Press, 2004.
© ACM Press
Available: Abstract PDF BibTeX entry

S. Escobar.
Implementing Natural Rewriting and Narrowing Efficiently
In Proc. of the 7th Int'l Symposium on Functional and Logic Programming (FLOPS'2004),
LNCS 2998 , pages 147 - 162, 2004.
© Springer-Verlag
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, 2004
© IOS Press
Available: IOS Press link / PDF

S. EspaÃ±a and V. Estruch
A Memoizing Semantics for Functional Logic Languages
European Symposium on Programming (ESOP 2004), Barcelona (Spain).
LNCS, to appear 2004
© Springer-Verlag
Available: Abstract / PDF / PostScript

V. Estruch, C. Ferri, J. Hernández-Orallo and M.J. Ramirez-Quintana.
Bagging Decision Multi-Trees
5th Int. Workshop on Multiple Classifier Systems (MCS 2004), Cagliari (Italy).
LNCS, to appear 2004
© Springer-Verlag
Available:

C. Ferri, P. Flach, and Hernandez
Delegating Classifiers
In Proc. Int'l Conf. on Machine Learning, ICML'04
To appear 2004
© Omnipress
Available: PDF

J. Hernandez, M. J. Ramírez, and C. Ferri
Introduccion a la Minería de Datos
To appear in 2004.
© Prentice Hall / Addison-Wesley

M. Llorens and J. Oliver
Redes Reconfigurables Controladas por Marcado: Redes de Petri con Cambios Dinamicos Estructurales
In Actas XII Jornadas de Concurrencia y Sistemas Distribuidos, Las Navas del Marques, Avila, Spain
pp. 249-263, 2004.
Available: PDF

M. Llorens and J. Oliver
Structural Changes in Concurrent Systems: Reconfigurable Nets
IEEE Transactions on Computers, 53(9): 1147-1158, 2004.
@IEEE
Available: PDF

M. Llorens and J. Oliver

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets
In Proc. 2nd Int. Symposium on Automated Technology for Verification and Analysis
ATVA 2004, Taipei (Taiwan) .
LNCS, to appear 2004
@Springer-Verlag
Available: PDF

S. Lucas
MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting
In Proc. of 15th Int'l Conference on Rewriting Techniques and Applications, RTA'04,
LNCS 3091:200-209, Springer-Verlag, Berlin, 2004.
© Springer-Verlag
Available: Abstract / PDF / PostScript

S. Lucas
Polynomials for Proving Termination of Context-Sensitive Rewriting
In Proc. of 7th Int'l Conference on Foundations of Software Science and Computation Structures, FOSSACS'04,
LNCS 2987:318-332, Springer-Verlag, Berlin, 2004.
© Springer-Verlag
Available: Abstract / PDF / PostScript

S. Lucas.
Strong and NV-sequentiality of constructor systems
Information Processing Letters, 89(4):191-201, 2004.
© Elsevier
Available: Abstract / PDF (preprint) / PostScript (preprint)

Claudio Ochoa, Josep Silva, German Vidal
Dynamic Slicing Based on Redex Trails
ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM 2004), Verona (Italy). ACM Press, pp. 123-134, 2004.
© ACM Press
Available: Abstract / PDF / BibTeX entry

Claudio Ochoa, Josep Silva, German Vidal
Program Specialization Based on Dynamic Slicing
Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004), Verona (Italy), pp. 20-31, 2004.
Available: Abstract / PDF / BibTeX entry

Claudio Ochoa, Josep Silva, German Vidal
A Lightweight Approach to Program Specialization
IV Jornadas sobre Programacion y Lenguajes (PROLE 2004), Malaga (Spain), pp. 41-54, 2004.
Available: Abstract / PDF / BibTeX entry

J. G. Ramos, J. Silva, and G. Vidal
An Embedded Language Approach to Router Specification in Curry
International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2004), Czech Republic. Springer LNCS 2932, pp. 277-288, 2004.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry

G. Vidal
Cost-Augmented Partial Evaluation of Functional Logic Programs
Higher-Order and Symbolic Computation (formerly Lisp and Symbolic Computation), 17(1-2): 7-46, 2004.
Extended and revised version of this paper
© Kluwer Academic Press
Available: Abstract / Volume 17, Issue 1-2 (HOSC) / BibTeX entry

2003

E. Albert, J. Silva, and G. Vidal
Time Equations for Lazy Functional (Logic) Languages
2003 Joint Conf. on Declarative Programming (AGP'03), Reggio Calabria (Italy).
Available: Abstract / PDF / BibTeX entry

E. Albert, M. Hanus, and G. Vidal
A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs
Information Processing Letters 85(1):19-25, 2003
© Elsevier
Available: Abstract / BibTeX entry

M. Alpuente, D. Ballis, F. J. Correa, and M. Falaschi
Automated Correction of Functional Logic Programs
In P. Degano, editor, Proc. of European Symposium on Programming (ESOP 2003), Warsaw (Poland),
LNCS 2618:54-68, Springer-Verlag, Berlin, 2003. .
© Springer-Verlag
Available: Abstract / Postscript / BibTeX entry

M. Alpuente, M. Comini, S. Escobar, M. Falaschi, and S. Lucas
Abstract Diagnosis of Functional Programs
In M. Leuschel, editor, Proc. of Logic-Based Program Synthesis and Transformation (LOPSTR'02),
Springer LNCS 2664:1-16, 2003
© Springer-Verlag
Available: Abstract / Postscript / PDF

M. Alpuente, D. Ballis, S. Escobar, M. Falaschi, and S. Lucas.
Abstract Correction of Functional Programs
In Proc. of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03)
Electronic Notes on Theoretical Computer Science, volume 86(4). 2003
© Elsevier
Available: Abstract / Postscript / PDF / BibTeX entry

M. Alpuente, S. Escobar, and S. Lucas.
On-Demand evaluation by program transformation
In Proc. of the 4th Int'l Workshop on Rule-Based Programming (RULE'03),
Electronic Notes on Theoretical Computer Science, volume 86(2). 2003
© Elsevier
Available: Abstract / Postscript / PDF / BibTeX entry

M. Alpuente, S. Escobar, and S. Lucas.
OnDemandOBJ: A Laboratory for Strategy Annotations
In Proc. of the 4th Int'l Workshop on Rule-Based Programming (RULE'03),
Electronic Notes on Theoretical Computer Science, volume 86(2). 2003
© Elsevier
Available: Abstract / Postscript / PDF / BibTeX entry

M. Alpuente, M. Falaschi, P. Julian, and G. Vidal
Uniform Lazy Narrowing
Journal of Logic and Computation, 13(2):287-312, 2003.
Preliminary version appeared in WFLP'02 (see also [AFJV02tr])
© Oxford University Press
Available: Abstract / BibTeX entry

M. Alpuente, M. Falaschi, A. Villanueva.
Symbolic Model Checking for Timed Concurrent Constraint Programs
In Proc. III Jornadas sobre Programacion y Lenguajes PROLE'03, pages 151-166
U. Alicante, 2003
Available: Abstract / PostScript / BibTeX Entry

E. Badouel, M. Llorens and J. Oliver
Modelling Concurrent Systems using Reconfigurable Nets
In Proc. Int'l Conf. On Parallel and Distributed Processing Techniques and Applications (PDPTA@03), Las Vegas, Nevada, USA
CSREA Press, volume IV, pp. 1568-1574, 2003.
Available: PDF

D. Ballis, M. Falaschi, C. Ferri, J. Hernandez and M. Ramírez
Cost-sensitive diagnosis of declarative programs
In Proc. of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03)
Electronic Notes on Theoretical Computer Science, volume 86(4). 2003
© Elsevier
Available: Abstract / Postscript / PDF / BibTeX entry

S. Escobar.
Refining Weakly Outermost-Needed Rewriting and Narrowing
In Proc. of the Fifth ACM-SIGPLAN Int'l Conference on Principles and Practice of Declarative Programming (PPDP'03), pages 113-123, 2003.
© ACM Press
Available: ACM Abstract / PDF / BibTeX entry

V. Estruch, C. Ferri, J. Hernandez, M.J. Ramírez
Beam Search Extraction and Forgetting Strategies on Shared Ensembles
In Proceedings of the 4th Workshop on Multiple Classifier Systems, MCS'03
To appear in Springer LNCS, 2003
© Springer-Verlag
Available: PostScript

V. Estruch, C. Ferri, J. Hernandez, M.J. Ramírez
Simple Mimetic Classifiers
In Proceedings of the IAPR Intern. Conference on Machine Learning and Data Mining, MLDM'03
To appear in Springer LNCS, 2003
© Springer-Verlag
Available: PostScript

P. Flach, H. Blockeel,C. Ferri, J. Hernandez, J. Struyf
Decision Support for Data Mining: Introduction to ROC analysis and its applications
Book chapter in Data Mining and Decision Support
© Kluwer
ISBN 1-4020-7388-7

C. Ferri, P. Flach, J. Hernandez
Improving the AUC of Probabilistic Estimation Trees
In Proceedings of the European Conference on Machine Learning ECML'03
Springer LNCS, 2003
© Springer-Verlag
Available: PDF

C. Ferri, J. Hernandez, M. Salido
Volume Under the ROC Surface for Multi-class Problems
In Proceedings of the European Conference on Machine Learning ECML'03
Springer LNCS, 2003
© Springer-Verlag
Available: PDF

B. Gramlich and S. Lucas (editors)
Reduction Strategies in Rewriting and Programming
Third Int'l Workshop, WRS'03 - Final Proceedings, Valencia, Spain, June 8, 2003
Electronic Notes in Theoretical Computer Science, volume 86, Issue 4, December 2003.
Available: ENTCS volume 86

M. Llorens and J. Oliver
Sistemas de Reescritura de Redes
In Concurrencia y Sistemas Distribuidos. Actas XI Jornadas de Concurrencia, Benicassim, Castellon, Spain
pp. 237-250, 2003.
Available: PDF

J. Guadalupe Ramos, Josep Silva, German Vidal
Towards Router Specification in Curry: The Language ROSE
Terceras Jornadas de Programacion y Lenguajes (PROLE'03), Alicante (Spain).
Available: Abstract / PDF / BibTeX entry

G. Vidal (editor)
Functional and (Constraint) Logic Programming. Selected papers from the 12th Int'l Workshop (WFLP 2003)
Electronic Notes in Theoretical Computer Science, volume 86, issue 3, November 2003.
Available: Volume 86(3) of ENTCS

G. Vidal (editor)
12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2003)
Technical Report DSIC II/14/03, Universidad Politenica de Valencia, Spain, June 8, 2003
Available: WFLP'03 Proceedings

G. Vidal
Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation
Logic Based Program Synthesis and Tranformation (revised and selected papers from LOPSTR'02), pp. 219-237, Springer LNCS 2664, 2003.
© Springer-Verlag
Available: Abstract / DVI / PS / PDF / BibTeX entry

2002

E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal
Operational Semantics for Functional Logic Languages
Electronic Notes in Theoretical Computer Science (selected papers from WFLP'02), vol. 76, 2002
© Elsevier
Available: Abstract / PDF / BibTeX entry

E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal
An Operational Semantics for Declarative Multi-Paradigm Languages
Electronic Notes in Theoretical Computer Science (selected papers from WRS'02), vol. 70(6), 2002
© Elsevier
Available: Abstract / PDF / BibTeX entry

E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal
A Deterministic Operational Semantics for Functional Logic Programs
2002 Joint Conf. on Declarative Programming (AGP'02), Madrid (Spain).
Available: Abstract / PDF / BibTeX entry

E. Albert, M. Hanus, and G. Vidal
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
Journal of Functional and Logic Programming 2002(1):1-34, March 2002
© EAPLS
Available: Abstract / BibTeX entry / Online Article

E. Albert and G. Vidal
The Narrowing-Driven Approach to Functional Logic Program Specialization
New Generation Computing 20(1):3-26, 2002.
Available: Abstract / BibTeX entry

E. Albert and G. Vidal
Symbolic Profiling for Multi-Paradigm Declarative Languages
Logic-Based Program Synthesis and Transformation (selected papers from LOPSTR 2001). Springer LNCS 2374, pp. 148-167 , 2002
© Springer-Verlag
Available: Abstract / PS / PDF / BibTeX entry

M. Alpuente, M. Comini, S. Escobar, M. Falaschi, and S. Lucas
A Declarative Debugging Scheme for Functional Programs
Proc. of the 12th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2002), Madrid (Spain).
Available: Abstract / DVI / PS / BibTeX entry

M. Alpuente, F. Correa, and M. Falaschi
A Debugging Scheme for Functional Logic Programs
Electronic Notes in Theoretical Computer Science, volume 64.
© Elsevier
Available: PostScript

M. Alpuente, R. Echahed, S. Escobar, and S. Lucas
Redundancy of Arguments Reduced to Induction
11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02), Udine (Italy).
Electronic Notes on Theoretical Computer Science, volume 76, 2002
© Elsevier
Available: Abstract Postscript PDF

M. Alpuente, S. Escobar, B. Gramlich, and S. Lucas
Improving On-demand Rewriting Annotations
9th Int'l Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002), Tbilisi (Georgia).
LNAI 2514:1-18, Springer-Verlag, Berlin, 2002
© Springer-Verlag
Available: Abstract PDF PostScript

M. Alpuente, S. Escobar, and S. Lucas
Removing Redundant Arguments of Functions
9th Int'l Conf. on Algebraic Methodology And Software Technology (AMAST 2002), Reunion Island (France).
Springer LNCS volume 2422, pages 117-131, 2002.
© Springer-Verlag
Available: Abstract Postscript PDF

M. Alpuente, S. Escobar, and 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, volume 71.
© Elsevier, North-Holland
Available: Abstract / PDF / PostScript

M. Alpuente, M. Falaschi, P. Julian, and G. Vidal
Lazy Narrowing and Needed Narrowing: A Comparison
11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02), Udine (Italy).
Available: Abstract / PS / BibTeX entry

M. Alpuente, M. Falaschi, P. Julián, and G. Vidal
Uniform Needed Narrowing
Technical Report, DSIC, UPV, 2002.
Available: Abstract / PDF / BibTeX entry

S. Antoy and S. Lucas
Demandness in Rewriting and Narrowing
11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02), Udine (Italy).
Electronic Notes on Theoretical Computer Science, volume 76, 2002
© Elsevier
Available: Abstract PDF PostScript

C. Borralleras, S. Lucas, and A. Rubio
Recursive Path Orderings can be Context-Sensitive
In Proc. of 18th Int'l Conf. on Automated Deduction, CADE'02
LNAI 2392:314-331, Springer-Verlag, Berlin, 2002.
© Springer-Verlag
Available: Abstract PDF PostScript BibTeX entry.

V. Estruch, C. Ferri, J. Hernandez, M.J. Ramírez
Shared Ensemble Learning using Multi-trees
In Proceedings of the 8th Iberoamerican Conference on Artificial Intelligence (IBERAMIA)
To appear in Springer LNCS, 2002
© Springer-Verlag
Available: PostScript

V. Estruch, C. Ferri, J. Hernandez, M.J. Ramírez
SMILES: A Multi-purpose Learning System
In Proceedings of the 8th European Conf. on Logics in Artificial Intelligence (JELIA)
To appear in Springer LNCS, 2002 , Vol 2424
© Springer-Verlag
Available: PostScript

C. Ferri, P. Flach, J. Hernandez
Learning Decision Trees Using the Area Under the Roc Curve
In Proc. Int'l Conf. on Machine Learning, ICML'02
To appear 2002
© Morgan Kaufmann
Available: PDF

C. Ferri, J. Hernandez, M.J. Ramírez
Induction of Decision Multi-Trees using Levin Search
In Proc. Int'l Conf. on Computational Science, ICCS'02
To appear in Springer LNCS, 2002
© Springer-Verlag
Available: PostScript

C. Ferri, J. Hernandez, M.J. Ramírez
From Ensemble Methods To Comprehensible Models
In The 5th Int'l Conference on Discovery Science, DS02
To appear in Springer LNCS, 2002
© Springer-Verlag
Available: PostScript

B. Gramlich and S. Lucas (editors)
Reduction Strategies in Rewriting and Programming
Second Int'l Workshop, WRS'02 - Final Proceedings, Copenhagen, Denmark, July 25, 2002
Electronic Notes in Theoretical Computer Science, volume 70, Issue 6, December 2002.
Available: ENTCS volume 70

B. Gramlich and S. Lucas
Modular Termination of Context-Sensitive Rewriting
In Proc. of 4th Int'l Conf. on Principles and Practice of Declarative Programming, PPDP'02
pages 50-61, ACM Press, 2002.
© ACM Press
Available: Abstract PDF PostScript BibTeX entry.

B. Gramlich and S. Lucas
Simple Termination of Context-Sensitive Rewriting
In Proc. of 3rd ACM Sigplan Workshop on Rule-based Programming, RULE'02
pages 29-41, ACM Press, 2002.
© ACM Press
Available: Abstract PDF PostScript BibTeX entry.

B. Gramlich and S. Lucas (editors)
Reduction Strategies in Rewriting and Programming
Proc. of the Second Int'l Workshop, WRS 2002
Technical Report E1852-2002-02, Institut of Computer Languages, Vienna University of Technology, Verlag Berger, July 2002.
Available:

S. Lucas
Context-sensitive rewriting strategies
Information and Computation, 178(1):294-343, 2002.
Available: Abstract PDF (preprint) PostScript (preprint) BibTeX entry.

S. Lucas
Lazy Rewriting and Context-Sensitive Rewriting
Electronic Notes in Theoretical Computer Science, volume 64, 2002.
Available: Abstract PDF PostScript BibTeX entry.

S. Lucas
Termination of (Canonical) Context-Sensitive Rewriting
In Proc. of 13th Int'l Conf. on Rewriting Techniques and Applications, RTA'02
LNCS 2378:296-310, Springer-Verlag, Berlin, 2002.
© Springer-Verlag
Available: Abstract PostScript BibTeX entry Slides.

G. Vidal
A Partial Evaluation Tool for Multi-Paradigm Declarative Programs
2002 IEEE International Conference on Systems, Man and Cybernetics, Hammamet (Tunisia), 2002.
© IEEE
Available: Abstract / PDF

G. Vidal
Cost-Augmented Narrowing-Driven Specialization
Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02), Portland (Oregon, USA), SIGPLAN NOTICES 37(3): 52-62, 2002
© ACM Press
Available: Abstract / PDF / PS / DVI / BibTeX entry

G. Vidal
Forward Slicing by Partial Evaluation
Proc. of the 12th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2002), Madrid, Spain.
Extended version in [LNCS]

2001

E. Albert
Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency.
Bulletin of EATCS, number 74, pp. 281-284, June 2001
Available: Postscript

E. Albert, S. Antoy and G. Vidal
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
Logic-Based Program Synthesis and Transformation
Springer LNCS 2042, pp. 103-124, 2001
© Springer-Verlag
Available: Abstract DVI PostScript PDF BibTeX entry

E. Albert, M. Hanus and G. Vidal
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
In Proc. of 5th Int'l Symposium on Functional and Logic Programming, FLOPS'01
Springer LNCS 2024, pp. 326-342, 2001
© Springer-Verlag
Available: Abstract DVI PostScript BibTeX entry

E. Albert and G. Vidal
Source-Level Abstract Profiling for Multi-Paradigm Declarative Languages
Proc. of the 11th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2001), Paphos, Cyprus, 2001
Available: Abstract / DVI / PS / BibTeX entry

M. Alpuente, F. Correa, and M. Falaschi
Declarative Debugging of Functional Logic Programs
Electronic Notes in Theoretical Computer Science, volume 57, 2001.
© Elsevier
Available: PostScript

Maria Alpuente, Francisco Correa, and Moreno Falaschi
A Debugging Scheme for Functional Logic Programs
10th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001
Available: PostScript

C. Ferri, J. Hernandez, M.J. Ramírez
Incremental Learning of Functional Logic Programs
In Proc. of 5th Int'l Symposium on Functional and Logic Programming, FLOPS'01
Springer LNCS 2024, pp. 233-247, 2001
© Springer-Verlag
Available: PostScript

B. Gramlich and S. Lucas (editors)
Reduction Strategies in Rewriting and Programming
Selected papers of the First Int'l Workshop, WRS'01, Utrecht, The Netherlands, May 26, 2001
Electronic Notes in Theoretical Computer Science, volume 57, November 2001.
Available: ENTCS 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, July 2001.
Available: Abstract PostScript

M. Llorens and J. Oliver
Modelización de Sistemas Concurrentes mediante Redes Reconfigurables
In IX Jornadas de Concurrencia, Sitges, Barcelona, Spain, pp. 213-224, 2001.
Available: PDF

S. Lucas
Termination of on-demand rewriting and termination of OBJ programs
In Proc. of 3rd Int'l Conf. on Principles and Practice of Declarative Programming, PPDP'01
pages 82-93, ACM Press, 2001
© ACM Press
Available: Abstract PostScript

S. Lucas
Termination of Rewriting With Strategy Annotations
In Proc. of 8th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning, LPAR'01
Springer LNAI 2250:666-680, 2001
© Springer-Verlag
Available: Abstract PostScript BibTeX entry.

S. Lucas
Transfinite Rewriting Semantics for Term Rewriting Systems
In Proc. of 12th Int'l Conf. on Rewriting Techniques and Applications, RTA'01
Springer LNCS 2051:216-230, 2001.
© Springer-Verlag
Available: Abstract PostScript BibTeX entry.

2000

E. Albert, C. Ferri, F. Steiner and G. Vidal
Improving Functional Logic Programs by Difference-Lists
In 6th Asian Computing Science Conf., ASIAN'2000
Springer LNCS 1961, pages 238-255, 2000
© Springer-Verlag
Available: Abstract DVI PostScript BibTeX entry

E. Albert, M. Hanus and G. Vidal
Using an Abstract Representation to Specialize Functional Logic Programs
In 7th Int'l Conf. on Logic for Programming and Automated Reasoning, LPAR'00
Springer LNAI 1955, pages 381-398, 2000
© Springer-Verlag
Available: Abstract DVI PostScript BibTeX entry

E. Albert, S. Antoy and G. Vidal
Measuring the Effectiveness of Partial Evaluation
In 10th Int'l Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'00, 2000
Available: Abstract DVI PostScript BibTeX entry

M. Alpuente

Functional and Logic Programming, 9th Int'l Workshop
UPV Press, 2000 (ref. 2000.2039).

M. Alpuente, S. Escobar, and S. Lucas

Redundancy Analyses in Term Rewriting (extended abstract)9th International Workshop on Functional and Logic Programming, WFLP'2000,
pages 309-323, UPV Press, Ref 2000-2039, 2000.
Available: PostScript

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
An Automatic Composition Algorithm for Functional Logic Programs
In V. Hlavac, K.G. Jeffery and J. Wiedermann, editors, Proc. of 27th Annual Conf. on Current Trends in Theory and Practice of Informatics, SOFSEM'2000
Springer LNCS, pages 289-297, Berlin, 2000
Available: Abstract DVI PostScript BibTeX entry

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal

Using PE to Automate Program Composition
9th International Workshop on Functional and Logic Programming, WFLP'2000,
pages 169-183, UPV Press, Ref 2000-2039, 2000.
Available: PostScript

J. Hernandez.
Constructive Reinforcement Learning
in Int'l Journal of Intelligent Systems,15(3):241-264. John Wiley & Sons, 2000.
Available: Abstract PostScript BibTeXentry.

J. Hernandez, M.J. Ramírez.
Software as Learning: Quality Factors and Life-Cycle Revised
In T. Maibaum, editor, Proc. of 3rd Int'l Conf. on Fundamental Approaches to Software Engineering, FASE'2000
Springer LNCS 1783, pages 147-162, Berlin, 2000.
Available: Abstract PostScript BibTeX entry.

1999

E. Albert, M. Alpuente, M. Hanus, G. Vidal.
A Partial Evaluation Framework for Curry Programs.
In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proc. of 6th Int'l Conf. on Logic for Programming and Automated Reasoning, LPAR'99,
Springer LNAI 1705, pages 376-395, 1999.
© Springer-Verlag
Available: Abstract DVI BibTeX entry

M. Alpuente, S. Escobar, S. Lucas.
UPV-Curry: An Incremental Curry Interpreter
In J. Pavelka, editor, Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'99,
Springer LNCS 1725, pages 331-339, 1999.
Available: Abstract DVI PostScript BibTeX entry.

M. Alpuente, S. Escobar, S. Lucas.
Incremental Needed Narrowing
In Proc. of the Int'l Workshop on Implementation of Declarative Languages, IDL'99.
Available: Abstract DVI PostScript HTML BibTeX entry.

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal.
A Transformation System for Lazy Functional Logic Programs
In A. Middeldorp and T. Sato, editors, Proc. of 4th Int'l Symp. on Functional and Logic Programming, FLOPS'99,
Springer LNCS 1722, pp. 147-162, 1999
Available: Abstract DVI PostScript BibTeX entry

M. Alpuente, M. Falaschi, C. Ferri, G. Moreno, and G. Vidal
Un Sistema de Transformacion para Programas Multiparadima
Revista Iberoamericana de Inteligencia Artificial 8(X/99):27-35,
AEPIA 1999.

M. Alpuente, M. Hanus, S. Lucas, G. Vidal.
Specialization of Inductively Sequential Functional Logic Programs.
In P. Lee, editor, Proc. of 1999 ACM Int'l Conf. on Functional Programming, ICFP'99.
pages 273-283, ACM Press, 1999.
ACM SIGPLAN Notices 34(9):273-283
ACM Press, 1999.
Available: Abstract DVI PostScript BibTeX entry.

M. Hanus, S. Lucas.
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
In A. Middeldorp and T. Sato, editors, Proc. of 4th Int'l Symp. on Functional and Logic Programming, FLOPS'99,
volume 1722 of Lecture Notes in Computer Science, pages 353-368. Springer-Verlag, Berlin, 1999.
Available: Abstract DVI PostScript BibTeX entry

J. Hernandez, M.J. Ramírez.
A Strong Complete Schema for Inductive Functional Logic Programming.
In S. Dzeroski and P. Flach, editors, Proc. of 9th Int'l Workshop on Inductive Logic Programming, ILP'99.
Springer LNAI 1634, pp. 116-127.
Available: Abstract DVI PostScript BibTeX entry.

C. Herrero, J. Oliver.
Object-Oriented Specification with the Parallel Multi-label Lambda-Calculus.
In J. Pavelka, editor, Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'99,
Springer LNCS 1725, pages 389-397, 1999.
Available: Abstract DVI PostScript BibTeX entry.

1998

E. Albert, M. Alpuente, M. Falaschi, P. Julian, G. Vidal.
Improving Control in Functional Logic Program Specialization.
In G. Levi, editor, Proc. of Static Analysis Symposium, SAS'98,
Springer LNCS 1503, pages 262-277, 1998.
Available: Abstract PostScript BibTeX entry.

M. Alpuente, M. Falaschi, G. Vidal.
Partial Evaluation of Functional Logic Programs.
ACM Transactions on Programming Languages and Systems 20(4):768-844, 1998.
See also [AFV98tr].
Available: Abstract BibTeX entry.

M. Alpuente, M. Falaschi, G. Vidal.
A Unifying View of Functional and Logic Program Specialization.
ACM Computing Surveys. volume 30, No. 3es (Sept. 1998), Pages 9-es.
Available: Abstract DVI PostScript BibTeX entry.

E. Badouel, J. Oliver.
Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes.
Proc. of a workshop within the 19th Int'l Conf. on Applications and Theory of Petri Nets, ICATPN'98,
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, 1998.
Available: Abstract DVI Postcript (preliminary version) BibTeX entry.

J. Hernandez, M.J. Ramírez.
Inverse Narrowing for the Induction of Functional Logic Programs.
Proc. of 1998 Joint Conf. on Declarative Programming, AGP'98, pages 379-392.
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, January 1998.
Available: Abstract Paper BibTeX entry.

S. Lucas.
Root-neededness and approximations of neededness.
Information Processing Letters, 67(5):245-254, 1998.
Available: Abstract DVI Postcript (preliminary version) BibTeX entry.

1997

M. Alpuente, M. Falaschi, P. Julian, G. Vidal.
Specialization of Lazy Functional Logic Programs.
ACM SIGPLAN Notices, volume 32(12):151-162, ACM Press, 1997.
Available: Abstract DVI PostScript BibTeX entry.

M. Alpuente, M. Falaschi, G. Moreno, G. Vidal.
Safe Folding/Unfolding with Conditional Narrowing.
In M. Hanus, J. Heering, and K. Meinke, editors, Proc. of the 6th Int'l Conf. on Algebraic and Logic Programming, ALP'97,
Springer LNCS 1298, pages 1-15, 1997.
Available: Abstract DVI PostScript BibTeX entry.

S. Lucas.
Efficient Strong Sequentiality Using Replacement Restrictions.
In F. Plasil and K.G. Jeffery, editors, Proc. of XXIV Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97,
volume 1338 of Lecture Notes in Computer Science, pages 489-496. Springer-Verlag, Berlin, 1997.
Available: Abstract DVI PostScript BibTeX entry.

S. Lucas.
Needed Reductions with Context-Sensitive Rewriting.
In M. Hanus, J. Heering, and K. Meinke, editors, Proc. of the 6th Int'l Conf. on Algebraic and Logic Programming, ALP'97,
volume 1298 of Lecture Notes in Computer Science, pages 129-143. Springer-Verlag, Berlin, 1997.
Available: Abstract DVI PostScript BibTeX entry.

S. Lucas.
Transformations for Efficient Evaluations in Functional Programming.
In H. Glaser, P. Hartel, and H. Kuchen, editors, Proc. of the 9th Int'l Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'97,
volume 1292 of Lecture Notes in Computer Science, pages 127-141. Springer-Verlag, Berlin, 1997.
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, volume 165(1):97-131, Sept 1996.
Available: Abstract DVI PostScript BibTeX entry.

M. Alpuente, M. Falaschi, G. Vidal.
Narrowing-driven Partial Evaluation of Functional Logic Programs.
In H.R. Nielson, editor, Proc. of the European Symposium on Programming ESOP'96.
Springer LNCS 1058, pages 45-61, 1996.
Available: Abstract DVI PostScript BibTeX entry.

M. Alpuente, M. Falaschi, P. Julian, G. Vidal

Call-by-Name Specialization of Functional Logic Programs
JICSLP'96 Multi-Paradigm Logic Programming Workshop MPLP'96, 1996
Available: Abstract / PS / BibTeX entry

S. Lucas.
Context-sensitive computations in confluent programs.
In H. Kuchen and S.D. Swierstra, editors, Proc. of the 8th Int'l Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'96,
volume 1140 of Lecture Notes in Computer Science, pages 408-422. Springer-Verlag, Berlin, 1996.
Available: Abstract DVI PostScript BibTeX entry.

S. Lucas.
Termination of context-sensitive rewriting by rewriting.
In F. Meyer auf der Heide and B. Monien, editors, Proc. of the 23rd Int'l Colloquium on Automata, Languages, and Programming, ICALP'96,
volume 1099 of Lecture Notes in Computer Science, pages 122-133. Springer-Verlag, Berlin, 1996.
Available: Abstract DVI PostScript BibTeX ent

S. Lucas, J. Oliver.
A new proposal of Concurrent Process Calculus.
In K.G. Jeffery and J. Kral, editors, Proc. of XXIII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'96,
volume 1175 of Lecture Notes in Computer Science, pages 385-392. Springer-Verlag, Berlin, 1996.
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, May 1995.
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):221-252, Mar 1995.
Available: Abstract DVI PostScript BibTeX entry.

S. Lucas.
Fundamentals of context-sensitive rewriting.
In M. Bartosek, J. Staudek and J. Wiedermann, editors, Proc. of XXII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'95,
volume 1012 of Lecture Notes in Computer Science, pages 405-412. Springer-Verlag, Berlin, 1995.
Available: Abstract DVI PostScript BibTeX entry.

O. Lysne, J. Piris.
A Termination Ordering for Higher Order Rewrite Systems.
In J. Hsiang, editor, Proc. Sixth Int'l Conf. on Rewriting Techniques and Applications RTA'95,
volume 914 of Lecture Notes in Computer Science, pages 26-40. Springer-Verlag, Berlin, 1995.
Available: Abstract PostScript BibTeX entry.

1994

M. Alpuente, M. Falaschi, G. Vidal.
Compositional Analysis for Equational Horn Programs.
In G. Levi and M. Rodríguez-Artalejo, editors, Proc. Fifth Int'l Conf. on Algebraic and Logic Programming ALP'94,
Springer LNCS 850, pages 77-94, 1994.
Available: Abstract DVI PostScript BibTeX entry.

M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal.
A Compositional Semantics for Conditional Term Rewriting Systems.
In H.E. Bal, editor, Proc. 1994 Int'l Conf. on Computer Languages ICCL'94, pages 171-182.
IEEE Computer Society Press, 1994.
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.
In K. Apt, J. W. de Bakker and J.J.M.M. Rutten, editors, Logic Programming Languages: Constraints, Functions and Objects.
MIT Press, Cambridge, MA., 1993, pages 49-81.
Available: Abstract DVI PostScript BibTeX entry.

M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal.
Narrowing Approximations as an Optimization for Equational Logic Programs.
In M. Bruynooghe and J. Penjam, editors, Proc. Fifth Int'l Symp. on Programming Language Implementation and Logic Programming PLILP'93,
Springer LNCS 714, pages 391-409, 1993.
Available: Abstract DVI PostScript BibTeX entry.

M. Alpuente, M. Falaschi, F. Manzo.
Analyses of Inconsistency for Incremental Equational Logic Programming.
In M. Wirsing and M. Bruynooghe, editors, Proc. Fourth Int'l Symp. on Programming Language Implementation and Logic Programming PLILP'92,
Springer LNCS 631, pages 443-457, 1992.
Available: Abstract DVI PostScript BibTeX entry.

M. J. Ramírez, M. Falaschi.
Conditional Narrowing with Constructive Negation.
In Proc. Third Workshop on Extensions of Logic Programming ELP'92,
volume 660 of Lecture Notes in Computer Science, pages 59-79. Springer-Verlag, Berlin, 1993.
Available: Abstract DVI PostScript BibTeX entry.

1992

M. Alpuente, M. J. Ramírez.
An Equational Constraint Logic Approch to Conceptual Modelling.
In A.M. Tjoa and I. Ramos, editors, Proc. Third Int'l Conf. on Database and Expert Systems Applications DEXA'92, pages 26-32. Springer-Verlag, Wien New York, 1992.
Available: Abstract RTF BibTeX entry.

M.J. Ramis, J. Piris and M. Alpuente.
Lazy Derivations in Equational Constraint Logic Programming.
In Proc. XVIII Latin American Conf. of Informatics, pages 1108-1016. CLEI, 1992 (in Spanish).
Available: Abstract DVI PostScript BibTeX entry.

1991

M. Alpuente, M. Falaschi.
Narrowing as an Incremental Constraint Satisfaction Algorithm.
In M. Bruynooghe and J. Penjam, editors, Proc. Third Int'l Symp. on Programming Language Implementation and Logic Programming PLILP'91,
Springer LNCS 528, pages 111-122, 1991.
Available: See the extended version in TCS'95.

PhD Theses

E. Albert.
Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, April 2001. (In English)
Available: Abstract PostScript BibTeX entry

M. Alpuente.
El Lenguaje CLP(H/E): Una aproximacion basada en restricciones a la integracion de la programacion y funcional.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 1991. (In Spanish)
Available: Abstract PDF

M. Baggi.
Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, joint PhD with Universita di Siena (Italy), November 2010. (In English)
Available: PDF

D. Ballis.

Rule-based Software Verification and Correction.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, joint PhD with Universita degli Studi di Udine (Italy), Febrero 2005. (In English)
Available: Abstract PDF BibTeX entry

R. Blanco.
Extracción y contextualización de reglas comprensibles a partir de modelos de “caja negra”.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, July 2007. (In Spanish)
Available: PDF

F.J. Correa.
Depuracion Declarativa de Programas Logicos Funcionales.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, July 2002. (In Spanish)
Available: Abstract PostScript BibTeX entry

S. Escobar
Strategies and Analysis Techniques for Functional Program Optimization
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 2003. (In English)
Available: Abstract PostScript PDF BibTeX entry

V. Estruch
Bridging the Gap between Distance and Generalisation: Symbolic Learning in Metric Spaces
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Dec 2008. (In English)
Available: PDF

C. Ferri
Multi-Paradigm Learning of Declarative Models
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, May 2003. (In English)
Available: Abstract PostScript BibTeX entry

R. Gutierrez.
Automatic Proofs of Termination of Context-Sensitive Rewriting.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Sep 2010. (In English)
Available: PDF

J. Hernandez.
Computational Measures of Information Gain and Reinforcement in Inference Processes.
Ph.D. Thesis, Departamento de Logica y Filosofía de la Ciencia, Universidad de Valencia, Dec 1999. (In English)
Available: Abstract PostScript BibTeX entry

J. Iborra.
Termination of Narrowing: Automated Proofs and Modularity Properties.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 2010. (In English)
Available: PDF

P. Julian.
Specialization of Lazy Functional Logic Programs.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, May 2000. (In Spanish)
Available: Abstract PostScript BibTeX entry

M. Llorens.
Redes Reconfigurables. Modelizacion y Verificacion.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Nov 2003. (In Spanish)
Available: Abstract PostScript PDF BibTeX entry

S. Lucas.
Rewriting with replacement restrictions.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Oct 1998. (In Spanish)
Available: Abstract PostScript BibTeX entry

G. Moreno.
Reglas y Estrategias de Transformacion para Programas Logico Funcionales.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, May 2000. (In Spanish)
Available: Abstract PostScript BibTeX entry

J. Oliver.
Extension del lambda-calculo para la Modelizacion de Procesos Concurrentes.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Sep 1996. (In Spanish)
Available: Abstract PostScript BibTeX entry.

M. J. Ramirez.
Negacion Constructiva para Programacion Logica Ecuacional.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Nov 1993. (In Spanish)
Available: Abstract PostScript PDF BibTeX entry.

G. Vidal.
Semantics-Based Analysis and Transformation of Functional Logic Programs.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Sep 1996. (In Spanish)
Available: Abstract PostScript BibTeX entry.

A. Villanueva.
Model Checking for the Concurrent Constraint Paradigm.
Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, joint with Università degli Studi di Udine (Italy), May 2003. (In English)
Available: Abstract PostScript BibTeX entry.

Technical Reports

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 parametrico para Programas Multiparadigma
Revista Colombiana de Computacion, 5(2): 24-65, April 2005.

M. Alpuente, M.J. Ramirez, M.J. Ramis
Generacion de Planes en un entorno Logico - Ecuacional
Informatica y Automatica, 25(3-4): 31-42, 1992.

M. Alpuente, F. Casacuberta
Esquema de Traduccion Dirigido por la Sintaxis para Correccion de Errores en Lenguajes Regulares
Informatica y Automatica, 22(2): 22-33, 1989.

M. Alpuente, A. Garcia. M.J. Ramirez, A. Crespo, J.A. de la Puente
Programacion 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 especificacion Logico Algebraico implementado en Prolog
Informatica y Automatica, 20(4):9.14, 1987.

M. Alpuente, J.A. de la Puente
Implementacion Lisp de una maquina CSP
Informatica y Automatica, 20(4):39-43, 1987.