@comment{{Al final apareció en 2018}}
@comment{{2015}}
@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.