self.bib

@INPROCEEDINGS{Report_WCAT2006,
  AUTHOR = {Becker, S. and Canal, C. and Diakov, N. and Murillo, J. M. and Poizat, P.},
  TITLE = {{Coordination and Adaptation Techniques: Bridging the Gap between Design and Implementation}},
  BOOKTITLE = {{Object-Oriented Technology. ECOOP 2006 Workshop Reader}},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  NOTE = {(in print)},
  YEAR = 2007
}

@INPROCEEDINGS{CCCP@Foclasa2006,
  AUTHOR = {J. C\'amara and C. Canal and J. Cubo and E. Pimentel},
  TITLE = {Dynamic Contextual Adaptation},
  BOOKTITLE = {CONCUR’2006 Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’06)},
  YEAR = 2007,
  NOTE = {(in print)},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  PUBLISHER = {Elsevier}
}

@INPROCEEDINGS{BCP@Foclasa2004,
  AUTHOR = {A Brogi and C. Canal and E. Pimentel},
  TITLE = {Behavioural types for service integration: achievements and challenges},
  BOOKTITLE = {CONCUR’2004 Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’04)},
  YEAR = 2007,
  NOTE = {(in print)},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  PUBLISHER = {Elsevier}
}

@ARTICLE{BCP@SCP-2,
  AUTHOR = {A. Brogi and C. Canal and E. Pimentel},
  TITLE = {{Component Adaptation Through Flexible Subservicing}},
  JOURNAL = {Science of Computer Programming},
  PUBLISHER = {Elsevier},
  VOLUME = 63,
  PAGES = {39--56},
  YEAR = 2006
}

@ARTICLE{BCP@SCP-1,
  AUTHOR = {A. Brogi and C. Canal and E. Pimentel},
  TITLE = {{On the Semantics of Software Adaptation}},
  JOURNAL = {Science of Computer Programming},
  PUBLISHER = {Elsevier},
  VOLUME = 61,
  NUMBER = 2,
  PAGES = {136--151},
  YEAR = 2006
}

@ARTICLE{Canal@LObjet06,
  AUTHOR = {Canal, C. and Murillo, J. M. and Poizat, P.},
  TITLE = {{Software Adaptation: an Introduction}},
  JOURNAL = {L'Objet},
  YEAR = 2006,
  PUBLISHER = {Hermes - Lavoisier},
  VOLUME = 12,
  NUMBER = 1,
  PAGES = {9-–31}
}

@INPROCEEDINGS{CPG@FMOODS06,
  AUTHOR = {C. Canal and P. Poizat and G. Sala\"un},
  TITLE = {{Synchronizing Behavioural Mismatch in Software Composition}},
  BOOKTITLE = {{Formal Methods for Open Object-Based Distributed Systems (FMOODS'06)}},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = 4037,
  PAGES = {63--77},
  PUBLISHER = {Springer},
  YEAR = 2006
}

@INPROCEEDINGS{Camara2005,
  AUTHOR = {J. C\'amara and C. Canal and J. Cubo and A. Vallecillo},
  TITLE = {Formalizing WSBPEL Business Processes using Process Algebra},
  BOOKTITLE = {CONCUR’2005 Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’05)},
  SERIES = {ENTCS},
  VOLUME = {154(1)},
  PAGES = {159-–173},
  PUBLISHER = {Elsevier},
  YEAR = 2006
}

@INPROCEEDINGS{Toledano@RAMSE06,
  AUTHOR = {M.A. P\'erez Toledano and A. Navasa and J.M. Murillo and C. Canal},
  TITLE = {{Making Aspect-Oriented System Evolution Safer}},
  BOOKTITLE = {ECOOP'2006 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'06)},
  PUBLISHER = {TR 13-2006, Fakult\"at f\"ur Informatik, Otto-von-Guericke Universit\"at Magdeburg},
  PAGES = {23--34},
  YEAR = 2006
}

@INPROCEEDINGS{Cubo@WCAT06,
  AUTHOR = {J. Cámara and C. Canal and J. Cubo and E. Pimentel},
  TITLE = {{Dynamic Adaptation Using Contextual Environments}},
  BOOKTITLE = {ECOOP’2006 Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT’06)},
  PUBLISHER = { Technical Report IBISC RR 2006-03, IBISC - FRE 2873, CNRS / Université d’\'Evry},
  PAGES = {35--42},
  YEAR = 2006
}

@INPROCEEDINGS{Camara@RAMSE06,
  AUTHOR = {J. Cámara and C. Canal and J. Cubo and J.M. Murillo},
  TITLE = {{An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution}},
  BOOKTITLE = {ECOOP'2006 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'06)},
  PUBLISHER = {TR 13-2006, Fakult\"at f\"ur Informatik, Otto-von-Guericke Universit\"at Magdeburg},
  YEAR = 2006
}

@INPROCEEDINGS{Canal@CAL06,
  AUTHOR = {C. Canal and P. Poizat and G. Sala\"un},
  TITLE = {{Adaptation de composants logiciels: une approche automatis\'ee bas\'ee sur des expressions r\`eguli\'eres de vecteurs de synchronisation}},
  BOOKTITLE = {Premi\'ere Conf\`erence Francophone sur les Architectures Logicielles (CAL'2006)},
  PUBLISHER = {Editions Hermes Sciences / Lavoisier},
  PAGES = {59--70},
  YEAR = 2006
}

@INPROCEEDINGS{Toledano@JISBD06,
  AUTHOR = {M.A. P\'erez Toledano and A. Navasa and J.M. Murillo and C. Canal},
  TITLE = {{Evoluci\'on de sistemas orientados a aspectos utilizando patrones de interacci\'on}},
  BOOKTITLE = {{XI Jornadas en Ingenier\'{\i}a del Software y Bases de Datos (JISBD’2006)}},
  PUBLISHER = {CINME},
  PAGES = {514--519},
  YEAR = 2006
}

@INPROCEEDINGS{Camara@DSOA06,
  AUTHOR = {J. C\'mara and C. Canal and J. Cubo and J.M. Murillo},
  TITLE = {{AOP and Dynamic Software Adaptation}},
  BOOKTITLE = {{JISDB'2006. Taller de Desarrollo de Software Orientado a Aspectos (DSOA'06)}},
  PUBLISHER = {Informe T\'ecnico TR 24/06. Escuela Polit\'ecnica, Universidad de Extremadura},
  PAGES = {27--34},
  YEAR = 2006
}

@ARTICLE{BBC@JSS05,
  AUTHOR = {A. Bracciali and A. Brogi and C. Canal},
  TITLE = {{A Formal Approach to Component Adaptation}},
  JOURNAL = {Journal of Systems and Software},
  YEAR = 2005,
  VOLUME = 74,
  NUMBER = 1,
  PAGES = {45--54}
}

@INPROCEEDINGS{Camara@WCAT05,
  AUTHOR = {J. Cámara and C. Canal and J. Cubo},
  TITLE = {{Issues in the formalization of Web Service Orchestrations}},
  BOOKTITLE = {ECOOP’2005 Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT’05)},
  PUBLISHER = {TR 119/2005 LaMI UMR 8042, CNRS / Université d’\'Evry},
  PAGES = {81--88},
  YEAR = 2006
}

@INPROCEEDINGS{Toledano@IDEAS05,
  AUTHOR = {M.A. P\'erez Toledano and A. Navasa and C. Canal and J.M. Murillo},
  TITLE = {{Desarrollo de Sistemas Basados en Componentes Utilizando Diagramas de Secuencia}},
  BOOKTITLE = {{VIII Workshop Iberoamericano de Ingenier\'{\i}a de Requisitos y Ambientes de Software (IDEAS’05)}},
  PUBLISHER = {En Actas},
  PAGES = {229--240},
  YEAR = 2005
}

@INPROCEEDINGS{Toledano@JISBD05,
  AUTHOR = {M.A. P\'erez Toledano and A. Navasa and J.M. Murillo and C. Canal},
  TITLE = {{S\'{\i}ntesis de patrones de interacci\'on a partir de diagramas de secuencia de UML}},
  BOOKTITLE = {{X Jornadas en Ingenier\'{\i}a del Software y Bases de Datos (JISBD’2005)}},
  PUBLISHER = {Thompson},
  PAGES = {83--90},
  YEAR = 2005
}

@PHDTHESIS{tesisJesus,
  AUTHOR = {J. Mart\'\i nez},
  TITLE = {Un enfoque basado en
est\'andares para la integraci\'on de t\'ecnicas y herramientas de Ingenier\'\i a de Protocolos},
  SCHOOL = {University of M\'alaga},
  YEAR = {2005}
}

@ARTICLE{GMMP04,
  TITLE = {$\alpha$SPIN: A Tool for Abstract Model Checking},
  AUTHOR = {M.M Gallardo and J. Mart\'\i nez and P. Merino and E. Pimentel},
  JOURNAL = {International Journal on Software Tool for Technology Transfer},
  VOLUME = {5},
  PAGES = {165 - 184},
  YEAR = {2004},
  NUMERO = {2-3}
}

@ARTICLE{AGPV05,
  AUTHOR = {M. Alpuente and M.M. Gallardo and E. Pimentel and A. Villanueva},
  TITLE = {{A Semantic Framework for the Abstract Model Checking of tccp programs}},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {2005},
  VOLUME = {346},
  PAGES = {58-95},
  OWNER = {david},
  TIMESTAMP = {2006.11.08}
}

@ARTICLE{GMM05,
  AUTHOR = {M. M. Gallardo and J. Mart\'\i nez and P. Merino },
  TITLE = {{Model Checking Active Network with SPIN}},
  JOURNAL = {Computer Communication},
  YEAR = {2005},
  VOLUME = {28},
  PAGES = {609-622},
  OWNER = {david},
  TIMESTAMP = {2006.11.08}
}

@ARTICLE{GMMNP06b,
  AUTHOR = {M. M. Gallardo and J. Mart\'\i nez and P. Merino and P. N\'u\~nez and E. Pimentel},
  TITLE = {{PiXL: Applying XML Standards to Support the Integration of Analysis
        Tools for Protocols}},
  JOURNAL = {Science of Computer Programming Journal (in press),doi:10.1016/j.scico.2006.08.006},
  OWNER = {david},
  YEAR = {2006},
  TIMESTAMP = {2006.11.08}
}

@INPROCEEDINGS{GMMNP06a,
  AUTHOR = {M.M. Gallardo and J. Mart\'\i nez and P. Merino and P. N\'u\~nez and E. Pimentel},
  TITLE = {{PiXL: Applying XML Standards to Support the Integration of Analysis
        Tools}},
  BOOKTITLE = {Fourth International Workshop on Modelling, Simulation, Verification
        and Validation of Enterprise Information Systems (MSVVEIS'06)},
  YEAR = {2006},
  ADDRESS = {Paphos, Cyprus},
  MONTH = {May},
  OWNER = {david},
  TIMESTAMP = {2006.11.08}
}

@INPROCEEDINGS{GMS06,
  AUTHOR = {M. M. Gallardo and P. Merino and D. San\'an},
  TITLE = {{Towards Model Checking C Code with OPEN/CAESAR}},
  BOOKTITLE = {Fourth International Workshop on Modelling, Simulation, Verification
        and Validation of Enterprise Information Systems (MSVVEIS'06)},
  YEAR = {2006},
  ADDRESS = {Paphos, Cyprus},
  MONTH = {May},
  OWNER = {david},
  TIMESTAMP = {2006.11.08}
}

@INPROCEEDINGS{CMM06,
  AUTHOR = {P. de-la-C\'amara and M. M. Gallardo and P. Merino},
  TITLE = {{Abstract Matching for Software Model Checking}},
  BOOKTITLE = {13th International Workshop on Model Checking of Software (SPIN06)},
  YEAR = {2006},
  VOLUME = {3925},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {182-200},
  ADDRESS = {Vienna, Austria},
  MONTH = {April},
  OWNER = {david},
  TIMESTAMP = {2006.11.08}
}

@INPROCEEDINGS{CGMS05,
  AUTHOR = {P. de-la-C\'a mara and M. M. Gallardo and P. Merino and D. San\'an},
  TITLE = {{Model Checking Software with well-defined APIs: The Socket case}},
  BOOKTITLE = {{Tenth International Workshop on Formal Methods for Industrial Critical
        Systems (FMICS05).}},
  YEAR = {2005},
  EDITOR = {T. Margaria \& M. Massink},
  PAGES = {17-26},
  MONTH = {September},
  OWNER = {david},
  TIMESTAMP = {2006.11.08}
}

@INPROCEEDINGS{GJM06,
  AUTHOR = {M. M. Gallardo and C. Joubert and P. Merino},
  TITLE = {{Implementing Influence Analysis using Parameterised Boolean Equation Systems}},
  BOOKTITLE = {Proc. of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
  YEAR = {2005}
}

@INPROCEEDINGS{GMMP06,
  AUTHOR = {M. M. Gallardo and J. Mart\'\i nez and P. Merino and E. Pimentel},
  TITLE = {{On the Evolution of Reliability Methods for Critical Software}},
  BOOKTITLE = {Proceedings of the Ninth World Conference on Integrated Design & Process Technology
},
  YEAR = {2006}
}

@INPROCEEDINGS{CMMS05b,
  AUTHOR = {P. de-la-C\'amara and M. M. Gallardo and P. Merino and D. San\'an},
  TITLE = {{SocketMC: A tool to verify C code}},
  BOOKTITLE = {Actas de la XIII Jornadas de Concurrencia y Sistemas Distribuidos},
  PAGES = {193-204},
  YEAR = {2005}
}

@INPROCEEDINGS{YGM05,
  AUTHOR = {M. Yag\"ue and M. M. Gallardo and A. Ma\~na},
  TITLE = {{Semantic Access Control Model: A Formal Specification}},
  BOOKTITLE = {Proceedings of the 10th European Symposium on Research in Computer Security},
  SERIES = {Lecture Notes in Computer Science},
  NUMBER = {3679},
  PAGES = {24-43},
  YEAR = {2005}
}

@INBOOK{GMMP05,
  AUTHOR = {M. M. Gallardo and P. Merino and J. Mart\'\i nez and E. Pimentel},
  PUBLISHER = {Idea Group Publisher},
  BOOKTITLE = {Software Evolution with UML and XML},
  TITLE = {Abstracting UML behavioral diagrams for verification},
  PAGES = {296-320},
  YEAR = {2005}
}

@INPROCEEDINGS{AGPV06b,
  AUTHOR = {M. Alpuente and M. M. Gallardo and E. Pimentel and A. Villanueva},
  TITLE = {{Verifying Real-Time Properties of tccp Programs.}},
  BOOKTITLE = {Actas de las V Jornadas sobre Programación y Lenguajes, PROLE05},
  PAGES = {85-94},
  OWNER = {david},
  TIMESTAMP = {2006.11.08},
  YEAR = {2005}
}

@INPROCEEDINGS{AGPV05b,
  AUTHOR = {M. Alpuente and M. M. Gallardo and E. Pimentel and A. Villanueva},
  TITLE = {{A Semantic Framework for the Abstract Model Checking of tccp programs.}},
  BOOKTITLE = {Actas de las V Jornadas sobre Programación y Lenguajes, PROLE05},
  PAGES = {95-100},
  YEAR = {2005}
}

@ARTICLE{AGPV05bb,
  AUTHOR = {Alpuente, M. and Gallardo, M. M. and Pimentel, E. and Villanueva, A.},
  TITLE = {{A Semantic Framework for the Abstract Model Checking of tccp programs}},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {2005},
  VOLUME = {346},
  PAGES = {58--95}
}

@ARTICLE{GLM02,
  AUTHOR = {H. Garavel and F. Lang and  R. Mateescu},
  TITLE = { An overview of {CADP}},
  YEAR = { 2002},
  JOURNAL = { EASST Newsletter},
  VOLUME = {4},
  PAGES = {13--24}
}

@ARTICLE{Hol97,
  AUTHOR = {G.J. Holzmann},
  TITLE = {The Model Checker SPIN},
  JOURNAL = {IEEE
Transactions on Software Engineering},
  VOLUME = {23},
  NUMBER = {5},
  PAGES = {279-295},
  YEAR = {1997}
}

@ARTICLE{tplp+:cflp-fd-2006,
  AUTHOR = {Antonio J. Fern\'{a}ndez and Teresa Hortal\'{a}-Gonz\'{a}lez and Fernando S\'{a}enz-P\'{e}rez and Rafael del Vado-V\'{\i}rseda},
  TITLE = {Constraint Functional Logic Programming over Finite Domains},
  JOURNAL = {Theory and Practice of Logic Programming ({TPLP})},
  YEAR = {2007},
  NOTE = {In press}
}

@ARTICLE{jucs+:branching-2006,
  AUTHOR = {Antonio J. Fern\'{a}ndez and Patricia M. Hill},
  TITLE = {An Interval Constraint Branching Scheme For Lattice Domains},
  JOURNAL = {Journal of Universal Computer Science},
  YEAR = {2006},
  VOLUME = {12},
  NUMBER = {11},
  PAGES = {1466--1499}
}

@ARTICLE{EFHR+07a,
  AUTHOR = {Sonia Est\'evez-Mart\'{\i}n and Antonio Fern\'{a}ndez and Teresa Hortal\'a-Gonz\'alez and Mario Rodr\'{\i}guez-Artalejo and Fernando S\'aenz-P\'erez and Rafael del Vado-V\'{\i}rseda},
  TITLE = {{A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming}},
  JOURNAL = {Electronics Notes in Theorical Computer Science},
  PUBLISHER = {{Elsevier Science}},
  NOTE = {In Press},
  YEAR = {2007}
}

@ARTICLE{EFHRV+07b,
  AUTHOR = {Sonia Est\'evez-Mart\'{\i}n and Antonio Fern\'{a}ndez and Teresa Hortal\'a-Gonz\'alez and Mario Rodr\'{\i}guez-Artalejo and Rafael del Vado-V\'{\i}rseda},
  TITLE = {{A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme}},
  JOURNAL = {Electronics Notes in Theorical Computer Science},
  PUBLISHER = {{Elsevier Science}},
  NOTE = {In Press},
  YEAR = {2007}
}

@TECHREPORT{EFS06,
  AUTHOR = {Sonia Est\'evez-Mart\'{\i}n and Antonio Fern\'{a}ndez and Fernando S\'aenz-P\'erez},
  TITLE = {{Implementing TOY, a Constraint Functional Logic Programming with Solver Cooperation}},
  INSTITUTION = {Universidad de Málaga},
  TYPE = {Research Report},
  NUMBER = {LCC ITI 06-8},
  MONTH = {November},
  YEAR = {2006}
}

@ARTICLE{IA05a,
  AUTHOR = {Antonio J. Fern\'{a}ndez},
  TITLE = {Un Enfoque Genérico y Cooperativo para la Resolución de Restricciones de Intervalo},
  JOURNAL = {Revista Iberoamericana de Inteligencia Artificial},
  YEAR = {2005},
  VOLUME = {9},
  NUMBER = {27},
  PAGES = {125-128}
}

@ARTICLE{IA05b,
  AUTHOR = {Antonio J. Fern\'{a}ndez},
  TITLE = {Programación declarativa con restricciones},
  JOURNAL = {Revista Iberoamericana de Inteligencia Artificial},
  YEAR = {2005},
  VOLUME = {9},
  NUMBER = {27},
  PAGES = {1137-3601}
}

@INPROCEEDINGS{DBLP:conf/cp/FernandezHS05,
  AUTHOR = {Antonio J. Fern{\'a}ndez and
               Maria Teresa Hortal{\'a}-Gonz{\'a}lez and
               Fernando S{\'a}enz-P{\'e}rez},
  TITLE = {Programming with TOY(FD).},
  BOOKTITLE = {CP},
  YEAR = {2005},
  PAGES = {878-878},
  EE = {http://dx.doi.org/10.1007/11564751_116},
  CROSSREF = {DBLP:conf/cp/2005},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@PROCEEDINGS{DBLP:conf/cp/2005,
  EDITOR = {Peter van Beek},
  TITLE = {Principles and Practice of Constraint Programming - CP 2005,
               11th International Conference, CP 2005, Sitges, Spain, October
               1-5, 2005, Proceedings},
  BOOKTITLE = {CP},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {3709},
  YEAR = {2005},
  ISBN = {3-540-29238-1},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{FernandezCP05,
  AUTHOR = {Antonio J. Fern{\'a}ndez and
               Maria Teresa Hortal{\'a}-Gonz{\'a}lez and
               Fernando S{\'a}enz-P{\'e}rez},
  TITLE = {Solving FD constraints in TOY(FD).},
  BOOKTITLE = {First International Workshop on Constraint Programming Beyond Finite
                Integer Domains (as part of {CP'05})},
  EDITOR = {Francisco Azevedo, Carmen Gervet and Enrico Pontelli},
  ADDRESS = {Sitges, Spain},
  PAGES = {1-15},
  YEAR = 2005
}

@INPROCEEDINGS{FernandezWFLP'06,
  AUTHOR = {S. Est\'evez-Mart\'{\i}n and A. J. Fern\'{a}ndez and T. Hortal\'a-Gonz\'alez and M. Rodr\'{\i}guez-Artalejo and R. del Vado-V\'{\i}rseda},
  TITLE = {{A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme}},
  BOOKTITLE = {WFLP'06 - 15th Workshop on Functional and (Constraint) Logic Programming},
  EDITOR = {Francisco J. López-Fraguas},
  ADDRESS = {Madrid, Spain},
  PAGES = {211-227},
  YEAR = 2006
}

@MISC{toy:2006,
  AUTHOR = {Purificaci\'{o}n Arenas and Antonio J. Fern\'{a}ndez and Ana Gil and Francisco L\'{o}pez-Fraguas and Mario Rodr\'{i}guez-Artalejo and Fernando S\'{a}enz-P\'{e}rez},
  TITLE = {TOY, A Multiparadigm Declarative language. Versión 2.2.3},
  EDITOR = {Rafael caballero and Jaime S\'{a}nchez},
  HOWPUBLISHED = {Manual},
  MONTH = {June},
  YEAR = {2006}
}

@ARTICLE{DBLP:journals/toplas/FernandezH04,
  AUTHOR = {Antonio J. Fern{\'a}ndez and
               Patricia M. Hill},
  TITLE = {An interval constraint system for lattice domains.},
  JOURNAL = {ACM Trans. Program. Lang. Syst.},
  VOLUME = {26},
  NUMBER = {1},
  YEAR = {2004},
  PAGES = {1-46},
  EE = {http://doi.acm.org/10.1145/963778.963779},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{FernandezCEDIa05,
  AUTHOR = {Antonio J. Fern\'{a}ndez and Teresa Hortal\'{a}-Gonz\'{a}lez and Fernando S\'{a}enz-P\'{e}rez},
  TITLE = {{Using the TOY(FD) Constraint Functional Logic System}},
  BOOKTITLE = {PROLE'05 - V Jornadas sobre Programación y Lenguajes (Simposio 10
        del I Congreso Español de Informática (CEDI'05))},
  EDITOR = {Francisco J. López-Fraguas},
  ADDRESS = {Granada, España},
  PUBLISHER = {Thomson},
  PAGES = {115-120},
  YEAR = 2005
}

@INPROCEEDINGS{FernandezCEDIb05,
  AUTHOR = {Antonio J. Fern\'{a}ndez and Patricia M. Hill},
  TITLE = {{An Interval Constraint Branching Scheme for Lattice Domains }},
  BOOKTITLE = {PROLE'05 - V Jornadas sobre Programación y Lenguajes (Simposio 10
        del I Congreso Español de Informática (CEDI'05))},
  EDITOR = {Francisco J. López-Fraguas},
  ADDRESS = {Granada, España},
  PUBLISHER = {Thomson},
  PAGES = {33-42},
  YEAR = 2005
}

@INPROCEEDINGS{FernandezCEDIc05,
  AUTHOR = {Antonio J. Fern\'{a}ndez and Patricia M. Hill},
  TITLE = {{A Chaotic Iteration View for Interval Constraint Solving over Lattices}},
  BOOKTITLE = {PROLE'05 - V Jornadas sobre Programación y Lenguajes (Simposio 10
        del I Congreso Español de Informática (CEDI'05))},
  EDITOR = {Francisco J. López-Fraguas},
  ADDRESS = {Granada, España},
  PUBLISHER = {Thomson},
  PAGES = {43-52},
  YEAR = 2005
}

@INPROCEEDINGS{lopez+:lpar2004,
  AUTHOR = {Pablo L{\'o}pez and Jeff Polakow},
  TITLE = {Implementing Efficient Resource Management for
                  Linear Logic Programming},
  BOOKTITLE = {LPAR},
  YEAR = {2005},
  PAGES = {528--543}
}

@INPROCEEDINGS{lopez+:ppdp2005,
  AUTHOR = {Pablo L{\'o}pez and Frank Pfenning and Jeff Polakow
                  and Kevin Watkins},
  TITLE = {Monadic Concurrent Linear Logic Programming},
  BOOKTITLE = {PPDP},
  PAGES = {35--46},
  YEAR = {2005},
  ADDRESS = {Lisbon, Portugal},
  MONTH = {jul},
  PUBLISHER = {ACM Press}
}

@INPROCEEDINGS{APR04,
  AUTHOR = {S. Amaro and E. Pimentel and A.M. Rold\'an},
  TITLE = {A Preliminary Comparative Study on the Expressive Power of Reo and Linda},
  BOOKTITLE = {Proc. of Foclasa'04},
  YEAR = {2004},
  MONTH = AUG,
  ORGANIZATION = {FOCLASA'04}
}

@ARTICLE{APR05,
  AUTHOR = {S. Amaro and E. Pimentel and A.M. Rold\'an},
  TITLE = {Coordinating Behavioral Descriptions of Components},
  JOURNAL = {Journal of Universal Computer Science},
  YEAR = {2005},
  VOLUME = {11},
  NUMBER = {10},
  PAGES = {1676-1694},
  EE = {http://www.jucs.org/jucs_11_10/coordinating_behavioral_descriptions_of}
}

@ARTICLE{APR06,
  AUTHOR = {S. Amaro and E. Pimentel and A.M. Rold\'an},
  TITLE = {Reo Based Interaction Model},
  JOURNAL = {Electr. Notes in Theor. Comput. Sci.},
  YEAR = {2006},
  VOLUME = {160},
  PAGES = {3-14}
}

@BOOK{AEF05,
  AUTHOR = {M. Alpuente, S. Escobar and M. Falaschi (eds.)},
  TITLE = {Automated Specification and Verification of Web Sites},
  BOOKTITLE = {First International Workshop},
  PUBLISHER = {Elsevier Science, Electronic Notes in Theoretical Computer Science 157(2)},
  YEAR = {2006}
}

@BOOK{AEF06,
  AUTHOR = {M. Alpuente, S. Escobar and M. Falaschi (eds.)},
  TITLE = {Automated Specification and Verification of Web Systems},
  BOOKTITLE = {Second International Workshop},
  PUBLISHER = {IEEE Computer Society Press},
  YEAR = {2005}
}

@ARTICLE{Lucas_ProvTermOfCSRbyTR_IC06,
  AUTHOR = {S. Lucas},
  TITLE = {Proving termination of context-sensitive rewriting by transformation},
  JOURNAL = {Information and Computation},
  VOLUME = {204},
  NUMBER = {12},
  PAGES = {1782-1846},
  YEAR = {2006}
}

@INPROCEEDINGS{AlaGutIboLuc_MUTERM_PROLE06,
  AUTHOR = {B. Alarc\'on and R. Guti\'errez and J. Iborra and S. Lucas},
  TITLE = {Proving Termination of Context-Sensitive Rewriting with MU-TERM},
  YEAR = {2007},
  BOOKTITLE = {Actas de las VI Jornadas de Programaci\'on y Lenguajes, PROLE'06},
  EDITORS = {F. Lucio and F. Orejas},
  PUBLISHER = {Elsevier Sciences Publisher},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  NOTE = {To appear}
}

@INPROCEEDINGS{AlaGutLuc_TowardsDPframeworkCSR_PROLE06,
  AUTHOR = {B. Alarc\'on and R. Guti\'errez and J. Iborra and S. Lucas},
  TITLE = {Proving Termination of Context-Sensitive Rewriting with MU-TERM},
  YEAR = {2006},
  BOOKTITLE = {Actas de las VI Jornadas de Programaci\'on y Lenguajes, PROLE'06},
  EDITORS = {F. Lucio and F. Orejas},
  PUBLISHER = {Universidad Polit\'ecnica de Catalu\~{n}a},
  PAGES = {57--66}
}

@INPROCEEDINGS{AlaGutLuc_CSDPs_FSTTCS06,
  AUTHOR = {B. Alarc\'on and R. Guti\'errez and S. Lucas},
  TITLE = {Context-Sensitive Dependency Pairs},
  YEAR = {2006},
  BOOKTITLE = {Proc. of the 26th Conference on Foundations of Software Technology
and Theoretical Computer Science},
  PUBLISHER = {Springer-Verlag, Berlin},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {297--308},
  VOLUME = 4337
}

@TECHREPORT{AlaGutLuc_ContextSensitiveDPs_TR06,
  AUTHOR = {B. Alarc\'on and R. Guti\'errez and S. Lucas},
  TITLE = {Dependency pairs for context-sensitive rewriting},
  INSTITUTION = {DSIC, Universidad Polit\'ecnica de Valencia},
  NUMBER = {DSIC-II/07/06},
  YEAR = 2006
}

@UNPUBLISHED{AlaGutLuc_ImpCSDG_ENTCS07,
  AUTHOR = {B. Alarc\'on and R. Guti\'errez and S. Lucas},
  NOTE = {Submitted for journal publication},
  TITLE = {Improving the context-sensitive dependency graph},
  YEAR = {2006}
}

@INPROCEEDINGS{AlaLuc_BuildingNETGUIs_NET06,
  AUTHOR = {B. Alarc\'on and S. Lucas},
  TITLE = {Building .NET GUIs for Haskell applications},
  YEAR = {2006},
  BOOKTITLE = {Proc. of the 4th International Conference on .NET Technologies},
  EDITORS = {V. Skala},
  PUBLISHER = {University of West-Bohemia},
  PAGES = {57--66}
}

@MASTERSTHESIS{Alarcon_HerrAvNET_PFC05,
  AUTHOR = {Alarc\'on, B.},
  TITLE = {{Desarrollo, integraci\'on y uso de herramientas avanzadas de an\'alisis de programas en .NET}},
  SCHOOL = {Facultad de Inform\'atica, Universidad Polit\'ecnica de Valencia},
  YEAR = {2005}
}

@MISC{AlpEscGraLuc_TCS05,
  AUTHOR = {M. Alpuente and S. Escobar and B. Gramlich and S. Lucas},
  TITLE = {On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy},
  YEAR = {2006},
  NOTE = {Submitted for journal publication}
}

@INPROCEEDINGS{AlpEscLuc_PROLE05,
  AUTHOR = {M. Alpuente and S. Escobar and S. Lucas},
  TITLE = {A Note on Syntactic Annotations for Narrowing},
  EDITOR = {L\'opez-Fraguas, F.J.},
  BOOKTITLE = {Proc. of the Quintas Jornadas sobre Programaci\'on y Lenguajes, PROLE'05, 2005},
  PUBLISHER = {Thomson},
  YEAR = 2005,
  PAGES = {25--30}
}

@TECHREPORT{AlaLuc_IntHaskellNET_TR05,
  AUTHOR = {Alarc\'on, B. and Lucas, S.},
  TITLE = {Integraci\'on de componentes Haskell en .NET},
  INSTITUTION = {DSIC, Universidad Polit\'ecnica de Valencia},
  NUMBER = {DSIC-II/06/05},
  YEAR = 2005
}

@ARTICLE{AlaLuc_CrossRubiconNET_EN05,
  AUTHOR = {Alarc\'on, B. and Lucas, S.},
  TITLE = {Crossing the Rubicon: from Haskell to .NET through COM},
  JOURNAL = {ERCIM News},
  VOLUME = 63,
  PAGES = {51-52},
  YEAR = {2005}
}

@ARTICLE{AlpLuc_ConnRemoteToolsSELF_EN05,
  AUTHOR = {Alpuente, M. and Lucas, S.},
  TITLE = {Connecting Remote Tools: Do it by yourSELF!},
  JOURNAL = {ERCIM News},
  VOLUME = 61,
  PAGES = {48-49},
  YEAR = {2005}
}

@ARTICLE{DuranEtAl_ProvOpTermMEqProg_HOSC07,
  AUTHOR = {F. Dur\'an and S. Lucas and C. March\'e and J. Meseguer and X. Urbain},
  TITLE = {{Proving Operational Termination of Membership Equational Programs}},
  JOURNAL = {Higher-Order and Symbolic Computation},
  YEAR = {2007},
  NOTE = {to appear}
}

@INPROCEEDINGS{EscMesTha_RTA05,
  AUTHOR = {S. Escobar and J. Meseguer and P. Thati},
  TITLE = {Natural Narrowing for General Term Rewriting Systems},
  BOOKTITLE = {Proc. of the 16th International Conference on Rewriting Techniques and Applications (RTA 2005)},
  EDITOR = {Juergen Giesl},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag, Berlin},
  VOLUME = 3467,
  YEAR = 2005,
  PAGES = {279--293}
}

@INPROCEEDINGS{EscMesTha_LOPSTR04,
  AUTHOR = {S. Escobar and J. Meseguer and P. Thati},
  TITLE = {Natural Rewriting for General Term Rewriting Systems},
  BOOKTITLE = {Proc. of the International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR 2004)},
  EDITOR = {Sandro Etalle},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag, Berlin},
  VOLUME = 3573,
  YEAR = 2005,
  PAGES = {101--116}
}

@INPROCEEDINGS{GraLuc_GenNewmanLemma_RTA06,
  AUTHOR = {B. Gramlich and S. Lucas},
  TITLE = {Generalizing Newman's Lemma for Left-Linear Rewrite Systems},
  BOOKTITLE = {Proc. of the 17th International Conference on Rewriting Techniques and Applications (RTA 2006)},
  EDITOR = {Frank Pfenning},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag, Berlin},
  VOLUME = 4098,
  YEAR = 2006,
  PAGES = {66--80}
}

@ARTICLE{Lucas_PolOverRealsTheoPrac_TIA05,
  AUTHOR = {S. Lucas},
  TITLE = {Polynomials over the reals in proofs of termination: from theory to practice},
  JOURNAL = {RAIRO Theoretical Informatics and Applications},
  VOLUME = 39,
  ISSUE = 3,
  PAGES = {547-586},
  YEAR = {2005}
}

@ARTICLE{LucMarMes_OpTermCTRSs_IPL05,
  AUTHOR = {Lucas, S. and March\'e,C.  and Meseguer, J.},
  TITLE = {Operational termination of conditional term rewriting systems},
  JOURNAL = {Information Processing Letters},
  VOLUME = 95,
  ISSUE = 4,
  PAGES = {446--453},
  YEAR = {2005}
}

@INPROCEEDINGS{LucMes_TermFairCompTRS_LPAR05,
  AUTHOR = {Lucas, S. and Meseguer, J.},
  TITLE = {Termination of Fair Computations in Term Rewriting},
  BOOKTITLE = {12th International Conference on Logic for Programming,
  Artificial intelligence and Reasoning, LPAR'05},
  YEAR = 2005,
  EDITOR = {G. Sutcliff and A. Voronkov},
  VOLUME = 3835,
  PAGES = {184--198},
  SERIES = {Lecture Notes in Artificial Intelligence},
  ADDRESS = {Montego Bay, Jamaica},
  PUBLISHER = {Springer-Verlag, Berlin}
}

@INPROCEEDINGS{Lucas_ReportUsePolyProofsTerm_PROLE05,
  AUTHOR = {S. Lucas},
  TITLE = {Report on the use of polynomials
with real and rational coefficients in proofs of termination},
  BOOKTITLE = {Proc. of the Quintas Jornadas sobre Programaci\'on y Lenguajes, PROLE'05, 2005},
  YEAR = 2005,
  EDITOR = {L\'opez-Fraguas, F.J.},
  PAGES = {105-108},
  ADDRESS = {Granada, Spain},
  PUBLISHER = {Thomson-Paraninfo, Madrid}
}

@INPROCEEDINGS{Lucas_CompletenessCondCSR_WRS05,
  AUTHOR = {S. Lucas},
  TITLE = {A note on completeness of conditional context-sensitive rewriting},
  BOOKTITLE = {5th International Workshop on Reduction Strategies in
  Rewriting and Programming, WRS'05},
  YEAR = 2005,
  EDITOR = {di Cosmo, R. and Toyama, Y.},
  PAGES = {3--15},
  ADDRESS = {Nara, Japan},
  PUBLISHER = {University of Tokyo}
}

@ARTICLE{Lucas_RewBasedNavWebSitesModLogics_WWV05,
  AUTHOR = {S. Lucas},
  TITLE = {Rewriting-Based Navigation of Web Sites: Looking for Models and Logics},
  EDITOR = {Alpuente, M. and Escobar, S. and Falaschi, M.},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  VOLUME = 157,
  ISSUE = 2,
  PAGES = {79-85},
  PUBLISHER = {Elsevier Science},
  YEAR = {2006}
}

@ARTICLE{Lucas_RelPowPoly_AAECC06,
  AUTHOR = {S. Lucas},
  TITLE = {On the relative power of polynomials with real, rational, and
integer coefficients in proofs of termination of rewriting},
  JOURNAL = {Applicable Algebra in Engineering, Communication and Computing},
  VOLUME = 17,
  ISSUE = 1,
  PAGES = {49-73},
  MONTH = {March},
  YEAR = {2006}
}

@INPROCEEDINGS{ConMarMonUrb_ProvingTermOfRewWithCiME_WST03,
  AUTHOR = {E. Contejean and C. March{\'e} and B. Monate and X. Urbain},
  TITLE = {Proving Termination of Rewriting with {C\textit{i}ME}},
  BOOKTITLE = {Proc. of the 6th International Workshop on Termination, WST'03},
  PAGES = {71-73},
  YEAR = 2003,
  URL = {http://cime.lri.fr},
  NOTE = {\url{http://cime.lri.fr}}
}

@INPROCEEDINGS{GieEtAl_AProVE_RTA04,
  AUTHOR = {J. Giesl and R. Thiemann and P. Schneider{-Kamp} and S. Falke},
  TITLE = {{AProVE}: A System for Proving Termination},
  BOOKTITLE = {Rewriting Techniques and Applications, RTA'04},
  YEAR = 2004,
  EDITOR = {V. van Oostrom},
  VOLUME = 3091,
  PAGES = {210-220},
  SERIES = {Lecture Notes in Computer Science},
  ADDRESS = {Aachen, Germany},
  PUBLISHER = {Springer-Verlag, Berlin},
  NOTE = {\url{http://www-i2.informatik.rwth-aachen.de/AProVE}}
}

@INPROCEEDINGS{HirMid_TTT_RTA05,
  AUTHOR = {N. Hirokawa and A. Middeldorp},
  TITLE = {Tyrolean Termination Tool},
  BOOKTITLE = {Rewriting Techniques and Applications, RTA'05},
  YEAR = 2005,
  EDITOR = {J. Giesl},
  VOLUME = 3467,
  PAGES = {175-184},
  SERIES = {Lecture Notes in Computer Science},
  ADDRESS = {Nara, Japan},
  PUBLISHER = {Springer-Verlag, Berlin},
  NOTE = {\url{http://cl2-informatik.uibk.ac.at}}
}

@INPROCEEDINGS{Lucas_MUTERM_RTA04,
  AUTHOR = {S. Lucas},
  TITLE = {\muterm, A Tool for Proving Termination of
                  Context-Sensitive Rewriting},
  BOOKTITLE = {Rewriting Techniques and Applications, RTA'04},
  YEAR = 2004,
  EDITOR = {V. van Oostrom},
  VOLUME = 3091,
  PAGES = {200-209},
  SERIES = {Lecture Notes in Computer Science},
  ADDRESS = {Aachen, Germany},
  PUBLISHER = {Springer-Verlag, Berlin},
  NOTE = {\url{http://www.dsic.upv.es/~slucas/csr/termination/muterm/}}
}

@ARTICLE{Lucas_CScompFuncFunLogProg_JFLP98,
  AUTHOR = {S. Lucas},
  TITLE = {Context-sensitive computations in functional and functional logic
             programs},
  JOURNAL = {Journal of Functional and Logic Programming},
  VOLUME = {1998},
  NUMBER = {1},
  YEAR = {1998},
  PUBLISHER = {The MIT Press}
}

@ARTICLE{Lucas_CSRewStrat_IC02,
  AUTHOR = {S. Lucas},
  TITLE = {Context-Sensitive Rewriting Strategies},
  JOURNAL = {Information and Computation},
  YEAR = {2002},
  VOLUME = {178},
  NUMBER = {1},
  PAGES = {294--343},
  PUBLISHER = {Academic Press}
}

@BOOK{SinHun_ServiceOrientedComputing_2005,
  AUTHOR = {M.P. Singh and M.N. Hunh},
  TITLE = {Service Oriented Computing},
  PUBLISHER = {John Wiley \& sons},
  YEAR = {2005}
}

@ARTICLE{Stal_WebServBeyondCompBasedCom_CACM02,
  AUTHOR = {M. Stal},
  TITLE = {Web services: Beyond Component-Based Computing},
  JOURNAL = {Communications of the ACM},
  YEAR = {2002},
  VOLUME = {45},
  NUMBER = {10},
  PAGES = {71-76},
  PUBLISHER = {ACM Press}
}

@BOOK{Albacete,
  EDITOR = {G\'amez, A. A. and Garc\'{\i}a-Varea, I. and J. Hern{\'a}ndez{-Orallo}},
  TITLE = {Miner\'{\i}a de {D}atos: {T}\'ecnicas y {A}plicaciones},
  PUBLISHER = {Ediciones del Departamento de Inform\'atica de la UCLM},
  YEAR = {2005}
}

@INPROCEEDINGS{ABFHLR05,
  AUTHOR = {Alapont, J. and Bella, A. and Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and Llopis, J. D. and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {Specialised {T}ools for {A}utomating {D}ata {M}ining for {H}ospital {M}anagement},
  BOOKTITLE = {Proc. First East European Conference on Health Care Modelling and Computation},
  YEAR = {2005},
  PAGES = {7--19}
}

@TECHREPORT{DFHR05,
  AUTHOR = {Dowe, D. and Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {Towards costing {L}ogic {P}rograms for {I}nductive {I}nference},
  INSTITUTION = {Departamento de Sistemas Inform\'aticos y computaci\'on, UPV},
  YEAR = {2005}
}

@INCOLLECTION{HBFR05,
  AUTHOR = {J. Hern{\'a}ndez{-Orallo} and Blanco, R. and Ferri, C. and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {Modelos en {M}iner\'{\i}a de {D}atos: interpretaci\'on, combinaci\'on y adaptaci\'on},
  BOOKTITLE = {Miner\'{\i}a de Datos: T\'ecnicas y Aplicaciones},
  PUBLISHER = {Ediciones del Departamento de Inform\'atica de la UCLM},
  YEAR = {2005},
  PAGES = {35--66}
}

@INPROCEEDINGS{BHR05a,
  AUTHOR = {Blanco, R. and
               J. Hern{\'a}ndez{-Orallo} and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {Knowledge {A}cquisition through {M}achine {L}earning: minimising expert's effort},
  BOOKTITLE = {Proceedings of 4th International Conference on Machine Learning and Applications},
  PUBLISHER = {IEEE Computer Society},
  YEAR = {2005},
  PAGES = {49--54}
}

@INPROCEEDINGS{BHR05b,
  AUTHOR = {Blanco, R. and
               J. Hern{\'a}ndez{-Orallo} and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {La t\'ecnica mim\'etica en ausencia de datos originales: aprendizaje y revisi\'on de modelos},
  BOOKTITLE = {III Taller de Miner\'{\i}a de Datos y Aprendizaje (TAMIDA 2005)},
  YEAR = {2005},
  PAGES = {213--222}
}

@ARTICLE{BHR06a,
  AUTHOR = {Blanco, R. and
               J. Hern{\'a}ndez{-Orallo} and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {La t\'ecnica mim\'etica en ausencia de datos originales: aprendizaje y revisi\'on de modelos},
  JOURNAL = {Inteligencia Artificial. Revista Iberoamericana de IA},
  VOLUME = {29},
  PAGES = {59-68},
  YEAR = {2006}
}

@INPROCEEDINGS{BFHR06,
  AUTHOR = {Blanco, R. and Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {Estimating the Class Probability Threshold without Training Data},
  BOOKTITLE = {3rd International Workshop on ROC Analysis  in Machine Learning},
  YEAR = {2006},
  PAGES = {9-16}
}

@INCOLLECTION{EFHR04,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {{Aprendizaje de \'arboles de decisi\'on basados en distancias}},
  BOOKTITLE = {Tendencias de la Miner\'{\i}a de Datos},
  PUBLISHER = {Digital 3D},
  YEAR = {2004},
  PAGES = {425--436}
}

@INPROCEEDINGS{EFHR05a,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {{A survey of (pseudo-distance) functions for structured-data}},
  BOOKTITLE = {III Taller de Miner\'{\i}a de Datos y Aprendizaje (TAMIDA 2005)},
  YEAR = {2005},
  PAGES = {233--242}
}

@INPROCEEDINGS{EFHR05b,
  AUTHOR = {Estruch, V. and Ferri, C. and J. Hern{\'a}ndez{-Orallo} and
                 {M. J.} Ram{\'\i}rez{-Quintana}},
  TITLE = {Distance {B}ased {G}eneralisation},
  BOOKTITLE = {Proceedings of 15th International Conference on Inductive Logic Programming,  ILP 2005},
  PUBLISHER = {Springer Verlag},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {3625},
  YEAR = {2005},
  PP = {87--102},
  NOTE = {Best Student Paper ILP 2005}
}

@INPROCEEDINGS{EFHR05c,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {Web {C}ategorisation {U}sing {D}istance-{B}ased {D}ecision {T}rees},
  BOOKTITLE = {Proceedings of 1st International Workshop on Automated Specification and Verification of Web Sites, WWV'05},
  EDITOR = {Alpuente, M. and Escobar, S. and Falaschi, M.},
  YEAR = {2005},
  PAGES = {77--82}
}

@ARTICLE{EFHR06d,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               {M. J.} Ram\'{\i}rez{-Quintana}},
  TITLE = {Classifying {W}eb {S}ites {U}sing {D}istance-{B}ased {D}ecision {T}rees},
  EDITOR = {Alpuente, M. and Escobar, S. and Falaschi, M.},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  PUBLISHER = {Elsevier Science},
  YEAR = {2006},
  VOLUME = {157},
  NUMBER = {2}
}

@TECHREPORT{EFHR06,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               M. J. Ram\'{\i}rez{-Quintana}},
  TITLE = {On the relationship between distance and generalisation},
  YEAR = {2006},
  INSTITUTION = {DSIC, UPV},
  NOTE = {http://www.dsic.upv.es/$\sim$flip/\#Papers}
}

@TECHREPORT{EFHR06graph,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               M. J. Ram\'{\i}rez{-Quintana}},
  TITLE = {Some results about generalisation of graphs embedded in metric spaces},
  YEAR = {2006},
  INSTITUTION = {DSIC, UPV},
  NOTE = {http://www.dsic.upv.es/$\sim$flip/\#Papers}
}

@ARTICLE{EFHR06a,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               M. J. Ram\'{\i}rez{-Quintana}},
  TITLE = {Similarity {F}unctions for {S}tructured {D}ata. {A}n application to decision trees},
  JOURNAL = {Inteligencia Artificial. Revista Iberoamericana de IA},
  VOLUME = {29},
  PAGES = {109-121},
  YEAR = {2006}
}

@INPROCEEDINGS{EFHR06b,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               M. J. Ram\'{\i}rez{-Quintana}},
  TITLE = {On the specificity of distance-based generalisation operators},
  BOOKTITLE = {Proceedings of International Workshop on Inductive Logic Programming},
  YEAR = {2006}
}

@INPROCEEDINGS{EFHR06c,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               M. J. Ram\'{\i}rez{-Quintana}},
  TITLE = {Distance-based generalisation operator for graphs},
  BOOKTITLE = {Proceedings of International Workshop on Mining and Learning with Graphs},
  PAGES = {133-140},
  YEAR = {2006}
}

@ARTICLE{EFHR07,
  AUTHOR = {Estruch, V. and
               Ferri, C. and
               J. Hern{\'a}ndez{-Orallo} and
               M. J. Ram\'{\i}rez{-Quintana}},
  TITLE = {Minimal distance-based generalisation operators for first-order objects},
  YEAR = {2007},
  JOURNAL = {Accepted for publication in Lecture Notes in Artificial Intelligence}
}

@INPROCEEDINGS{FFHS05,
  AUTHOR = {Ferri, C. and Flach, P. and J. Hern{\'a}ndez{-Orallo} and
               Senad, A.},
  TITLE = {Modifying {ROC} {C}urves to {I}ncorporate {P}redicted {P}robabilities},
  BOOKTITLE = {Proceedings of 2nd International
               Workshop on ROC Analysis in Machine Learning},
  YEAR = {2005},
  PAGES = {33--40}
}

@INPROCEEDINGS{EscMesTha-wflp06,
  AUTHOR = {S. Escobar and J. Meseguer and P. Thati},
  BOOKTITLE = {Proc. of the 15th Int'l Workshop on Functional and (Constraint) Logic Programming WFLP'06},
  EDITOR = {F. L\'opez-Fraguas},
  PUBLISHER = {Elsevier Sciences Publisher},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  TITLE = {Narrowing and Rewriting Logic: from Foundations to Applications},
  VOLUME = {to appear},
  YEAR = 2006
}

@MISC{ACEFL06,
  AUTHOR = {Alpuente, M. and Comini, M. and Escobar, S. and Falaschi},
  TITLE = {{A Compact fixpoint semantics for Term Rewriting Systems}},
  YEAR = {2006},
  NOTE = {Submitted for publication}
}

@ARTICLE{ABF05,
  AUTHOR = {M. Alpuente and D. Ballis and M. Falaschi},
  TITLE = {A {R}ewriting-based {F}ramework for {W}eb {S}ites {V}erification},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  VOLUME = {124(1)},
  PAGES = {41-61},
  PUBLISHER = {Elsevier},
  YEAR = {2005}
}

@PHDTHESIS{Bal05,
  AUTHOR = {Ballis, D.},
  TITLE = {{Rule-based Software Verification and Correction}},
  SCHOOL = {University of Udine and Technical University of Valencia},
  YEAR = {2005},
  OPTNOTE = {This PhD thesis was done under a co-operation
  agreement (\emph{cotutela}) between the two universities}
}

@ARTICLE{ABF06,
  AUTHOR = {M. Alpuente and D. Ballis and M. Falaschi},
  TITLE = {Rule-based {V}erification of {W}eb sites},
  JOURNAL = {Int'l {J}ournal on {S}oftware {T}ools for {T}echnology {T}ransfer},
  PUBLISHER = {Springer},
  VOLUME = {8},
  PAGES = {565--585},
  YEAR = {2006}
}

@TECHREPORT{ABEFOR07,
  AUTHOR = {M. Alpuente and D. Ballis and S. Escobar and M. Falaschi and P. Ojeda and D. Romero},
  TITLE = {Un motor algebraico para la verificaci\'on de sistemas {W}eb en {G}verdi},
  YEAR = {2007},
  INSTITUTION = {DSIC, UPV},
  NUMBER = {DSIC-II/02/07}
}

@MISC{ABFOR07,
  AUTHOR = {M. Alpuente and D. Ballis and M. Falaschi and P. Ojeda and D. Romero},
  TITLE = {{A Fast Algebraic Engine for Web Site Verification}},
  YEAR = {2007},
  NOTE = {Submitted for Publication}
}

@INPROCEEDINGS{BG05,
  AUTHOR = {D. Ballis and J. Garc{\'\i}a Viv{\'o}},
  TITLE = {A {R}ule-based {S}ystem for {W}eb {S}ite {V}erification},
  BOOKTITLE = {Proc.
   of 1st {I}nt'l {W}orkshop on {A}utomated {S}pecification and {V}erification of {Web} {S}ites ({WWV'05})},
  PUBLISHER = {ENTCS, Elsevier},
  YEAR = {2005},
  VOLUME = {157(2)}
}

@ARTICLE{BR07,
  AUTHOR = {D. Ballis and D. Romero},
  TITLE = {Fixing Web Sites Using Correction Strategies},
  JOURNAL = {Proc of 2nd Int'l Workshop on Automated Specification and Verification of Web Systems. Paphos, Cyprus},
  PAGES = {495--502},
  YEAR = {2006},
  PUBLISHER = {IEEE {C}omputer {S}ociety {P}ress, to appear}
}

@ARTICLE{BR07b,
  AUTHOR = {D. Ballis and D. Romero},
  TITLE = {Filtering of {XML} Documents},
  JOURNAL = {Proc of 2nd Int'l Workshop on Automated Specification and Verification of Web Systems. Paphos, Cyprus},
  PAGES = {503--009},
  YEAR = {2006},
  PUBLISHER = {IEEE {C}omputer {S}ociety {P}ress, to appear}
}

@INPROCEEDINGS{ABFR06,
  AUTHOR = {M. Alpuente and D. Ballis and M. Falaschi and D. Romero},
  TITLE = {{A} {S}emi-automatic {M}ethodology for {R}eparing {F}aulty {W}eb {S}ites},
  BOOKTITLE = {Proc. of the 4th {IEEE} {I}nt'l {C}onference on
 {S}oftware {E}ngineering and {F}ormal {M}ethods({SEFM}'06). Pune, India},
  PAGES = {31--40},
  PUBLISHER = {IEEE {C}omputer {S}ociety {P}ress},
  YEAR = {2006}
}

@INPROCEEDINGS{ABFR06b,
  AUTHOR = {M. Alpuente and D. Ballis and M. Falaschi and D. Romero},
  TITLE = {{GVERDI-R} {A} {T}ool for {R}epairing {F}aulty {W}eb {S}ites},
  BOOKTITLE = {Proc. {VI} {J}ornadas sobre {P}rogramaci\'on y {L}enguajes ({PROLE'06}). Sitges, Spain},
  PUBLISHER = {{CIMNE} Barcelona},
  PAGES = {221--230},
  YEAR = {2006}
}

@MISC{Ojeda06,
  AUTHOR = {P. Ojeda},
  TITLE = {Verificaci\'on autom\'atica de sistemas {W}eb usando {M}aude},
  SCHOOL = {Universidad Polit\'ecnica de Valencia},
  YEAR = {2006},
  NOTE = {BSc Thesis, DSIC-UPV}
}

@INCOLLECTION{AFV05,
  AUTHOR = {Alpuente, M. and Falaschi, M. and Villanueva, A.},
  TITLE = {{A Symbolic Model Checker for tccp programs}},
  BOOKTITLE = {Selected papers of 1st International Workshop on Rapid Integration of Software Engineering Techniques},
  PAGES = {45--56},
  PUBLISHER = {Springer-Verlag},
  YEAR = {2005},
  EDITOR = {Guelfi, N.},
  VOLUME = {3475},
  SERIES = {Lecture Notes in Computer Science}
}

@INPROCEEDINGS{AGPV05a,
  AUTHOR = {Alpuente, M. and Gallardo, M. M. and Pimentel, E. and Villanueva, A.},
  TITLE = {{Abstract Model Checking of tccp programs}},
  BOOKTITLE = {Proceedings of the Second Workshop on Quantitative Aspects of Programming},
  PAGES = {19--36},
  YEAR = {2005},
  EDITOR = {Cerone, A. and Pierro, A. di},
  VOLUME = {112},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  PUBLISHER = {Elsevier Science}
}

@INPROCEEDINGS{AGPV05c,
  AUTHOR = {Alpuente, M. and Gallardo, M. M. and Pimentel, E. and Villanueva, A.},
  TITLE = {{Verifying Real-Time Properties of tccp Programs}},
  BOOKTITLE = {Proc. of the Quintas Jornadas sobre Programaci\'on y Lenguajes, PROLE'05, 2005},
  EDITOR = {L\'opez-Fraguas, F.J.},
  PAGES = {85--94},
  YEAR = {2005}
}

@ARTICLE{AGPV06,
  AUTHOR = {M. Alpuente and M.M. Gallardo and E. Pimentel and A. Villanueva},
  TITLE = {{Verifying Real-Time Properties of tccp Programs}},
  JOURNAL = {The Jounal of Universal Computer Science},
  VOLUME = {12},
  NUMBER = {11},
  PAGES = {1551-1573},
  YEAR = {2006}
}

@INPROCEEDINGS{AGPV05d,
  AUTHOR = {Alpuente, M. and Gallardo, M. M. and Pimentel, E. and Villanueva, A.},
  TITLE = {{A Semantic Framework for the Abstract Model Checking of tccp programs (extended abstract)}},
  BOOKTITLE = {Proc. of the Quintas Jornadas sobre Programaci\'on y Lenguajes, PROLE'05, 2005},
  EDITOR = {L\'opez-Fraguas, F.J.},
  PAGES = {97--100},
  YEAR = {2005}
}

@INPROCEEDINGS{AGV06b,
  AUTHOR = {Alpuente, M. and Gramlich, B. and Villanueva, A.},
  TITLE = {{A Framework for Timed Concurrent Constraint Programming with Arithmetic Computations}},
  EDITOR = {Lucio, F. and Orejas, F.},
  BOOKTITLE = {Actas de las VI Jornadas de Programaci\'on y Lenguajes (PROLE'06)},
  PUBLISHER = {Elsevier Sciences Publisher},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  NOTE = {To appear},
  YEAR = {2007}
}

@INPROCEEDINGS{AGV06,
  AUTHOR = {Alpuente, M. and Gramlich, B. and Villanueva, A.},
  TITLE = {{Timed Concurrent Constraint Programming with Instantaneous Computations}},
  EDITOR = {Lucio, F. and Orejas, F.},
  BOOKTITLE = {Actas de las VI Jornadas de Programaci\'on y Lenguajes (PROLE'06)},
  PAGES = {253--262},
  YEAR = {2006}
}

@ARTICLE{AEL06,
  AUTHOR = {Alpuente, M. and Escobar, S. and Lucas, S.},
  TITLE = {{Removing Redundant Arguments Automatically}},
  JOURNAL = {Theory and Practice of Logic Programming},
  VOLUME = 7,
  NUMBER = 1,
  PAGES = {1--33},
  YEAR = {2007}
}

@ARTICLE{EscMeaMes06,
  AUTHOR = {Santiago Escobar and Catherine Meadows and Jos\'{e} Meseguer},
  TITLE = {A Rewriting-Based Inference System for the {NRL Protocol Analyzer}
              and its Meta-Logical Properties},
  JOURNAL = {Theoretical Computer Science},
  VOLUME = 367,
  NUMBER = {1-2},
  PAGES = {162--202},
  PUBLISHER = {Elsevier},
  YEAR = {2006}
}

@INPROCEEDINGS{escobar-meadows-meseguer-secret06,
  AUTHOR = {Santiago Escobar and Catherine Meadows and Jos\'{e} Meseguer},
  TITLE = {Equational Cryptographic Reasoning in the {Maude-NRL Protocol Analyzer}},
  YEAR = {2006},
  BOOKTITLE = {Proc. of the First International Workshop on Security and Rewriting Techniques (SecReT 2006)},
  PUBLISHER = {Elsevier Sciences Publisher},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  NOTE = {To appear}
}

@INPROCEEDINGS{escobar-meadows-meseguer-midwest06,
  AUTHOR = {Santiago Escobar and Catherine Meadows and Jos\'{e} Meseguer},
  TITLE = {The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning},
  YEAR = {2006},
  BOOKTITLE = {Proc. of Midwest Security Workshop (MSW'2006), Urbana, IL, USA},
  PUBLISHER = {University of Illinois at Urbana-Champaign}
}

@INPROCEEDINGS{escobar-meadows-meseguer-prole06,
  AUTHOR = {Santiago Escobar and Catherine Meadows and Jos\'{e} Meseguer},
  TITLE = {The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning},
  YEAR = {2006},
  BOOKTITLE = {Actas de las VI Jornadas de Programaci\'on y Lenguajes, PROLE'06},
  EDITORS = {Actas de las VI Jornadas de Programaci\'on y Lenguajes, PROLE'06},
  PUBLISHER = {Universidad Polit\'ecnica de Catalu\~{n}a}
}

@INPROCEEDINGS{EscMeaMes05,
  AUTHOR = {Escobar, S. and Meadows, C. and Meseguer, J.},
  TITLE = {{A Rewriting-Based Inference System for the NRL Protocol Analyzer:
Grammar Generation}},
  BOOKTITLE = {Proceedings of 3rd ACM Workshop on Formal Methods in Security
Engineering: From Specifications to Code (FMSE'05)},
  PAGES = {1--12},
  YEAR = 2005,
  PUBLISHER = {ACM Press}
}

@TECHREPORT{GM04a,
  AUTHOR = {S. González and G. Moreno},
  TITLE = {{C}ombining {C}omposition and {T}upling for {O}ptimizing
 {D}eclarative {P}rograms},
  PAGES = {9},
  NUMBER = {DIAB-04-03-1},
  INSTITUTION = {Departamento de Informática, Universidad de Castilla-La Mancha},
  MONTH = {Marzo},
  YEAR = 2004,
  NOTE = {Accesible en  URL:
          {\tt http://www.info-ab.uclm.es/personal/gmoreno/gmoreno.htm}}
}

@TECHREPORT{GM04b,
  AUTHOR = {S. González and G. Moreno},
  TITLE = {{I}ncremental {T}upling with {S}implification {P}re-Process},
  NUMBER = {DIAB-04-05-1},
  PAGES = {18},
  INSTITUTION = {Departamento de Informática, Universidad de Castilla-La Mancha},
  MONTH = {Mayo},
  YEAR = 2004,
  NOTE = {Accesible en  URL:
          {\tt http://www.info-ab.uclm.es/personal/gmoreno/gmoreno.htm}}
}

@INPROCEEDINGS{GM04c,
  AUTHOR = {S. González and G. Moreno},
  TITLE = {{I}ntegrated {T}ransformation {S}trategies for
     {I}ntegrated {D}eclarative {P}rograms},
  BOOKTITLE = {Proc.\ of IV Jornadas sobre Programaci\'on y Lenguajes,
PROLE'2004.  M\'alaga, Spain, November 11-12},
  EDITOR = {Salvador Lucas},
  PAGES = {255-258},
  PUBLISHER = {University of M\'alaga},
  YEAR = 2004
}

@INPROCEEDINGS{GM04d,
  AUTHOR = {S. González and G. Moreno},
  TITLE = {{I}mproved {T}upling for {O}ptimizing {M}ulti-{P}aradigm
 {D}eclarative {P}rograms},
  BOOKTITLE = {Proc.\ of the 9th Ibero--American Conference
on Artificial Intelligence, IBERAMIA'2004. Puebla, México, November 22-26},
  EDITOR = {C. Lemaitre and C.A. Reyes and J.A. González},
  PAGES = {419-429},
  PUBLISHER = {Springer LNAI 3315},
  YEAR = 2004
}

@ARTICLE{AFMV04,
  AUTHOR = {M. Alpuente and M. Falaschi and G. Moreno and G. Vidal},
  TITLE = {{Rules + Strategies for Transforming Lazy Functional Logic Programs}},
  JOURNAL = {Theoretical Computer Science, Elsevier},
  VOLUME = {311},
  NUMBER = {1-3},
  PAGES = {479-525},
  MONTH = {Jan.},
  YEAR = {2004}
}

@INPROCEEDINGS{JMP04ISDA,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {{U}nfolding {F}uzzy {L}ogic {P}rograms},
  BOOKTITLE = {Proc. of the Fourth International Conference on
Intelligent Systems Design and Applications, ISDA'04 (Sponsored by
IEEE). Budapest (Hungary), August 26-28},
  PAGES = {595-600},
  YEAR = {2004}
}

@INPROCEEDINGS{JMP04PROLE,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {{U}nfolding-{b}ased {I}mprovements on  {F}uzzy {L}ogic {P}rograms},
  BOOKTITLE = {Proc.\ of IV Jornadas sobre Programaci\'on y Lenguajes, PROLE'2004,
  M\'alaga, Spain, November 11-12},
  EDITOR = {Salvador Lucas},
  PAGES = {241-254},
  PUBLISHER = {University of M\'alaga},
  YEAR = 2004
}

@TECHREPORT{JMP04tr,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {{U}nfolding {F}uzzy {L}ogic {P}rograms},
  YEAR = {2004},
  PAGES = {15},
  INSTITUTION = {Departamento de Informática, Universidad de Castilla-La Mancha},
  MONTH = {Marzo},
  NUMBER = {DIAB-04-03-2},
  NOTE = {Accesible en   URL:
       {\tt http://www.info-ab.uclm.es/\~{}personal/gmoreno/gmoreno.htm}}
}

@INPROCEEDINGS{DJ05,
  AUTHOR = {Alberto Dom\'{\i}nguez and P. Juli\'an},
  TITLE = {Incompleteness of program transformers to inductively sequential term rewriting systems},
  BOOKTITLE = {Proc.\ of V Jornadas sobre Programaci\'on y Lenguajes, PROLE'2005,
  Granada, Spain, September 14-16},
  EDITOR = {F. L\'opez-Fraguas},
  PAGES = {249-258},
  PUBLISHER = {University of Granada},
  YEAR = 2005
}

@INPROCEEDINGS{JMP05ENTCS,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {{U}nfolding-{b}ased {I}mprovements on  {F}uzzy {L}ogic {P}rograms},
  BOOKTITLE = {Electronic Notes in Theoretical Computer Science},
  VOLUME = {137},
  ISSUE = {1},
  PAGES = {69-103},
  PUBLISHER = {Elsevier},
  EDITOR = {Salvador Lucas},
  YEAR = {2005}
}

@ARTICLE{JMP05FSS,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = { {O}n {F}uzzy {U}nfolding. {A} {M}ulti-{A}djoint {A}pproach},
  YEAR = {2005},
  PAGES = {16-33},
  VOLUME = {154},
  JOURNAL = {Fuzzy Sets and Systems, Elsevier}
}

@INPROCEEDINGS{JMP05PROLE,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {{O}perational/{I}nterpretive {U}nfolding of {M}ulti-adjoint {L}ogic {P}rograms},
  BOOKTITLE = {Proc.\ of V Jornadas sobre Programaci\'on y Lenguajes, PROLE'2005,
  Granada, Spain, September 14-16},
  EDITOR = {F. L\'opez-Fraguas},
  PAGES = {239-248},
  PUBLISHER = {University of Granada},
  YEAR = 2005
}

@INPROCEEDINGS{MP05a,
  AUTHOR = {G. Moreno and V. Pascual},
  TITLE = {{F}unctional {L}ogic {P}rogramming with {S}imilarity},
  BOOKTITLE = {Proc.\ of V Jornadas sobre Programaci\'on y Lenguajes,
PROLE'2005.  Granada, Spain, September 14-16},
  EDITOR = {F. Lopez-Fraguas},
  PAGES = {121--126},
  PUBLISHER = {University of Granada},
  YEAR = 2005
}

@INPROCEEDINGS{MP05b,
  AUTHOR = {G. Moreno and V. Pascual},
  TITLE = {{P}rogramming with {F}uzzy {L}ogic
  and {M}athematical {F}unctions},
  BOOKTITLE = {Proc.\ of the 6th International Conference on Fuzzy
 Logic and Applications,  WILF'2005. Crema, Italy, September 15-17, 2005},
  EDITOR = {I. Bloch and A. Petrosino and A. Tettamanzi},
  PAGES = {89--98},
  PUBLISHER = {Springer LNAI 3849},
  NOTE = {An extended version has been submitted to the journal:
 {\em Fuzzy Sets and Systems}},
  YEAR = 2006
}

@TECHREPORT{MP05c,
  AUTHOR = {G. Moreno and V. Pascual},
  TITLE = {{D}esigning {D}eclarative {L}anguages with
 {L}aziness and {F}uzziness},
  NUMBER = {DIAB-05-11-1},
  PAGES = {15},
  INSTITUTION = {Departamento de Informática, Universidad de Castilla-La Mancha},
  MONTH = {Noviembre},
  YEAR = 2005,
  NOTE = {Accesible en  URL:
          {\tt http://www.info-ab.uclm.es/personal/gmoreno/gmoreno.htm}}
}

@INPROCEEDINGS{JMP06CMPI,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {{E}valuaci\'on {P}arcial de {P}rogramas {L}\'ogicos {M}ulti-adjuntos y {A}plicaciones},
  BOOKTITLE = {Proc.\ of Campus Multidisciplinar en Percepci\'on e Inteligencia, CMPI-2006,
 Albacete, Spain, July 10-14},
  EDITOR = {A. Fern\'andez},
  PAGES = {712-724},
  PUBLISHER = {Universidad de  Castilla-La Mancha},
  NOTE = {An extended version has been submitted to the journal:
 {\em Fuzzy Sets and Systems}},
  YEAR = 2006
}

@ARTICLE{JMP06JUCS,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {{O}perational/{I}nterpretive {U}nfolding of {M}ulti-adjoint {L}ogic {P}rograms},
  PAGES = {1679-1699},
  VOLUME = {12},
  ISSUE = {11},
  JOURNAL = {Journal of Universal Computer Science},
  NOTE = {Extended version of \cite{JMP05PROLE}},
  YEAR = {2006}
}

@INPROCEEDINGS{JMP06PROLE,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {{E}fficient {R}eductants {C}alculi using {P}artial
  {E}valuation {T}echniques with {T}hresholding},
  BOOKTITLE = {Actas de las  VI Jornadas sobre Programaci\'on y Lenguajes, PROLE'2006,
  Sitges, Spain, Octubre 10-12},
  EDITOR = {P. Lucio},
  PAGES = {275-289},
  PUBLISHER = {Universidad Polit\'ecnica de Barcelona},
  YEAR = 2006
}

@INPROCEEDINGS{JR06RASC,
  AUTHOR = {P. Juli{\'a}n-Iranzo and C. Rubio-Manzano},
  TITLE = {Introducing Fuzzy Unification into the Warren Abstract Machine},
  BOOKTITLE = {In Proc. of  the 6th International Conference on Recent Advances
in Soft Computing, RASC'2006.  Canterbury, UK, July 10-12},
  EDITOR = {K. Sirlantzis},
  PAGES = {36-41},
  PUBLISHER = {University of Kent},
  YEAR = 2006
}

@INPROCEEDINGS{JR06ASC,
  AUTHOR = {P. Juli{\'a}n-Iranzo and C. Rubio-Manzano},
  TITLE = {A WAM Implementation for Flexible Query Answering},
  BOOKTITLE = {In Proc. of  the 10th IASTED International Conference on Artificial
Intelligence and Soft Computing (ASC 2006), August 28-30, 2006, Palma de Mallorca},
  EDITOR = {A.P. del Pobil},
  PAGES = {262-267},
  PUBLISHER = {ACTA Press},
  YEAR = 2006
}

@INPROCEEDINGS{Mor06,
  AUTHOR = {G. Moreno},
  TITLE = {{B}uilding a {F}uzzy {T}ransformation {S}ystem},
  BOOKTITLE = {Proc.\ of the 32nd Conference on Current Trends in
 Theory and Practice of Computer Science, SOFSEM'2006. Merin, Czech Republic,
 January 21-27},
  EDITOR = {J. Wiedermann and G. Tel and J. Pokorný
 and M. Bieliková and J. Stuller},
  PAGES = {409--418},
  PUBLISHER = {Springer LNCS 3831},
  YEAR = {2006}
}

@INPROCEEDINGS{MP06CMPI,
  AUTHOR = {G. Moreno and V. Pascual},
  TITLE = {{P}rogramando con {I}gualdad {S}imilar {E}stricta},
  BOOKTITLE = {Proc.\ of Campus Multidisciplinar en Percepci\'on e Inteligencia, CMPI-2006,
 Albacete, Spain, July 10-14},
  EDITOR = {A. Fern\'andez},
  PAGES = {712-724},
  PUBLISHER = {Universidad de  Castilla-La Mancha},
  NOTE = {An extended version has been submitted to the journal:
 {\em Applied Soft Computing}},
  YEAR = 2006
}

@INPROCEEDINGS{MP06PROLE,
  AUTHOR = {G. Moreno and V. Pascual},
  TITLE = {{F}ormal {P}roperties of {N}eeded {N}arrowing
 with {S}imilarity {R}elations},
  BOOKTITLE = {Actas de las  VI Jornadas sobre Programaci\'on y Lenguajes, PROLE'2006,
  Sitges, Spain, Octubre 10-12},
  EDITOR = {P. Lucio},
  PAGES = {114-128},
  PUBLISHER = {Universidad Polit\'ecnica de Barcelona},
  YEAR = 2006
}

@INPROCEEDINGS{MP06RASC,
  AUTHOR = {G. Moreno and V. Pascual},
  TITLE = {{S}oft {C}omputing with {S}trict {S}imilar {E}quality},
  BOOKTITLE = {6th International Conference on
Recent   Advances in   Soft   Computing, RASC'2006.
Canterbury, UK, July 10-12},
  EDITOR = {K. Sirlantzis},
  PAGES = {24-29},
  PUBLISHER = {University of Kent},
  YEAR = 2006
}

@INPROCEEDINGS{JMP07ENTCS,
  AUTHOR = {P. Juli\'an and G. Moreno and J. Penabad},
  TITLE = {Efficient Reductants Calculi using Partial
  Evaluation Techniques with Thresholding},
  BOOKTITLE = {Electronic Notes in Theoretical Computer Science},
  VOLUME = {},
  ISSUE = {15},
  PAGES = {69-103},
  PUBLISHER = {Elsevier},
  EDITOR = {P. Lucio},
  NOTE = {Extended version of \cite{JMP06PROLE}},
  YEAR = {2007}
}

@INPROCEEDINGS{MP07ENTCS,
  AUTHOR = {G. Moreno and V. Pascual},
  TITLE = {{F}ormal {P}roperties of {N}eeded {N}arrowing
 with {S}imilarity {R}elations},
  BOOKTITLE = {Electronic Notes in Theoretical Computer Science},
  VOLUME = {},
  ISSUE = {15},
  PAGES = {15},
  PUBLISHER = {Elsevier},
  EDITOR = {P. Lucio},
  NOTE = {Extended version of \cite{MP06PROLE}},
  YEAR = {2007}
}

@INPROCEEDINGS{tfp07,
  AUTHOR = {M.~Montenegro and R.~Pe{~n}a and C.~Segura},
  TITLE = {{An Inference Algorithm for Guaranteeing Safe Destruction}},
  BOOKTITLE = {Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP'07},
  PAGES = {to appear},
  YEAR = {2007}
}

@INPROCEEDINGS{ifl04,
  AUTHOR = {R.~Peña and C.~Segura},
  TITLE = {{A First-Order Functional Language for Reasoning about Heap Consumption}},
  BOOKTITLE = {Proceedings of the 16th International Workshop on Implementation of Functional Languages, IFL'04. Technical Report 0408, Institut f{\"u}r Informatik und Praktische Mathematik, Christian-Albrechts-Universit{\"{a}}t zu Kiel},
  PAGES = {64-80},
  YEAR = {2004}
}

@INPROCEEDINGS{prole04mem,
  AUTHOR = {R.~Peña and C.~Segura},
  TITLE = {{A First-Order Functional Language for Reasoning about Heap Consumption}},
  BOOKTITLE = {Actas de las IV Jornadas de Programación y Lenguajes, PROLE'04},
  PAGES = {153-162},
  YEAR = {2004}
}

@INPROCEEDINGS{prole05,
  AUTHOR = {R.~Peña and C.~Segura},
  TITLE = {{A Sharing Analysis Guaranteeing Safe Destruction in a First-Order Functional Language}},
  BOOKTITLE = {Actas de las V Jornadas de Programación y Lenguajes, PROLE'05},
  PAGES = {3--12},
  PUBLISHER = {Thomson-Paraninfo},
  YEAR = {2005}
}

@INPROCEEDINGS{prole06,
  AUTHOR = {R.~Peña and C.~Segura},
  TITLE = {{Formally deriving a compiler for {SAFE}}},
  BOOKTITLE = {Actas de las VI Jornadas de Programación y Lenguajes, PROLE'06},
  PAGES = {65--76},
  PUBLISHER = {CIMNE},
  YEAR = {2006}
}

@INPROCEEDINGS{tfp06,
  AUTHOR = {R.~Peña and C.~Segura and M.~Montenegro},
  TITLE = {{A Sharing Analysis for SAFE}},
  BOOKTITLE = {Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP'06},
  PAGES = {205--221},
  YEAR = {2006}
}

@INPROCEEDINGS{ifl06,
  AUTHOR = {R.~Peña and C.~Segura},
  TITLE = {{Formally Deriving a Compiler for SAFE}},
  BOOKTITLE = {Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06. Technical Report 2006-S01.Eotvos Lor\'and University},
  PAGES = {429--446},
  YEAR = {2006}
}

@INPROCEEDINGS{PSM07,
  AUTHOR = {R.~Peña and C.~Segura and M.~Montenegro},
  TITLE = {{A Sharing Analysis for SAFE}},
  BOOKTITLE = {Trends in Functional Programming (Volume 7) Selected Papers of the Seventh Symposium on Trends in Functional Programming, TFP'06. 20 pages. To appear},
  PUBLISHER = {Intellect},
  YEAR = {2007}
}


This file has been generated by bibtex2html 1.79