@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "aranda"' papers.bib}}
@INPROCEEDINGS{Aranda:09:ICLP,
AUTHOR = {Jesus Aranda and G{\'e}rard Assayag and Carlos Olarte and Jorge A. P{\'e}rez and Camilo Rueda and Mauricio Toro and Frank D. Valencia},
BOOKTITLE = {Proceeding of the 25th International Conference, ICLP'09},
DATE-ADDED = {2010-12-30 03:55:02 +0100},
DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
DOI = {10.1007/978-3-642-02846-5\_4},
EDITOR = {Patricia M. Hill and David Scott Warren},
ISBN = {978-3-642-02845-8},
LIXCATEGORIE = {CIA},
LIXEQUIPE = {comete},
PAGES = {509-513},
PUBLISHER = {Springer},
SERIES = {Lectures Notes in Computer Science},
TITLE = {An {O}verview of {F}{O}{R}{C}{E}{S}: An {I}{N}{R}{I}{A} Project on Declarative Formalisms for Emergent Systems},
URL = {http://hal.inria.fr/inria-00426610/en/},
VOLUME = {5649},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PAYS = {IT,CO},
X-PROCEEDINGS = {yes},
YEAR = {2009},
BDSK-URL-1 = {http://hal.inria.fr/inria-00426610/en/},
BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-02846-5%5C_4}
}
@INPROCEEDINGS{Aranda:09:FOSSACS,
AUTHOR = {{A}randa, {J}esus and {V}alencia, {F}rank D. and {V}ersari, {C}ristian},
BOOKTITLE = {{P}roceedings of the 12th {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputational {S}tructures, FOSSACS'09},
DATE-ADDED = {2010-12-30 03:55:02 +0100},
DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
DOI = {10.1007/978-3-642-00596-1\_18},
EDITOR = {Luca de Alfaro},
KEYWORDS = {{P}rocess calculi, {E}xpressiveness, {C}omputability},
LANGUAGE = {{E}nglish},
LIXCATEGORIE = {CIA},
LIXEQUIPE = {comete},
PAGES = {242-256},
PUBLISHER = {Springer},
SERIES = {{Lectures Notes in Computer Science}},
TITLE = {{O}n the {E}xpressive {P}ower of {R}estriction and {P}riorities in {CCS} with replication},
URL = {http://hal.inria.fr/inria-00430531/en/},
VOLUME = {5504},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PAYS = {IT},
X-PROCEEDINGS = {yes},
YEAR = {2009},
BDSK-URL-1 = {http://hal.inria.fr/inria-00430531/en/},
BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-00596-1%5C_18}
}
@INPROCEEDINGS{Aranda:09:CLEI,
AUTHOR = {{V}illota, {A}ngela and {A}randa, {J}esus and {J}uan {F}rancisco, {D}iaz},
BOOKTITLE = {Proceedings of the {XXXV} {L}atin {A}merican {I}nformatics {C}onference, CLEI'09},
DATE-ADDED = {2010-12-30 03:55:02 +0100},
DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
LANGUAGE = {{E}nglish},
LIXCATEGORIE = {CIA},
LIXEQUIPE = {comete},
TITLE = {{M}odelando {S}istemas de {M}embranas en ntcc},
URL = {http://hal.inria.fr/inria-00430537/en/},
X-INTERNATIONAL-AUDIENCE = {no},
X-PAYS = {CO},
X-PROCEEDINGS = {yes},
YEAR = {2009},
BDSK-URL-1 = {http://hal.inria.fr/inria-00430537/en/}
}
@PHDTHESIS{Aranda:09:Thesis,
AUTHOR = {Jesus Aranda},
DATE-ADDED = {2010-12-30 03:55:02 +0100},
DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
LIXEQUIPE = {comete},
SCHOOL = {LIX, Ecole Polytechnique, France, and EISC, Universidad del Valle, Colombia},
TITLE = {On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus},
URL = {http://tel.archives-ouvertes.fr/tel-00430495/en/},
YEAR = 2009,
BDSK-URL-1 = {http://tel.archives-ouvertes.fr/tel-00430495/en/}
}
@INPROCEEDINGS{Aranda:08:ICLP,
AUTHOR = {Jes{\'u}s Aranda and Jorge A. P{\'e}rez and Camilo Rueda and Frank D. Valencia},
BOOKTITLE = {24th International Conference on Logic Programming},
DATE-ADDED = {2008-12-24 16:40:08 +0100},
DATE-MODIFIED = {2008-12-24 16:42:59 +0100},
DOI = {10.1007/978-3-540-89982-2},
EDITOR = {Maria Garcia de la Banda and Enrico Pontelli},
PAGES = {682-686},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming},
VOLUME = {5366},
YEAR = {2008},
BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-540-89982-2}
}
@INPROCEEDINGS{Cacciagrano:07:EXPRESS,
AUTHOR = {Diletta Cacciagrano and Flavio Corradini and Jes\'us Aranda and Frank D. Valencia},
BOOKTITLE = {Proc. of 14th International Workshop on Expressiveness of Concurrency, ({EXPRESS}'07)},
DATE-MODIFIED = {2008-12-28 17:52:46 +0100},
DOI = {10.1016/j.entcs.2007.11.006},
EDITOR = {Roberto Amadio and Thomas Hildenbrandt},
NOTE = {\url{http://www.brics.dk/~fvalenci/papers/pers-test.pdf}},
PAGES = {59-84},
PUBLISHER = {Elsevier},
SERIES = {ENTCS},
TITLE = {Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus},
VOLUME = {194},
YEAR = {2008},
BDSK-URL-1 = {http://dx.doi.org/10.1016/j.entcs.2007.11.006}
}
@INPROCEEDINGS{Aranda:06:FMCO,
AUTHOR = {Jesus Aranda and Cinzia Di Giusto and Catuscia Palamidessi and Frank Valencia},
BOOKTITLE = {Postproceedings of the 5th International Symposium on Formal Methods for Components and Objects (FMCO'06)},
DATE-MODIFIED = {2008-02-06 03:14:14 +0100},
EDITOR = {Frank S. {de Boer} and Marcello M. Bonsangue},
NOTE = {\url{http://www.lix.polytechnique.fr/~fvalenci/papers/fmco07.pdf}},
PAGES = {185-206},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi},
VOLUME = {4709},
YEAR = {2007}
}
@INPROCEEDINGS{Aranda:07:APLAS,
AUTHOR = {J. Aranda and C. Di Giusto and M. Nielsen and F. Valencia},
BOOKTITLE = {Proc. of The Fifth ASIAN Symposium on Programming Languages ({APLAS'07})},
DATE-MODIFIED = {2008-12-24 16:21:17 +0100},
DOI = {10.1007/978-3-540-76637-7_26},
NOTE = {\url{http://www.brics.dk/~fvalenci/papers/aplas.pdf}},
NUMBER = {4807},
PAGES = {383-398},
PUBLISHER = {Springer},
SERIES = {LNCS},
TITLE = {{CCS} with Replication in the {C}homsky Hierarchy: The Expressive Power of Divergence},
YEAR = {2007},
BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-540-76637-7_26}
}
This file has been generated by bibtex2html 1.74