@comment{{Al final apareció en 2018}}
@comment{{2015}}
@mastersthesis{monjaraz2010,
author = {Rub{\'{e}}n Monjaraz},
title = {From the $\pi$-calculus to {Flat} {GHC}},
school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de Madrid},
year = 2010,
month = {March},
note = {Advisor: Julio Mari{\~{n}}o. Joint degree with TU Dresden.}
}
@misc{agarcia:2011:brics-retreat,
tipoactividad = {Otras publicaciones},
internacional = {no},
abstract = {The Beta Cube systematises and articulates a plethora of
lambda claculus reduction strategies. Along with the cube,
we present an hybridisation operator, which allows to
produce new strategies composing two existing strategies
from the cube. The cube reveals interesting algebraic
properties of the strategies and helps to reason about
standardization and normalization regarding to different
lambda theories.},
author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
title = {The Beta Cube},
month = {March 29},
year = {2010},
note = {Poster at the BRICS Retreat 2011},
address = {DanParcs Sohojlandet, Gjern, Denmark},
pdf = {http://babel.ls.fi.upm.es/home/~agarcia/posters/BRICS_retreat/poster.pdf}
}
@unpublished{agp_tpf2010,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {no},
author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
title = {El Cubo Beta},
note = {Charla impartida en el II Taller de Programaci{\'{o}}n Funcional
{TPF} 2010},
descripcion = {El c{\'{a}}lculo lambda y sus estrategias de reducci{\'{o}}n han tenido
un enorme impacto en el campo de los lenguajes de
programaci{\'{o}}n, en particular en su dise{\~{n}}o y mecanismos de
evaluaci{\'{o}}n. Peter Sestoft recoge y define de forma precisa,
mediante reglas big-step, las estrategias de reducci{\'{o}}n m{\'{a}}s
conocidas del calculo lambda puro (sin tipos), estrategias
tales como applicative order, normal order, call-by-name,
call-by-value, head spine y otras menos conocidas
denominadas, informalmente, h{\'{i}}bridas. Parte de la motivaci{\'{o}}n
de Sestoft es precisar el significado que las estrategias
usadas en programaci{\'{o}}n tienen en el c{\'{a}}lculo lambda puro,
donde hay variables libres y se pueden reducir los cuerpos
de funciones. Sestoft implementa cada estrategia como una
funci{\'{o}}n de reducci{\'{o}}n en ML. En esta charla hablaremos del
trabajo realizado junto a Pablo Nogueira y Emilio Jes{\'{u}}s
Gallego Arias sobre el Cubo Beta presentado en el 1st
International Workshop on Strategies in Rewriting, Proving,
and Programming. Este trabajo es una continuaci{\'{o}}n y
generalizaci{\'{o}}n de los esfuerzos de Sestoft.},
organization = {II Taller de Programaci{\'{o}}n Funcional {TPF} 2010},
month = {September 7},
year = {2010},
url = {http://users.dsic.upv.es/~jsilva/TPF2010/}
}
@unpublished{susana:2010:charla8,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
title = {Emerging Free Software market in Developing Countries},
organization = {SHARE (Improving European Embedded Sustems Industry
through Open Source SW Sharing) Project},
note = {SIGs Online SHARE Event },
month = {February 17},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-share.pdf}
}
@unpublished{susana:2010:charla7,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
title = {Tecnologia para el Desarrollo y la Cooperacion (TEDECO)},
note = {1a Jornada de Solidaridad y Cooperacion de la UPM},
address = {Madrid, Spain},
month = {April 28},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-TEDECO_Jornadas_Solidaridad.pdf}
}
@unpublished{susana:2010:charla6,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
title = {Experi{\'{e}}ncias de TIC en Desarrollo},
note = {Ingenier{\'{i}}a de Telecomunicaci{\'{o}}n en Cooperaci{\'{o}}n para el Desarrollo},
address = {Madrid, Spain},
month = {April 29},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-TEDECO_Jornadas_Solidaridad.pdf}
}
@unpublished{susana:2010:charla5,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
title = {Tecnolog{\'{i}}a para el Desarrollo y la Cooperaci{\'{o}}n: visi{\'{o}}n cr{\'{i}}tica},
note = {Introducci{\'{o}}n a la cooperaci{\'{o}}n universitaria para el desarrollo},
address = {Madrid, Spain},
month = {July 7},
year = {2010}
}
@unpublished{susana:2010:charla4,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
title = {Internacionalizaci{\'{o}}n en los estudios de M{\'{a}}ster},
note = {1{$^a$} Jornada De Innovaci{\'{o}}n Educativa: Innovaci{\'{o}}n en la gesti{\'{o}}n y organizaci{\'{o}}n de la docencia y del aprendizaje en los t{\'{i}}tulos de grado y m{\'{a}}ster},
address = {Cadiz, Spain},
month = {July 14},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-UCA.pdf}
}
@unpublished{susana:2010:charla3,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
title = {Seminario "Introducci{\'{o}}n al trabajo en equipo I"},
note = {II Plan de Tutor{\'{i}}a Curricular de la Facultad de Inform{\'{a}}tica de la Universidad Polit{\'{e}}cnica de Madrid},
address = {Madrid, Spain},
month = {September 2},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-Trabajo_en_Equipo.pdf}
}
@unpublished{susana:2010:charla2,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
title = {Mesa Redonda "{?`}Qu{\'{e}} hace la universidad por el acercamiento de las culturas?"},
note = {VII Jornadas Internacionales de Innovaci{\'{o}}n Universitaria de la Universidad Europea de Madrid},
address = {Madrid, Spain},
month = {September 6},
year = {2010}
}
@unpublished{susana:2010:charla1,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
title = {Seminario "Introducci{\'{o}}n al trabajo en equipo II"},
note = {II Plan de Tutor{\'{i}}a Curricular de la Facultad de Inform{\'{a}}tica de la Universidad Polit{\'{e}}cnica de Madrid},
address = {Madrid, Spain},
month = {October 19},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-Trabajo_en_Equipo.pdf}
}
@inproceedings{5492481,
author = {Mateo, J.M. and del Rey, D.P. and {Mu{\~{n}}oz-Hern{\'{a}}ndez}, Susana},
booktitle = {Education Engineering (EDUCON), 2010 IEEE},
title = {Student motivation and cross-curricular development through e-learning applied to cooperation},
year = {2010},
month = {April},
volume = {},
number = {},
pages = {913 -920},
abstract = {Technologies and especially information and communication
technologies (ICT) are barrier breaking in the
current social scenario. Their use is becoming
essential for any professional, and their scope of
use is becoming particularly widespread in education
due to the existence of communication outside the
classroom through e-learning tools. Universities,
which play an innovative role in education, are
using ICT-based approaches to adapt their learning
methodology. In this paper, we present a model where
students from first-world universities prepare and
adapt course contents for use in educational
institutions in developing countries. The objectives
of this initiative of students' participating in
e-learning projects with developing countries are to
improve their motivation, develop a set of
cross-curricular competencies, and transfer
technologies within the scope of university
development cooperation.},
keywords = {course contents;cross-curricular
development;e-learning;educational
institutions;educational universities;information
and communication technologies;student
motivation;university development
cooperation;computer aided instruction;educational
courses;educational institutions;},
doi = {10.1109/EDUCON.2010.5492481},
issn = {}
}
@inproceedings{Martinez_ICTEL2010,
author = {Mart\'inez-Mateo, Jes\'us and {Mu{\~{n}}oz-Hern{\'{a}}ndez}, Susana and P\'erez-Rey, David},
title = {{A Discussion of Thin Client Technology for Computer Labs}},
booktitle = {First International Multi-Conference on Innovative Developments in ICT (INNOV 2010)},
year = {2010},
editor = {Shishkov, Boris and Tsihrintzis, George A. and Virvou, Maria},
pages = {119-124},
organization = {Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST)},
month = {July},
note = {First International Conference on Technology-Enhanced Learning (ICTEL 2010)}
}
@inproceedings{DBLP:conf/ijcci/VegaLM10,
author = {Trigo~de~la~Vega, Teresa and
L{\'{o}}pez-Garc{\'{\i}}a, Pedro and
Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
title = {Towards Fuzzy Granularity Control in Parallel/Distributed Computing},
booktitle = {IJCCI (ICFC-ICNC)},
year = {2010},
pages = {43-55},
crossref = {DBLP:conf/ijcci/2010-1},
bibsource = {DBLP, http://dblp.uni-trier.de},
note = {Best Student Paper Award ICFC 2010}
}
@inproceedings{DBLP:conf/ijcci/VegaLM10a,
author = {Trigo~de~la~Vega, Teresa and
L{\'{o}}pez-Garc{\'{\i}}a, Pedro and
Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
title = {A Fuzzy Approach to Resource Aware Automatic Parallelization},
booktitle = {Computational Intelligence - Revised and Selected Papers of the International
Joint Conference, {IJCCI} 2010, Valencia, Spain, October 2010},
pages = {229--245},
year = {2010},
crossref = {DBLP:conf/ijcci/2010-s},
url = {http://dx.doi.org/10.1007/978-3-642-27534-0_15},
doi = {10.1007/978-3-642-27534-0_15},
timestamp = {Mon, 21 May 2012 19:31:48 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcci/VegaLM10a},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inbook{book:2010:susana,
author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
title = {Robot Soccer},
chapter = {RFuzzy: an Easy and Expressive Tool for Modelling
the Cognitive Layer in RoboCupSoccer},
publisher = {InTech},
year = {2010},
isbn = {978-953-307-036-0},
tipoactividad = {Capitulos de libro},
note = {Editor Vladan Papic},
internacional = {yes},
pdf = {http://www.intechopen.com/articles/show/title/rfuzzy-an-easy-and-expressive-tool-for-modelling-the-cognitive-layer-in-robocupsoccer}
}
@techreport{2010:pehe:ezweb_comm_models,
author = {{{\'{A}}ngel} Herranz and P{\'{e}}rez, Iv{\'{a}}n},
title = {Communication Models for Resource Mashups},
institution = {Babel Group, Universidad Polit{\'{e}}cnica de Madrid},
year = {2010},
number = {UPM-BABEL-2010-002},
month = mar
}
@techreport{2010:pehe:ezweb_types,
author = {{{\'{A}}ngel} Herranz and P{\'{e}}rez, Iv{\'{a}}n},
title = {Compatible Communication in Mashups},
institution = {Babel Group, Universidad Polit{\'{e}}cnica de Madrid},
year = {2010},
number = {UPM-BABEL-2010-001},
month = jan
}
@inproceedings{erlang:2010:afdcbelf,
title = {Implementing a Multiagent Negotiation Protocol in Erlang.},
author = {{{\'{A}}lvaro} {Fern{\'{a}}ndez D{\'{i}}az} and {Clara {Benac Earle}} and {Lars-{\AA}ke {Fredlund}}},
booktitle = {Ninth ACM SIGPLAN Erlang Workshop, Erlang'10},
isbn = {978-1-60558-507-9},
month = {September 30},
year = {2010},
publisher = {ACM},
pages = {69--74},
tipoactividad = {Ponencias en congresos},
pdf = {http://babel.ls.fi.upm.es/~fred/p69-fernandez.pdf},
address = {Baltimore, Maryland, USA},
revisores = {yes},
abstract = { In this paper we present the verification of a multi-agent
negotiation protocol. The verification of this kind of highly
concurrent and distributed systems is hard. We present some evidence
that shows Erlang is a very good choice for implementing this kind
of systems due to the quite high mapping between the protocol
specification and Erlang constructs. The use of this programming
language also provides the capability to handle a larger number of agents
than other implementations, with substantially better performance.}
}
@inproceedings{erlang:2010:svensson_fredlund_benac,
title = {A unified semantics for future Erlang},
author = {H. Svensson and C. Benac Earle and L. Fredlund},
isbn = {978-1-60558-507-9},
booktitle = {Ninth ACM SIGPLAN Erlang Workshop, Erlang'10},
tipoactividad = {Ponencias en congresos},
pages = {23--32},
day = {30},
publisher = {ACM},
month = {September},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/~fred/p23-svensson.pdf},
address = {Baltimore, Maryland, USA}
}
@inproceedings{jisbd:2010:vpcafdsmh,
title = {Developing user-sensitive search engines from fuzzy concepts.},
author = {Pablos-Ceruelo, V{\'{i}}ctor and {\'A}lvaro {Fern{\'a}ndez D{\'i}az} and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
booktitle = {Actas XV Jornadas de Ingenier{\'i}a del Software y Bases de Datos (JISBD'10)},
month = {September 7-10},
year = {2010},
address = {Valencia, Spain},
pages = {175-186},
isbn = {978-84-92812-51-6},
note = {http://www.dsic.upv.es/conferences/jisbd2010/articulos.shtml}
}
@inproceedings{hardandsoft:2010:afdvpcsmh,
title = {Developing user-sensitive e-commerce applications from fuzzy concepts},
author = {{\'A}lvaro {Fern{\'a}ndez D{\'i}az} and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Pablos-Ceruelo, V{\'{i}}ctor},
booktitle = {Algebraic methods, soft computing, and program verification},
month = {April 21-23},
year = {2010},
note = {Keynote Speakers: Thomas Arts (Univ. of Gothenburg), Gilles Barthe (Madrid Institute for Advanced Studies (Software)), Stefan Berghofer (Technische Universit{\"{a}}t M{\"{u}}nchen), Mario de Jes{\'u}s P{\'e}rez Jim{\'e}nez (Univ. de Sevilla), Jos{\'e} Luis Ruiz Reina (Univ. de Sevilla), Enric Trillas (European Centre for Soft Computing)},
address = {"International Center for Mathematical Meetings (CIEM), Castro Urdiales (Cantabria), Spain"},
organization = {Julio Rubio (Univ. de La Rioja) and Manuel Ojeda-Aciego (Univ. de M{\'a}laga). Sponsored by: Ingenio2010, CIEM, Excmo. Ayuntamiento de Castro Urdiales},
internacional = {yes}
}
@inproceedings{hema:2010:esoofn,
author = {{{\'{A}}ngel} Herranz and Julio Mari{\~{n}}o},
title = {Executable Specifications in an Object Oriented Formal Notation},
booktitle = {20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010},
organization = {Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz},
address = {Hagenberg, Austria},
month = jul,
year = {2010},
abstract = {Early validation of requirements is crucial for the rigorous
development of software. Without it, even the most formal of the
methodologies will produce the wrong outcome.
One successful approach, popularised by some of the so-called
lightweight formal methods, consists in generating (finite,
small) models of the specifications. Another possibility is to build a
running prototype from those specifications.
In this paper we show how to obtain executable prototypes from formal
specifications written in an object oriented notation by translating
them into logic programs.
This has a number of advantages over other lightweight methodologies.
For instance, we recover the possibility of dealing with recursive
data types as specifications that use them often lack finite models.},
pages = {144-158},
tipoactividad = {Ponencias en congresos},
international = {yes},
revisores = {yes},
pdf = {http://babel.ls.fi.upm.es/~angel/papers/clay2prolog-LOPSTR2010preproceedings.pdf}
}
@inproceedings{castro_benac_fredlund_gulias_rivas:tfp2010,
author = {D. Castro and C. Benac Earle and L. Fredlund and V. Gul{\'{i}}as and S. Rivas},
title = {{Using McErlang to verify an Erlang process supervision component}},
booktitle = {Trends in Functional Programming 2010},
year = {2010},
alttipoactividad = {Ponencias en congresos},
abstract = {We present a case-study in which a tool for model checking programs
written in Erlang, McErlang, was used to verify a complex concurrent
component. The component is an alternative implementation of the standard
supervisor behaviour of Erlang/OTP. This implementation, in use at the
company LambdaStream, was checked against several safety and liveness
properties. In one case, McErlang found an error.},
pdf = {http://www.cs.ou.edu/tfp2010/files/22.pdf},
month = {May}
}
@inproceedings{castro_benac_fredlund_gulias_rivas:prole2010,
author = {D. Castro and C. Benac Earle and L. Fredlund and V. Gul{\'{i}}as and S. Rivas},
title = {A verification of a process supervisor with McErlang},
booktitle = {PROLE 2010 -- Jornadas sobre Programacion y Lenguajes},
abstract = {In this paper we present a work in progress on the formal verification
of a process supervisor using the McErlang model checker. The process
supervisor is an alternative implementation of the standard supervisor
behaviour of Erlang/OTP. This implementation, in use at the company
LambdaStream, was checked against several safety and liveness
properties.},
isbn = {978-84-92812-55-4},
pdf = {http://babel.ls.fi.upm.es/~fred/prole2010.pdf},
tipoactividad = {Ponencias en congresos},
year = {2010},
month = {September}
}
@article{protest_2010,
author = {Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon},
affiliation = {Department of Computing, University of Sheffield, Sheffield, S1 4DP UK},
tipoactividad = {Ponencias en congresos},
title = {Property-Based Testing - The ProTest Project},
booktitle = {Formal Methods for Components and Objects},
series = {Lecture Notes in Computer Science},
editor = {de Boer, Frank and Bonsangue, Marcello and Hallerstede, Stefan and Leuschel, Michael},
publisher = {Springer Berlin / Heidelberg},
pages = {250-271},
isbn = {978-3-642-17070-6},
volume = {6286},
url = {http://dx.doi.org/10.1007/978-3-642-17071-3_13},
year = {2010}
}
@inproceedings{Quo_benac_fredlund_2010,
author = {Qiang Guo and John Derrick and Clara Benac Earle and Lars-{\AA}ke Fredlund},
title = {Model-Checking Erlang - A Comparison between EtomCRL2 and
McErlang},
booktitle = {Testing - practice and research techniques (TAIC PART 2010)},
year = {2010},
publisher = {LNCS, Springer Verlag},
number = {6303},
tipoactividad = {Ponencias en congresos},
location = {Windsor,UK},
pages = {23-3},
isbn = {3-642-15584-7},
ee = {http://dx.doi.org/10.1007/978-3-642-15585-7_5},
abstract = {Model-checking programs is important in the development of a reliable software system. Two approaches might be applied to model-check a system at a source code level. One is to directly apply model-checking algorithm to the programming language; the other to abstract the program source codes into a formal specification, upon which some standard model-checkers can be used to verify system's properties. Both methods have recently been investigated for model-checking the functional programming language Erlang. Correspondingly, two Erlang model-checkers McErlang and Etomcrl2 are developed. This paper evaluates the two model-checkers by applying them to verify a a distributed and concurrent example - telecoms implemented in Erlang/OTP. A number of system key properties are model-checked with both tool-sets. Advantages and disadvantages upon the uses of Etomcrl2 and McErlang are compared and summarized. Through such a case study, we intend to evaluate the two model-checkers on their effectiveness when verifying distributed and concurrent systems, and propose suggestions for their future work.}
}
@article{gabbay:curhid-jv,
title = {Curry-Howard for incomplete first-order logic
derivations using one-and-a-half level terms},
author = {Murdoch J. Gabbay and Dominic Mulligan},
journal = {Information and Computation},
issn = {0890-5401},
volume = {208},
issue = {3},
month = {March},
year = {2010},
pages = {230-258},
doi = {http://dx.doi.org/10.1016/j.ic.2009.09.003}
}
@inproceedings{pniTPF10,
tipoactividad = {Conferencias invitadas en congresos},
internacional = {no},
revisores = {no},
author = {Pablo Nogueira},
title = {Programaci{\'{o}}n gen{\'{e}}rica funcional: variaciones sobre los
mismos temas},
booktitle = {{II} {T}aller de {P}rogramaci{\'{o}}n {F}uncional, {X} {J}ornadas
sobre {P}rogramaci{\'{o}}n y {L}enguajes - {PROLE}'10, {III}
{C}ongreso {E}spa{\~{n}}ol de {I}nform{\'{a}}tica - {CEDI}'10},
year = {2010},
address = {Valencia},
month = {September 7},
organization = {Sociedad Cient{\'{i}}fica Inform{\'{a}}tica de Espa{\~{n}}a, IEEE Secci{\'{o}}n
Espa{\~{n}}a, Universidad Polit{\'{e}}cnica de Valencia}
}
@inproceedings{GNG:IWS:2010,
tipoactividad = {Ponencias en congresos},
internacional = {yes},
revisores = {yes},
author = {{{\'{A}}lvaro} Garc{\'{i}}a and Pablo Nogueira and Emilio Jes{\'{u}}s {Gallego
Arias}},
title = {The Beta Cube (Extended Abstract)},
booktitle = {Proceedings of the 1st {I}nternational {W}orkshop on {S}trategies
in {R}ewriting, {P}roving, and {P}rogramming - {IWS}'10},
pages = {3--7},
year = {2010},
editor = {C{\'{e}}sar Mu{\~{n}}oz and H{\'{e}}l{\`{e}}ne Kirchner},
address = {Edinburgh, UK},
month = {July 9},
abstract = {We define a big-step-style template for reduction strategies
that can be instantiated to the foremost (and more)
reduction strategies of the pure lambda calculus. We
implement the template in Haskell as a parametric monadic
reducer whose fixed points are reduction strategies. The
resulting code is clean and abstracts away from the
machinery required to guarantee semantics preservation for
all strategies in lazy Haskell. By interpreting some
parameters as boolean switches we obtain a reduction
strategy lattice or beta cube which captures the strategy
space neatly and systematically. We define a hybridisation
function that generates hybrid strategies by composing a
base and a subsidiary strategy from the cube. We prove an
absorption theorem which states that subsidiaries are
left-identities of their hybrids. More properties from the
cube remain to be explored},
url = {http://iws2010.inria.fr/IWS2010-proceedings.pdf},
pdf = {http://babel.ls.fi.upm.es/~agarcia/papers/IWS2010/beta-cube.pdf}
}
@proceedings{DBLP:conf/ijcci/2010-1,
editor = {Joaquim Filipe and Janusz Kacprzyk},
title = {ICFC-ICNC 2010 - Proceedings of the International Conference
on Fuzzy Computation and International Conference on Neural
Computation, [parts of the International Joint Conference
on Computational Intelligence IJCCI 2010], Valencia, Spain,
October 24-26, 2010},
optbooktitle = {IJCCI (ICFC-ICNC)},
publisher = {SciTePress},
year = {2010},
isbn = {978-989-8425-32-4},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcci/2010-1},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcci/2010-s,
editor = {Kurosh Madani and Ant{\'{o}}nio Dourado Correia and
Agostinho C. Rosa and Joaquim Filipe},
title = {Computational Intelligence - Revised and Selected Papers of the International
Joint Conference, {IJCCI} 2010, Valencia, Spain, October 2010},
series = {Studies in Computational Intelligence},
volume = {399},
publisher = {Springer},
year = {2012},
url = {http://dx.doi.org/10.1007/978-3-642-27534-0},
doi = {10.1007/978-3-642-27534-0},
isbn = {978-3-642-27533-3},
timestamp = {Mon, 21 May 2012 19:31:48 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcci/2010-s},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
This file was generated by bibtex2html 1.98.