@mastersthesis{ip:2008:tfc,
  author = {P{\'{e}}rez, Iv{\'{a}}n},
  title = {Formalizaci{\'{o}}n de gram{\'{a}}ticas param{\'{e}}tricas independientes de contexto e implementaci{\'{o}}n en MTP (Formalization of Parametric Context Free Grammar and Its Implementation in MTP)},
  school = {Universidad Polit{\'{e}}cnica de Madrid},
  year = {2008},
  note = {To obtain the Computer Science Engineer degree.}
}
@mastersthesis{guimaraes-mt,
  author = {Daniel {Guimaraes Santos}},
  title = {Distributed implementation of functional logic
                  programming},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
                  Madrid},
  year = 2008,
  internacional = {yes},
  note = {Advisor: Julio Mari{\~{n}}o Carballo, Calificaci{\'{o}}n:
                  Notable}
}
@mastersthesis{hannes-mt,
  author = {Hannes Strasse},
  title = {Fuzzy reasoning via Logic Programming},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
                  Madrid},
  year = 2008,
  internacional = {yes},
  note = {Advisor: Susana Mu{\~n}oz Hern{\'a}ndez, Calificaci{\'{o}}n:
                  Sobresaliente cum laude}
}
@mastersthesis{yu-mt,
  author = {Miao Yu},
  title = {Translation of Erlang Programs for Model Checking},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
                  Madrid},
  year = 2008,
  internacional = {yes},
  note = {Advisor: Lars-Ake Fredlund, Calificaci{\'{o}}n:
                  Sobresaliente cum laude}
}
@inproceedings{crisp_tutorial_08,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Guillem Marpons},
  title = {Tutorial: {GGCC} Coding Rules with {CRISP}},
  descripcion = {Tutorial sobre el lenguaje de definici{\'{o}}n de reglas
                  de codificaci{\'{o}}n CRISP, impartido a todos los socios
                  industriales del proyecto Global GCC.},
  pdf = {http://www.ggcc.info/files/CRISPtutorial20080910.pdf},
  booktitle = {Global GCC Project Seminar},
  year = 2008,
  organization = {MANDRIVA S.A.},
  address = {43 rue d'Aboukir, 75002 Paris, France},
  month = {September 10}
}
@inproceedings{crisp_action_cost,
  tipoactividad = {Conferencias invitadas en congresos},
  internacional = {yes},
  author = {Guillem Marpons},
  title = {Checking Coding Rules in {OO} Languages Using {CRISP}},
  descripcion = {Charla impartida a los miembros de la acci{\'{o}}n COST
                  ic0701 sobre el lenguaje de definici{\'{o}}n de reglas de
                  codificaci{\'{o}}n CRISP.},
  pdf = {http://babel.ls.fi.upm.es/~gmarpons/pubs/COSTaction08CRISPpresentation.pdf},
  booktitle = {COST Action IC0701 2nd Meeting},
  year = 2008,
  address = {Madrid, Spain},
  month = {December}
}
@inproceedings{HLcsl08,
  tipoactividad = {Ponencias en congresos},
  author = {Olivier Hermant and James Lipton},
  title = {A constructive semantic approach to cut elimination in type
                  theories with axioms},
  booktitle = {Computer Science Logic},
  year = {2008},
  pages = {169-183},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5213},
  isbn = {978-3-540-87530-7}
}
@incollection{KrizLip,
  tipoactividad = {Cap{\'{i}}tulos de libros},
  author = {Danny Krizanc and James Lipton},
  title = {Formal Treatment of Secure Protocols},
  booktitle = {Aspects of Network and Information Security},
  editor = {Evangelos Kranakis and Evgueni Haroutunian and Elisa
                  Shahbazian},
  publisher = {IOS Press},
  year = 2008,
  pages = {74--91},
  isbn = {978-1-58603-856-4}
}
@incollection{HermantLipton,
  tipoactividad = {Cap{\'{i}}tulos de libros},
  author = {Olivier Hermant and James Lipton},
  booktitle = {Reasoning in Simple Type Theory. Festschrift in
                  Honor of Peter B. Andrews on His 70th Birthday},
  title = {Cut Elimination in the Intuitionistic Theory of
                  Types with Axioms and Rewriting Cuts,
                  Constructively},
  publisher = {College Publications},
  year = 2008,
  month = {December 1},
  series = {Studies in Logic. Mathematical Logic and
                  Foundations},
  volume = {17},
  editor = {C. E. Benzm{\"u}ller and C. E. Brown and J. Siekmann
                  and R. Statman},
  isbn = {978-1-904987-70-3}
}
@inproceedings{victor:susana:2008:wlpe,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  author = {Pablos-Ceruelo, V{\'{i}}ctor and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Strass, Hannes},
  title = {RFuzzy framework},
  abstract = {Fuzzy reasoning is a very productive research field that
                  during the last years has provided a number of theoretical
                  approaches and practical implementation
                  prototypes. Nevertheless, the classical implementations,
                  like Fril, are not adapted to the latest formal approaches,
                  like multi-adjoint logic semantics.  Some promising
                  implementations, like Fuzzy Prolog, are so general that the
                  regular user/programmer does not feel comfortable because
                  either representation of fuzzy concepts is complex or the
                  results difficult to interpret.  In this paper we present a
                  modern framework, RFuzzy, that is modelling multi-adjoint
                  logic. It provides some extensions as default values (to
                  represent missing information, even partial default values)
                  and typed variables. RFuzzy represents the truth value of
                  predicates through facts, rules and functions.  RFuzzy
                  answers queries with direct results (instead of constraints)
                  and it is easy to use for any person that wants to represent
                  a problem using fuzzy reasoning in a simple way (by using
                  the classical representation with real numbers).},
  revisores = {yes},
  booktitle = {18th Workshop on Logic-based methods in Programming
                  Environments, {WLPE} 2008},
  pages = {62--76},
  url = {http://arxiv.org/pdf/0903.2188v1},
  year = 2008,
  editor = {Puri Arenas and Damiano Zanardini},
  address = {Udine, Italy},
  month = {December},
  pdf = {http://arxiv.org/pdf/0903.2188v1},
  postscript = {http://arxiv.org/ps/0903.2188v1},
  ee = {http://arxiv.org/abs/0903.2188},
  volume = {abs/0903.2188}
}
@inproceedings{susana:2008:thin_client_CUCD,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  author = {Jes{\'{u}}s Martinez and Iv{\'{a}}n P{\'{e}}rez and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana
                       and Daniel Lancho},
  title = {Thin Client Technology in the Academic Environment},
  revisores = {yes},
  booktitle = {IV Congreso Universidad y Cooperaci{\'{o}}n al Desarrollo},
  year = 2008,
  address = {Barcelona, Espa{\~{n}}a},
  month = {November}
}
@inproceedings{susana:2008:c_d_learning_CUCD,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  author = { Francisco Escudero and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana
                        and David P{\'{e}}rez and Fern{\'{a}}ndo Suarez},
  title = {c{\&}d-learning: b-learning eficiente adaptado a paises en
                  desarrollo con bajos recursos},
  revisores = {yes},
  optdescripcion = {},
  optisbn = {},
  optcrossref = {},
  optkey = {},
  booktitle = {IV Congreso Universidad y Cooperaci{\'{o}}n al Desarrollo},
  optpages = {},
  year = {2008},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Barcelona, Espa{\~{n}}a},
  month = {November},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {}
}
@inproceedings{benac_fredlund:Mochart08,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  author = {Clara {Benac Earle} and Lars-{\AA}ke Fredlund and J. Iglesias and
                  A. Ledezma},
  title = {Verifying Robocup Teams},
  revisores = {yes},
  optdescripcion = {},
  optisbn = {},
  optcrossref = {},
  optkey = {},
  booktitle = {In Proceedings of the 2008 workshop on Model Checking and
                  Artificial Intelligence (MochART)},
  optpages = {},
  year = {2008},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {},
  month = {July},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {}
}
@article{freire:marinno:2008:novatica:voto,
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {no},
  author = {Manuel {Freire Mor{\'{a}}n} and Julio Mari{\~{n}}o},
  title = {Voto {\'{U}}til},
  journal = {Nov{\'{a}}tica},
  issn = {0211-2124},
  year = 2008,
  number = {193},
  volume = {1},
  pages = {74},
  month = {May-June}
}
@article{marinno:martin:2008:novatica:luces,
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {no},
  author = {Julio Mari{\~{n}}o and {{\'{O}}scar} {Mart{\'{i}}n S{\'{a}}nchez}},
  title = {Las luces de la escalera},
  journal = {Nov{\'{a}}tica},
  issn = {0211-2124},
  year = 2008,
  number = {191},
  volume = {1},
  pages = {72--74},
  month = {January-February}
}
@inproceedings{marpons08:_codin_rule_confor_check_integ_into_gcc,
  tipoactividad = {Ponencias en congresos},
  internacional = {no},
  revisores = {yes},
  author = {Guillem Marpons and Julio Mari{\~{n}}o and Manuel Carro and {{\'{A}}ngel}
                  Herranz and Lars-{\AA}ke Fredlund and Juan Jos{\'{e}}
                  {Moreno-Navarro} and {{\'{A}}lvaro} Polo},
  title = {A Coding Rule Conformance Checker Integrated into {GCC}},
  abstract = { Coding rules are often used in industry for codifying
                  software best practices and avoiding the many hazardous
                  constructions present in languages such as C or
                  C++. Predictable and customisable tools are needed to
                  automatically measure adherence to these practices.  Many of
                  the properties about software needed for rule conformance
                  analysis are calculated by modern compilers.  We present an
                  extension of the GNU Compiler Collection (GCC) that flags
                  those code fragments that do not conform to a given set of
                  rules. The user can define coding rules using a high-level
                  declarative language based on logic programming.  },
  booktitle = {VIII Jornadas sobre Programaci{\'{o}}n y Lenguajes, {PROLE} 2008},
  pages = {245--249},
  address = {Gij{\'{o}}n, Spain},
  editor = {Jes{\'{u}}s M. {Almendros Jim{\'{e}}nez} and Mar{\'{i}}a Jos{\'{e}} {Su{\'{a}}rez-Cabal}},
  month = {October 7--10},
  year = 2008,
  isbn = {978-84-612-5819-2},
  pdf = {http://babel.ls.fi.upm.es/~gmarpons/pubs/PROLE08Codingrules.pdf}
}
@inproceedings{marpons08:_addin_codin_rule_check_capab,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  revisores = {yes},
  author = {Guillem Marpons and Julio Mari{\~{n}}o and {{\'{A}}lvaro} Polo},
  title = {Adding Coding Rule Checking Capabilities to the {GCC}
                  Toolchain},
  abstract = {Coding rules, which codify software best practices by
                  constraining the set of ``admissible'' programs, are often
                  used in industry to increase program reliability and
                  maintainability. We present a tool that seamlessly
                  integrates coding rule checking capabilities into the main
                  development work-flow. In the proposed framework, the
                  necessary source code features are extracted from the GCC
                  compilation process. In this way, both compiler
                  infrastructure and compilation stages can be reused. The
                  coding rules themselves are defined using a high-level
                  declarative language.  },
  booktitle = {Proceedings of the {GCC} Developers' Summit 2008},
  address = {Ottawa, Canada},
  month = {June 17--19},
  year = 2008,
  editor = {Andrew J. Hutton and C. Craig Ross and John W. Lockhart},
  pages = {43--54},
  pdf = {http://ols.fedoraproject.org/GCC/Reprints-2008/marpons-reprint.pdf}
}
@inproceedings{marpons08:_autom_codin_rule_confor_check,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  revisores = {yes},
  title = {Automatic Coding Rule Conformance Checking Using Logic
                  Programming},
  author = {Guillem Marpons and Julio {Mari{\~n}o-Carballo} and Manuel
                  Carro and {{\'{A}}ngel} Herranz and Moreno-Navarro, Juan Jos{\'e}
                  and Lars-{\AA}ke Fredlund},
  abstract = {An extended practice in the realm of Software Engineering
                  and programming in industry is the application of
                  \emph{coding rules}. Coding rules are customarily used to
                  constrain the use (or abuse) of certain programming language
                  constructions.  However, these rules are usually written
                  using natural language, which is intrinsically ambiguous and
                  which may complicate their use and hinder their automatic
                  enforcement.  This paper presents some early work aiming at
                  defining a framework to formalise and check for coding rule
                  conformance using logic programming.  We show how a certain
                  class of rules -- \emph{structural} rules -- can be
                  reformulated as logic programs, which provides both a
                  framework for formal specification and also for automatic
                  conformance checking using a Prolog engine.  Some examples
                  of rules belonging to actual, third-party coding rule sets
                  are discussed, along with the corresponding Prolog code.
                  Experimental data regarding the practicality and impact of
                  their application to real-life software projects is
                  presented and discussed.  },
  booktitle = {Practical Aspects of Declarative Languages, 10th
                  International Symposium, {PADL} 2008},
  publisher = {Springer},
  year = 2008,
  month = {January 7--8},
  address = {San Francisco {CA}, {USA}},
  volume = 4902,
  editor = {Paul Hudak and David Scott Warren},
  isbn = {978-3-540-77441-9},
  pages = {18--34},
  series = {Lecture Notes in Computer Science},
  url = {http://dx.doi.org/10.1007/978-3-540-77442-6_3}
}
@inproceedings{pehemumo:2008:mmr,
  tipoactividad = {Ponencias en congresos},
  internacional = {no},
  revisores = {yes},
  author = {Iv{\'{a}}n P{\'{e}}rez and {{\'{A}}ngel} Herranz and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana
                  and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Modelling Mash-Up Resources},
  booktitle = {13th Conference on Software Engineering and
                  Databases, JISBD'08},
  descripcion = {Modelo formal para representar mash-ups y los
                  componentes que lo forman. El modelo formal se
                  ofrece en axiomas de la l{\'{o}}gica descriptiva a trav{\'{e}}s
                  de una ontolog{\'{i}}a.},
  pages = {135-146},
  address = {Gij{\'{o}}n, Spain},
  month = {October 7--10},
  year = 2008,
  isbn = {978-84-612-5820-8},
  pdf = {http://babel.ls.fi.upm.es/~angel/papers/2008jisbd-finalcopy.pdf}
}
@inproceedings{garcia:2008:aftta,
  tipoactividad = {Ponencias en congresos},
  internacional = {no},
  author = {Amaya {Garc{\'{i}}a-P{\'{e}}rez} and {{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
  title = {La afinaci{\'{o}}n de la flauta tradicional de tres agujeros},
  booktitle = {VII Congreso de la Sociedad Espa{\~{n}}ola de Musicolog{\'{i}}a},
  year = {2008},
  address = {C{\'{a}}ceres, Espa{\~{n}}a},
  month = nov,
  publisher = {Sociedad Espa{\~{n}}ola de Musicolog{\'{i}}a}
}
@incollection{gabbay:lamcna,
  tipoactividad = {Cap{\'{i}}tulos de libros},
  author = {Murdoch J. Gabbay and Aad Mathijssen},
  booktitle = {Reasoning in Simple Type Theory. Festschrift in
                  Honor of Peter B. Andrews on His 70th Birthday},
  title = {The lambda-calculus is nominal algebraic},
  publisher = {College Publications},
  year = 2008,
  month = {December 1},
  series = {Studies in Logic. Mathematical Logic and
                  Foundations},
  volume = {17},
  editor = {C. E. Benzm{\"u}ller and C. E. Brown and J. Siekmann
                  and R. Statman},
  isbn = {978-1-904987-70-3},
  url = {http://www.gabbay.org.uk/papers/lamcna.pdf}
}
@article{gabbay:capasn-jv,
  tipoactividad = {Art{\'{i}}culos en revistas},
  author = {Murdoch J. Gabbay and Aad Mathijssen},
  title = {Capture-Avoiding Substitution as a Nominal Algebra},
  year = {2008},
  ee = {http://dx.doi.org/10.1007/11921240_14},
  journal = {Formal Aspects of Computing},
  month = {January},
  pages = {451-479},
  volume = {20},
  number = {4-5},
  publisher = {Springer},
  url = {http://www.gabbay.org.uk/papers/capasn-jv.pdf},
  issn = {0934-5043}
}
@article{gabbay:oneaah-jv,
  tipoactividad = {Art{\'{i}}culos en revistas},
  author = {Murdoch J. Gabbay and Aad Mathijssen},
  title = {One-and-a-halfth-order Logic (journal version)},
  journal = {Journal of Logic and Computation},
  month = {November},
  year = {2008},
  volume = {18},
  number = {4},
  pages = {521-562},
  url = {http://www.gabbay.org.uk/papers/oneaah-jv.pdf},
  issn = {0955-792X}
}
@article{gabbay:lamcc,
  tipoactividad = {Art{\'{i}}culos en revistas},
  author = {Murdoch J. Gabbay and St\'{e}phane Lengrand},
  title = {The lambda-context calculus},
  journal = {ENTCS},
  volume = {196},
  year = {2008},
  issn = {1571-0661},
  pages = {19--35},
  doi = {http://dx.doi.org/10.1016/j.entcs.2007.09.015},
  publisher = {Elsevier},
  url = {http://www.gabbay.org.uk/papers/lamcc.pdf}
}
@article{gabbay:alwa-jv,
  tipoactividad = {Art{\'{i}}culos en revistas},
  author = {Gabbay, Murdoch J. and Gabbay, Michael J.},
  title = {{a}-logic with arrows (journal version)},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {216},
  pages = {3-29},
  booktitle = {Proceedings of WFLP'07},
  year = {2008},
  url = {http://www.gabbay.org.uk/papers/alwa-jv.pdf},
  issn = {1571-0661}
}
@inproceedings{gabbay:subfmf,
  alttipoactividad = {Conferencias en congresos},
  internacional = {yes},
  revisores = {yes},
  author = {Murdoch J. Gabbay and Michael Gabbay},
  title = {Substitution for {F}raenkel-{M}ostowski foundations},
  booktitle = {Proceedings of the 2008 AISB Symposium on Computing and
                  Philosophy},
  year = {2008},
  url = {http://www.gabbay.org.uk/papers/subfmf-aisb.pdf},
  pages = {65-72}
}
@inproceedings{gabbay:curhid,
  tipoactividad = {Conferencias en congresos},
  internacional = {yes},
  revisores = {yes},
  author = {Murdoch J. Gabbay and Dominic P. Mulligan},
  title = {One-and-a-halfth Order Terms: {Curry-Howard} for
                  Incomplete Derivations},
  editor = {Wilfrid Hodges and Ruy J. G. B. de Queiroz},
  booktitle = {Proceedings of Workshop on Logic, Language and
                  Information in Computation ({WoLLIC 2008})},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {5110},
  pages = {179--193},
  year = {2008},
  url = {http://www.gabbay.org.uk/papers/curhid.pdf},
  isbn = {978-3540699361}
}
@inproceedings{gabbay:nomrs,
  tipoactividad = {Conferencias en congresos},
  internacional = {yes},
  revisores = {yes},
  author = {Murdoch J. Gabbay and Martin Hofmann},
  title = {Nominal renaming sets},
  url = {http://www.gabbay.org.uk/papers/nomrs.pdf},
  booktitle = {LPAR'08},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5330},
  year = {2008},
  isbn = {978-3-540-89438-4},
  pages = {158-173}
}
@inproceedings{pni:wgp08:biviews,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  revisores = {yes},
  author = {Pablo Nogueira and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Bialgebra Views: {A} Way for Polytypic Programming to
                  Cohabit with Data Abstraction},
  isbn = {978-1-60558-060-9},
  doi = {10.1145/1411318.1411327},
  booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} Workshop on Generic
                  Programming - {ICFP-WGP}'08},
  pages = {61-73},
  year = 2008,
  address = {Victoria (BC), Canada},
  month = {September 20},
  publisher = {ACM Press},
  editor = {Ralf Hinze and Don Syme},
  abstract = {Polytypic programming and data abstraction are important
                  concepts in designing functional programs, but they do not
                  fit well together. Polytypic programming currently depends
                  on making public a free data type representation, while data
                  abstraction depends on hiding the representation.  This
                  paper proposes the bialgebra views mechanism as a means of
                  reconciling this conflict. Bialgebra views enable the
                  specification of type structure according to interfaces, not
                  representations, thus combining the genericity of polytypic
                  programming with the information hiding of data abstraction,
                  and narrowing the gap between generic programming in the
                  functional and object-oriented paradigms},
  pdf = {http://doi.acm.org/10.1145/1411318.1411327}
}
@inproceedings{ejga:unif08,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  revisores = {yes},
  author = {Emilio Jes{\'{u}}s {Gallego Arias} and James Lipton and Julio
                  Mari{\~{n}}o and Pablo Nogueira},
  title = {First-order Unification Using Variable-free Relational
                  Algebra},
  booktitle = {Proceedings of the 22nd International Workshop on
                  Unification - {UNIF}'08},
  editor = {Mircea Marin},
  publisher = {RISC-Linz},
  series = {Report Series 08-11},
  year = 2008,
  address = {Hagenberg, Austria},
  month = {July 18},
  abstract = {We propose a new unification algorithm in the CET+OC+DC
                  theory using the variable-free relational calculus,
                  formalism in which first order logic programs are
                  represented and executed.  In this context, two terms are
                  unifiable when their relational representations have a
                  nonempty intersection. For this purpose a rewriting system
                  for computing normal forms of those intersections has been
                  defined from a standard theory of relations extended with an
                  axiomatization of functorial term-formers. For this system,
                  we characterize normal forms and prove confluence and
                  termination of rewriting, thus resulting in a decision
                  procedure.  Substitution gets replaced by intersection
                  propagation, term clashes are captured with a simple
                  rewriting system and occurs check translates to
                  compatibility of term sequences.  The presented system
                  suggests some interesting results, such as the posibility of
                  developing a new rewriting technique and the algebraic
                  formalization of all the meta-logical concepts involved in
                  unification},
  opturl = {left out on purpose}
}

This file was generated by bibtex2html 1.98.