@mastersthesis{ip:2008:tfc,
author = {{Iván} {Pérez}},
title = {Formalización de gramáticas paramétricas independientes de contexto e implementación en MTP (Formalization of Parametric Context Free Grammar and Its Implementation in MTP)},
school = {Universidad Polité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ática, Universidad Politécnica de
Madrid},
year = 2008,
internacional = {yes},
note = {Advisor: Julio Mariño Carballo, Calificación:
Notable}
}
@mastersthesis{hannes-mt,
author = {Hannes Strasse},
title = {Fuzzy reasoning via Logic Programming},
school = {Facultad de Informática, Universidad Politécnica de
Madrid},
year = 2008,
internacional = {yes},
note = {Advisor: Susana Mu{\~n}oz Hern{\'a}ndez, Calificación:
Sobresaliente cum laude}
}
@mastersthesis{yu-mt,
author = {Miao Yu},
title = {Translation of Erlang Programs for Model Checking},
school = {Facultad de Informática, Universidad Politécnica de
Madrid},
year = 2008,
internacional = {yes},
note = {Advisor: Lars-Ake Fredlund, Calificació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ón de reglas
de codificació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,
address = {MANDRIVA S.A., 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ón COST
ic0701 sobre el lenguaje de definición de reglas de
codificació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í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í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 = {V{\'i}ctor {Pablos-Ceruelo} and Susana {Muñoz-Hernández} and Hannes Strass},
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 = {https://babel.ls.fi.upm.es/software/rfuzzy/},
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}
}
@inproceedings{susana:2008:thin_client_CUCD,
tipoactividad = {Ponencias en congresos},
internacional = {yes},
author = {Jesús Martinez and Iván Pérez and Susana {Muñoz-Hernández}
and Daniel Lancho},
title = {Thin Client Technology in the Academic Environment},
revisores = {yes},
booktitle = {IV Congreso Universidad y Cooperación al Desarrollo},
year = 2008,
address = {Barcelona, España},
month = {November}
}
@inproceedings{susana:2008:c_d_learning_CUCD,
tipoactividad = {Ponencias en congresos},
internacional = {yes},
author = { Francisco Escudero and Susana {Muñoz-Hernández}
and David Pérez and Ferná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ón al Desarrollo},
optpages = {},
year = {2008},
opteditor = {},
optvolume = {},
optnumber = {},
optseries = {},
address = {Barcelona, Españ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ículos en revistas},
internacional = {no},
author = {Manuel {Freire Morán} and Julio Mariño},
title = {Voto Útil},
journal = {Novática},
issn = {0211-2124},
year = 2008,
number = {193},
volume = {1},
pages = {74},
month = {May-June}
}
@article{marinno:martin:2008:novatica:luces,
tipoactividad = {Artículos en revistas},
internacional = {no},
author = {Julio Mariño and {Óscar} {Martín Sánchez}},
title = {Las luces de la escalera},
journal = {Nová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ño and Manuel Carro and {Ángel}
Herranz and Lars-{\AA}ke Fredlund and Juan José
{Moreno-Navarro} and {Á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ón y Lenguajes, {PROLE} 2008},
pages = {245--249},
address = {Gijón, Spain},
editor = {Jesús M. {Almendros Jiménez} and María José {Suá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ño and {Á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 {Ángel} Herranz and Juan Jos{\'e} {Moreno-Navarro}
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án Pérez and {Ángel} Herranz and Susana {Muñoz-Hernández}
and Juan José {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ógica descriptiva a través
de una ontología.},
pages = {135-146},
address = {Gijó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ía Pérez} and {Álvaro} {García Pérez}},
title = {La afinación de la flauta tradicional de tres agujeros},
booktitle = {VII Congreso de la Sociedad Española de Musicología},
year = {2008},
address = {Cáceres, España},
month = nov,
publisher = {Sociedad Española de Musicología}
}
@incollection{gabbay:lamcna,
tipoactividad = {Capí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í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í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í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í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é {Moreno-Navarro}},
title = {Bialgebra Views: {A} Way for Polytypic Programming to
Cohabit with Data Abstraction},
isbn = {978-1-60558-060-9},
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://babel.ls.fi.upm.es/~pablo/Papers/bi-views.pdf}
}
@inproceedings{ejga:unif08,
tipoactividad = {Ponencias en congresos},
internacional = {yes},
revisores = {yes},
author = {Emilio Jesús {Gallego Arias} and James Lipton and Julio
Mariñ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},
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.95.