@unpublished{2009:Strass:susana:vpablos,
  author = {Strass, Hannes and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Pablos-Ceruelo, V{\'{i}}ctor},
  title = {Multi-adjoint Fuzzy Logic Programming with Defaults and Constructive Answers},
  year = {2009},
  url = {http://babel.ls.fi.upm.es/software/rfuzzy/rfuzzy-semantics.pdf},
  note = {(unpublished)}
}
@inproceedings{Martinez_CSEDU2009,
  author = {Mart\'inez-Mateo, Jes\'us and {Mu{\~{n}}oz-Hern{\'{a}}ndez}, Susana
                  and P\'erez-Rey, David},
  title = {{c{\&}d-learning Implementation Architecture: Adapting
                  e-learning to Developing Countries}},
  booktitle = {First International Conference on Computer Supported
                  Education (CSEDU)},
  year = {2009},
  volume = {1},
  pages = {89-96},
  month = {March}
}
@article{gabbay:nomuae,
  title = {Nominal universal algebra: equational logic with
                  names and binding},
  author = {Murdoch J. Gabbay and Aad Mathijssen},
  journal = {Journal of Logic and Computation},
  issn = {0955-792X},
  volume = {19},
  number = {6},
  month = {December},
  year = {2009},
  pages = {1455-1508},
  doi = {http://logcom.oxfordjournals.org/cgi/content/abstract/19/6/1455}
}
@article{gabbay:lamcce,
  author = {Murdoch J. Gabbay and St{\'e}phane Lengrand},
  title = {The lambda-context calculus (extended version)},
  journal = {Information and Computation},
  editor = {Mariangiola Dezani-Ciancaglini},
  issn = {0890-5401},
  publisher = {Elsevier},
  doi = {http://dx.doi.org/10.1016/j.ic.2009.06.004},
  year = {2009},
  month = {December},
  issue = {12},
  volume = {207},
  pages = {1369-1400}
}
@article{gabbay:nomahs,
  tipoactividad = {Art{\'{i}}culos en revistas},
  author = {Murdoch J. Gabbay},
  title = {Nominal Algebra and the {HSP} Theorem},
  journal = {Journal of Logic and Computation},
  issn = {0955-792X},
  year = {2009},
  pages = {341--367},
  volume = {19},
  number = {2}
}
@article{gabbay:stusun,
  author = {Murdoch J. Gabbay},
  title = {A study of substitution, using nominal techniques
                  and {F}raenkel-{M}ostowski sets},
  journal = {Theoretical Computer Science},
  volume = {410},
  number = {12-13},
  year = {2009},
  issn = {0304-3975},
  pages = {1159--1189},
  doi = {http://dx.doi.org/10.1016/j.tcs.2008.11.013},
  publisher = {Elsevier}
}
@inproceedings{gabbay:tersl,
  title = {Term sequent logic},
  author = {Michael Gabbay and Murdoch J. Gabbay},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {246},
  month = {August},
  year = {2009},
  issn = {1571-0661},
  pages = {87-106},
  booktitle = {Proceedings of the 17th International Workshop on
                  Functional and (Constraint) Logic Programming (WFLP
                  2008)},
  doi = {http://dx.doi.org/10.1016/j.entcs.2009.07.017}
}
@inproceedings{gabbay:twollc,
  title = {Two-level lambda-calculus},
  author = {Murdoch J. Gabbay and Dominic P. Mulligan},
  volume = {246},
  pages = {107--129},
  booktitle = {Proceedings of the 17th International Workshop on
                  Functional and (Constraint) Logic Programming (WFLP
                  2008)},
  year = {2009},
  month = {August},
  journal = {Electronic Notes in Theoretical Computer Science},
  issn = {1571-0661},
  doi = {http://dx.doi.org/10.1016/j.entcs.2009.07.018}
}
@inproceedings{gabbay:unialt,
  title = {Universal algebra over lambda-terms and nominal
                  terms: the connection in logic between nominal
                  techniques and higher-order variables},
  author = {Murdoch J. Gabbay and Dominic Mulligan},
  booktitle = {ACM International Conference Proceeding Series,
                  Proceedings of the Fourth International Workshop on
                  Logical Frameworks and Meta-Languages: Theory and
                  Practice (LFMTP'09)},
  isbn = {978-1-60558-529-1},
  pages = {64-73},
  year = {2009},
  doi = {http://doi.acm.org/10.1145/1577824.1577835}
}
@article{gabbay:nomalc,
  author = {Murdoch J. Gabbay and Aad Mathijssen},
  title = {A nominal axiomatisation of the lambda-calculus},
  year = 2009,
  journal = {Journal of Logic and Computation},
  issn = {0955-792X},
  note = {Advance access (published online September 2009)},
  doi = {http://logcom.oxfordjournals.org/cgi/content/abstract/exp049v1}
}
@inproceedings{gabbay:perntu,
  title = {Permissive Nominal Terms and their Unification},
  author = {Gilles Dowek and Murdoch J. Gabbay and Dominic
                  P. Mulligan},
  booktitle = {Proceedings of the 24th Italian Conference on
                  Computational Logic (CILC'09)},
  year = {2009}
}
@article{susana:novatica:2009-2,
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {yes},
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Jes{\'{u}}s {Mart{\'{i}}nez-Mateo}},
  title = {An Opportunity for Libre Software Companies:
                  Emerging Market in Developing Countries},
  journal = {The European Journal for the Informatics
                  Professional},
  issn = {1684-5285},
  year = 2009,
  number = {3},
  volume = {X},
  pages = {51-53},
  month = {June}
}
@article{susana:novatica:2009,
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {no},
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Jes{\'{u}}s
                  {Mart{\'{i}}nez-Mateo}},
  title = {Una Oportunidad para las empresas de Software Libre:
                  mercado emergente en los paises en v{\'{i}}as de
                  desarrollo},
  journal = {Nov{\'{a}}tica},
  issn = {0211-2124},
  year = 2009,
  number = {199},
  volume = {1},
  pages = {44-46},
  month = {May-June}
}
@mastersthesis{bagas_OSGi,
  author = {Rahmat Bagas Santoso},
  title = {Distributed OSGi: service and semantic exposition},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
                  Madrid},
  year = 2009,
  month = sep,
  internacional = {yes},
  note = {Advisor: Lars-Ake Fredlund, Calificaci{\'{o}}n:
                  Sobresaliente cum laude}
}
@unpublished{agp-oxford1,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
  title = {Evaluation of the $\lambda$-calculus. Generic
                  Evaluators},
  note = {Talk at the Algebra of Programming Group meeting},
  descripcion = {Different evaluation orders for the untyped
                  lambda-calculus exists (call-by-value, call-by-name,
                  normal order, applicative order...), reflecting the
                  nuances in the evaluation of a system which serves
                  as the foundation of functional programming
                  languages.  In this talk, I will introdue a generic
                  evaluator (written in Haskell) which can be
                  instantiated to any evaluator realising a particular
                  evaluation order. For this purpose, I will recall
                  some notions of the untyped lambda-calculus, give an
                  algebraic data type representing lambda-terms,
                  present the big-step semantics of the evaluation
                  orders using natural deduction rules, implement them
                  (using CPS following Reynolds' advice and showing
                  alternative solutions in Haskell), show how monads
                  can help to write neater code, present a way to
                  hybridate existing evaluation orders to produce new
                  ones, comment about an absortion theorem regarding
                  hybridation and describe something I call the
                  "beta-cube".  },
  url = {http://wiki.comlab.ox.ac.uk/algprog/},
  organization = {Oxford University Computing Laboratory, {UK}},
  month = {October 23},
  year = {2009}
}
@unpublished{agp-oxford2,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
  title = {A Functional Correspondence between Parametric
                  Evaluators and which Abstract Machines?},
  note = {Talk at the Algebra of Programming Group meeting},
  descripcion = {In this talk a novel parametric evaluator for the
                  pure lambda calculus is presented, discussing the
                  issues regarding the semantics of the implementing
                  language, which gets in the way when defining the
                  semantics of the object language. Following previous
                  work by Danvy, the possibility of deriving an
                  abstract machine from this generic evaluator is
                  considered.},
  url = {http://wiki.comlab.ox.ac.uk/algprog/FrontPage?action=AttachFile{\&}do=get{\&}target=alvaro_garcia_20090612.pdf},
  organization = {Oxford University Computing Laboratory, {UK}},
  month = {June 6},
  year = {2009}
}
@unpublished{agp-oxford3,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
  title = {A Functional Approach to the Observer Pattern},
  note = {Talk at the Algebra of Programming Group meeting},
  descripcion = {In this talk I will present an implementation of the
                  Observer pattern in Haskell. The pattern enforces
                  decoupling of the subject management and the
                  updating strategies in an environemnt where
                  propagating changes occur. A new functional
                  structure is shown rather than a direct translation
                  from OO. Related work (arrows, reactive programming,
                  etc.) is discussed, and a test case using Gtkhs is
                  presented.},
  url = {http://wiki.comlab.ox.ac.uk/algprog/FrontPage?action=AttachFile{\&}do=get{\&}target=alvaro_garcia_20090529.pdf},
  organization = {Oxford University Computing Laboratory, {UK}},
  month = {May 29},
  year = {2009}
}
@inproceedings{conf/eurocast/EarleF09,
  title = {Debugging and Verification of Multi-Agent Systems},
  author = {Clara Benac Earle and Lars-{\AA}ke Fredlund},
  bibdate = {2009-10-09},
  bibsource = {DBLP,
                  http://dblp.uni-trier.de/db/conf/eurocast/eurocast2009.html#EarleF09},
  booktitle = {Computer Aided Systems Theory - {EUROCAST} 2009,
                  12th International Conference, Las Palmas de Gran
                  Canaria, Spain, February 15-20, 2009, Revised
                  Selected Papers},
  publisher = {Springer},
  year = {2009},
  volume = {5717},
  editor = {Roberto Moreno-D{\'i}az and Franz Pichler and Alexis
                  Quesada-Arencibia},
  isbn = {978-3-642-04771-8},
  pages = {263--270},
  series = {Lecture Notes in Computer Science},
  url = {http://dx.doi.org/10.1007/978-3-642-04772-5}
}
@mastersthesis{vpablos:2009:intneg-wfs,
  author = {Pablos-Ceruelo, V{\'{i}}ctor},
  title = {Negative non-ground queries in Well Founded
                  Semantics},
  school = {Faculdade de Ci{\^{e}}ncias e Tecnologia da Universidade
                  Nova de Lisboa},
  year = 2009,
  month = oct,
  day = {22},
  note = {Advisor: Jos{\'{e}} J{\'{u}}lio Alves Alferes, Calificaci{\'{o}}n:
                  Notable},
  internacional = {yes},
  url = {http://www.emcl-study.eu/graduates.html},
  pdf = {http://babel.ls.fi.upm.es/~vpablos/others/research/emcl/thesis.pdf}
}
@inproceedings{DBLP:conf/eusflat/StrassMC09,
  author = {Strass, Hannes and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Pablos-Ceruelo, V{\'{i}}ctor},
  title = {Operational Semantics for a Fuzzy Logic Programming System
               with Defaults and Constructive Answers},
  booktitle = {IFSA/EUSFLAT Conf.},
  year = {2009},
  pages = {1827-1832},
  pdf = {http://www.eusflat.org/publications/proceedings/IFSA-EUSFLAT_2009/pdf/tema_1827.pdf},
  crossref = {DBLP:conf/eusflat/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Liris-4497,
  title = {{Pattern-based OWL Ontology Debugging Guidelines}},
  author = {Oscar {Corcho} and Catherine {Roussey} and Luis Manuel
    {Vilches Bl{\'{a}}zquez} and P{\'{e}}rez, Iv{\'{a}}n},
  year = {2009},
  month = oct,
  booktitle = {Workshop on Ontology Patterns (WOP 2009), collocated with
    the 8th International Semantic Web Conference (ISWC-2009).},
  series = {CEUR Workshop proceedings},
  pages = {68--82},
  editor = {Eva Blomqvist and Kurt Sandkuhl and Francois Scharffe and Vojtech
    Svatek.},
  issn = {1613-0073},
  language = {en},
  url = {http://liris.cnrs.fr/publis/?id=4497},
  note = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-516/},
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  revisores = {yes},
  abstract = {Debugging inconsistent OWL ontologies is a tedious and
                  time-consuming task where a combination of ontology
                  engineers and domain experts is often required to understand
                  whether the changes to be performed are actually dealing
                  with formalisation errors or changing the intended meaning
                  of the original knowledge model. Debugging services from
                  existing ontology engineering tools and debugging strategies
                  available in the literature aid in this task. However, in
                  complex cases they are still far from providing adequate
                  support to ontology developers, due to their lack of eciency
                  or precision when explaining the main causes for
                  unsatisfiable classes, together with little support for
                  proposing solutions for them. We claim that it is possible
                  to provide additional support to ontology developers, based
                  on the identification of common antipatterns and a debugging
                  strategy, which can be combined with the use of existing
                  tools in order to make this task more effective.}
}
@inproceedings{ipoc:2009:wop,
  title = {{Pattern Definitions and Semantically Annotated Instances}},
  author = {P{\'{e}}rez, Iv{\'{a}}n and Oscar {Corcho}},
  year = {2009},
  month = oct,
  booktitle = {Workshop on Ontology Patterns (WOP 2009), collocated with
    the 8th International Semantic Web Conference (ISWC-2009)},
  series = {CEUR Workshop proceedings},
  pages = {131--138},
  editor = {Eva Blomqvist and Kurt Sandkuhl and Francois Scharffe and Vojtech Svatek},
  issn = {1613-0073},
  language = {en},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-516/},
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  revisores = {yes},
  abstract = {Ontology design patterns are normally instantiated by replicating
                  and adapting the pattern concepts and roles. The relation
                  between pattern definitions and their instantiations is
                  documented in natural language. The use of parametric
                  ontologies or pattern-reuse modifications to OWL-DL has been
                  suggested before, but so far only practical aspects have been
                  analysed, leaving the formal semantics of these extensions as
                  future work. In this work we present formal definitions for
                  ontology pattern and pattern instantiations, together with
                  the semantics of instantiation. We propose the use of
                  semantic annotations to describe and generate OWL pattern
                  instantiations, without the need for explicit ontology
                  replication, and provide tools to support this process.}
}
@mastersthesis{ip:2009:ezweb,
  author = {P{\'{e}}rez, Iv{\'{a}}n},
  title = {Gadget composition and automatic discovery in
                  {EzWeb}},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
                  Madrid},
  year = 2009,
  month = sep,
  note = {Advisor: Susana Mu{\~n}oz-Hern{\'a}ndez,
                  Calificaci{\'{o}}n: Notable},
  internacional = {yes}
}
@inproceedings{benac_fredlund:JISBD09,
  tipoactividad = {Ponencias en congresos},
  internacional = {no},
  revisores = {no},
  author = {Clara {Benac Earle} and Lars-{\AA}ke Fredlund},
  title = {Rigorous Software Development Using McErlang},
  booktitle = {14th Conference on Software Engineering and
                  Databases, JISBD'09},
  pages = {335-338},
  address = {San Sebasti{\'{a}}n, Spain},
  month = {September 8--11},
  year = 2009,
  isbn = {978-84-692-4211-7}
}
@proceedings{benac_thompson:Erlang09,
  tipoactividad = {Libros},
  internacional = {yes},
  editor = {S. Thompson and Clara {Benac Earle}},
  booktitle = {Proceedings of the 2009 ACM SIGPLAN Erlang Workshop},
  title = {Proceedings of the 2009 ACM SIGPLAN Erlang Workshop},
  year = 2009,
  month = sep,
  abstract = {Proceedings of the 2009 ACM SIGPLAN Erlang Workshop.},
  editorial = {ACM Press},
  isbn = {978-1-60558-507-9}
}
@inproceedings{EW09,
  author = {Clara {Benac Earle} and Lars-{\AA}ke Fredlund},
  title = {Recent Improvements to the McErlang Model Checker},
  booktitle = {ACM Sigplan International Erlang Workshop},
  year = {2009},
  address = {Edinburgh, UK},
  pages = {93-100},
  crossref = {benac_thompson:Erlang09},
  abstract = {In this paper we describe a number of recent
                  improvements to the McErlang model checker,
                  including a new source to source translation to
                  enable more Erlang programs to work under McErlang,
                  a methodology for writing properties that can be
                  verified by McErlang, and a combination of
                  simulation and model checking. The latter two
                  features are illustrated by means of the messenger
                  example found in the documentation of the Erlang/OTP
                  distribution.},
  isbn = {978-1-60558-507-9},
  pdf = {http://portal.acm.org/citation.cfm?id=1596613}
}
@article{DBLP:journals_entcs_Marpons-UceroMCHFMP09,
  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}},
  journal = {ENTCS},
  volume = 248,
  year = 2009,
  month = {August 5},
  pages = {149-159},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.07.065},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {yes},
  abstract = {Coding rules are often used in industry to foster best
                  practices when coding software and to avoid the many
                  hazardous constructions present in languages such as
                  C or C++. Predictable, reliable tools are needed to
                  automatically measure adherence to these practices,
                  as manually checking for compliance is
                  cumbersome. Moreover, due to the wide range of
                  possible coding rule sets, easy of customization is
                  a need in order for these tools to be of practical
                  use. With this aim in mind, we present an extension
                  of the GNU Compiler Collection (GCC) that flags
                  those code fragments that do not conform to coding
                  rules belonging to a given set. These sets of coding
                  rules can be defined using a high-level declarative
                  language based on logic programming, thereby making
                  it possible to easily check code for conformance
                  with respect to rules addressing the particular
                  needs of a project, company, or application area.},
  issn = {1571-0661}
}
@inproceedings{hemacamo:2009:mcssr,
  author = {{{\'{A}}ngel} Herranz and
               Julio Mari{\~{n}}o and
               Manuel Carro and
               Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Modeling Concurrent Systems with Shared Resources},
  booktitle = {Formal Methods for Industrial Critical Systems, 14th International
               Workshop, FMICS 2009, Eindhoven, The Netherlands,
                  November 2-3, 2009. Proceedings},
  pages = {102-116},
  series = {Lecture Notes in Computer Science},
  volume = {5825},
  year = {2009},
  isbn = {978-3-642-04569-1},
  issn = {0302-9743},
  url = {http://www.springerlink.com/content/b83m037648436667/},
  pdf = {http://www.springerlink.com/content/b83m037648436667/fulltext.pdf},
  abstract = {Testing is the more widely used approach to (partial)
                  system validation in industry. The introduction of
                  concurrency makes exhaustive testing extremely
                  costly or just impossible, requiring shifting to
                  formal verification techniques. We propose a
                  methodology to design and verify a concurrent system
                  that splits the verification problem in two
                  independent tasks: internal verification of shared
                  resources, where some concurrency aspects like
                  mutual exclusion and conditional synchronisation are
                  isolated, and external verification of processes,
                  where synchronisation mechanisms are not
                  relevant. Our method is language independent,
                  non-intrusive for the development process, and
                  improves the portability of the resulting system. We
                  demonstrate it by actually checking several
                  properties of an example application using the TLC
                  model checker.}
}
@article{benac_fredlundMochart08,
  author = {Clara {Benac Earle} and Lars-{\AA}ke Fredlund and J. Iglesias and
                  A. Ledezma},
  title = {Verifying Robocup Teams},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {5348/2009},
  pages = {34-48},
  booktitle = { Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers},
  issn = {0302-9743},
  isbn = {978-3-642-00430-8},
  year = {2009}
}
@inproceedings{DBLP:conf/iwann/Munoz-HernandezCS09,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Pablos-Ceruelo, V{\'{i}}ctor and Strass, Hannes},
  title = {RFuzzy: An Expressive Simple Fuzzy Compiler},
  booktitle = {IWANN (1)},
  year = {2009},
  pages = {270-277},
  doi = {http://dx.doi.org/10.1007/978-3-642-02478-8_34},
  crossref = {DBLP:conf/iwann/2009-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{5156427,
  title = {RFuzzy---A framework for multi-adjoint Fuzzy Logic Programming},
  author = {Pablos-Ceruelo, V{\'{i}}ctor and Strass, Hannes and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  booktitle = {Fuzzy Information Processing Society, 2009. NAFIPS
                  2009. Annual Meeting of the North American Fuzzy
                  Information Processing Society Annual Conference},
  year = {2009},
  month = {June},
  day = {14 - 17},
  pages = {1-6},
  abstract = {Fuzzy Logic Programming aims at combining the
                  advantages of Logic Programming (such as
                  readability, conciseness, and a formally
                  well-defined semantics) with the advantages of Fuzzy
                  Logic (representability of imprecise and uncertain
                  knowledge).},
  address = {Cincinnati, Ohio, USA},
  doi = {10.1109/NAFIPS.2009.5156427},
  isbn = {978-1-4244-4575-2},
  pdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp={\&}arnumber=5156427}
}
@article{journals/tcs/AmatoLM09,
  tipoactividad = {Art{\'{i}}culos en revistas},
  revisores = {yes},
  internacional = {yes},
  title = {On the Algebraic Structure of Declarative
                  Programming Languages},
  author = {Gianluca Amato and James Lipton and Robert McGrail},
  journal = {Theoretical Computer Science},
  year = 2009,
  number = 46,
  volume = 410,
  bibdate = {2009-12-29},
  bibsource = {DBLP,
                  http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#AmatoLM09},
  pages = {4626--4671},
  issn = {0304-3975},
  url = {http://dx.doi.org/10.1016/j.tcs.2009.07.038}
}
@article{ngc2009,
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {yes},
  author = {Julio Mari{\~{n}}o and Moreno-Navarro, Juan Jos{\'e} and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Implementing Constructive Intensional Negation},
  pages = {25-56},
  journal = {New Generation Computing},
  issn = {0288-3635},
  year = {2009},
  volume = {27},
  number = {1},
  month = {January},
  ee = {http://dx.doi.org/10.1007/s00354-008-0053-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@mastersthesis{alvarogpMSc09,
  tipoactividad = {Otras publicaciones},
  internacional = {yes},
  author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
  title = {Exploring the $\beta$-hypercube},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de
                  Madrid},
  year = 2009,
  month = sep,
  note = {Advisor: Pablo Nogueira}
}
@article{garcia:2009:aftta,
  tipoactividad = {Art{\'{i}}culos en revistas},
  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},
  journal = {Revista de Musicolog{\'{i}}a},
  volume = {22},
  number = {2},
  pages = {343-361},
  issn = {0210-1459},
  year = {2009},
  address = {Madrid, Espa{\~{n}}a},
  publisher = {Sociedad Espa{\~{n}}ola de Musicolog{\'{i}}a}
}
@article{tahemo:2009:srvdpftutmc,
  author = {Toufik Taibi and {{\'{A}}ngel} Herranz and Juan Jos{\'{e}}
                  {Moreno-Navarro}},
  title = {Stepwise Refinement Validation of Design Patterns Formalized
                  in {TLA+} Using the {TLC} Model Checker},
  journal = {Journal of Object Technology (JOT, \url{http://www.jot.fm/general/about/})},
  year = {2009},
  volume = {8},
  number = {2},
  month = mar,
  issn = {1660-1769},
  pages = {137-161},
  doi = {doi:10.5381/jot.2009.8.2.a3},
  pdf = {http://www.jot.fm/issues/issue_2009_03/article3.pdf},
  abstract = {Despite being around for only a little more than a
                  decade, design patterns have proved to be successful
                  reuse artifacts. However, the fact that they are
                  mostly described informally gives rise to ambiguity
                  and hinders correct usage. This paper discusses how
                  to formally specify the "solution element" of
                  patterns using TLA+, the formal specification
                  language of Temporal Logic of Actions (TLA). The
                  focus is first on formally specifying the most
                  abstract version of a pattern before validly doing
                  stepwise refinements by adding more details along
                  the way until reaching a concrete
                  implementation. Checking that the refinement
                  properties hold was done using TLC (the TLA+ model
                  checker).},
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {yes}
}
@proceedings{DBLP:conf/iwann/2009-1,
  editor = {Joan Cabestany and
               Francisco Sandoval and
               Alberto Prieto and
               Juan M. Corchado},
  title = {Bio-Inspired Systems: Computational and Ambient Intelligence,
               10th International Work-Conference on Artificial Neural
               Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009.
               Proceedings, Part I},
  booktitle = {IWANN (1)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5517},
  year = {2009},
  isbn = {978-3-642-02477-1},
  ee = {http://dx.doi.org/10.1007/978-3-642-02478-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/eusflat/2009,
  editor = {Jo{\~{a}}o Paulo Carvalho and
               Didier Dubois and
               Uzay Kaymak and
               Jo{\~{a}}o Miguel da Costa Sousa},
  title = {Proceedings of the Joint 2009 International Fuzzy Systems
               Association World Congress and 2009 European Society of
               Fuzzy Logic and Technology Conference, Lisbon, Portugal,
               July 20-24, 2009},
  booktitle = {IFSA/EUSFLAT Conf.},
  year = {2009},
  isbn = {978-989-95079-6-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.98.