ELP - Papers

Papers of the ELP Group

This document lists some recent papers of the ELP Group.

Papers are organized in three groups:

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

 (Select year of publication )

2013

2012

2011

2010

2009

2008

2007

2006

2005

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
  • 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

2002

2001

2000

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 PostScriptBibTeX 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 PostScriptBibTeX 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 PostScriptBibTeX 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

  • M. Alba.
    Abstract Certification of Java Pprograms in Rewriting Logic.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Noviembre 2011. 
    Available: PDF
  • 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. 
    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. 
    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. 
    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. 
    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. 
    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. 
    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 PostScriptBibTeX 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 PostScriptBibTeX 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 PostScriptBibTeX 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. Rami­rez.
    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.
  • D. Romero.
    Rewriting-based Verification and Debugging of Web Systems.
    Ph.D. Thesis, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, Jul 2011.
    Available: PDF
  • 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.
    Available: Abstract PostScript BibTeX entry.

Technical Reports

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. Rami­rez, 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. Garci­a. 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.
    • Preferencias
    §
    1
    2
    3
    4
    5
    6
    7
    8
    9
    0
    -
    =
    Backspace
    Tab
    q
    w
    e
    r
    t
    y
    u
    i
    o
    p
    [
    ]
    Return
    capslock
    a
    s
    d
    f
    g
    h
    j
    k
    l
    ;
    '
    \
    shift
    `
    z
    x
    c
    v
    b
    n
    m
    ,
    .
    /
    shift
    English
    alt
    alt
    Preferencias
    §
    1
    2
    3
    4
    5
    6
    7
    8
    9
    0
    -
    =
    Backspace
    Tab
    q
    w
    e
    r
    t
    y
    u
    i
    o
    p
    [
    ]
    Return
    capslock
    a
    s
    d
    f
    g
    h
    j
    k
    l
    ;
    '
    \
    shift
    `
    z
    x
    c
    v
    b
    n
    m
    ,
    .
    /
    shift
    English
    alt
    alt