@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'author:"alvim" | author:"andres" | author:"aranda" | author:"aristizabal" | author:"beauxis" | author:"bonchi" | author:"bordenabe" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"dubreil" | author:"elsalamouny" | author:"giunti" | author:"hamadou" | author:"knight" | author:"kramer" | author:"mio" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pino" | author:"pradalier" | author:"stronati" | author: "troina" | author:"valencia" | author:"wu" | author:"xu" | author:"ziegler"' -c year=2009 papers.bib}}

@INPROCEEDINGS{Laneve:09:QAPL,
  AUTHOR = {Cosimo Laneve and Sylvain Pradalier and Gianluigi Zavattaro},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {Proceedings of the 7th Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  EE = {http://dx.doi.org/10.1016/j.entcs.2009.10.011},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  PAGES = {167-185},
  TITLE = {From Biochemistry to Stochastic Processes},
  VOLUME = {253 (3)},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {IT},
  X-PROCEEDINGS = {yes},
  YEAR = {2009}
}

@ARTICLE{Kramer:09:JANCL,
  AUTHOR = {Simon Kramer and Catuscia Palamidessi and Roberto Segala and Andrea Turrini and Christelle Braun},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  DOI = {10.3166/jancl.19.489516},
  JOURNAL = {The Journal of Applied Non-Classical Logics},
  NUMBER = {4},
  PAGES = {489-516},
  TITLE = {A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding},
  URL = {http://hal.archives-ouvertes.fr/inria-00445212/en/},
  VOLUME = {19},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {IT},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.archives-ouvertes.fr/inria-00445212/en/},
  BDSK-URL-2 = {http://dx.doi.org/10.3166/jancl.19.489516}
}

@INPROCEEDINGS{Bhowmick:08:TGC,
  AUTHOR = {Abhishek Bhowmick and Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of the Fourth Symposium on Trustworthy Global Computing (TGC 2008)},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  EDITOR = {Christos Kaklamanis and Flemming Nielson},
  PAGES = {36--51},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Bounds on the leakage of the input's distribution in information-hiding protocols},
  URL = {http://hal.archives-ouvertes.fr/hal-00444579/en/},
  VOLUME = {5474},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {IN},
  X-PROCEEDINGS = {yes},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.archives-ouvertes.fr/hal-00444579/en/}
}

@ARTICLE{Norman:08:TSE,
  AUTHOR = {Gethin Norman and Catuscia Palamidessi and David Parker and Peng Wu},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  JOURNAL = {IEEE Transactions of Software Engineering},
  NUMBER = {2},
  PAGES = {209--223},
  RATING = {1},
  TITLE = {Model checking probabilistic and stochastic extensions of the $\pi$-calculus},
  URL = {http://hal.archives-ouvertes.fr/inria-00424856/en/},
  VOLUME = {35},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.archives-ouvertes.fr/inria-00424856/en/}
}

@ARTICLE{Cacciagrano:08:LMCS,
  AUTHOR = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  JOURNAL = {Logical Methods in Computer Science},
  NUMBER = {2 - 15},
  TITLE = {Explicit Fairness in Testing Semantics},
  URL = {http://hal.archives-ouvertes.fr/hal-00444580/en/},
  VOLUME = {5},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {IT},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.archives-ouvertes.fr/hal-00444580/en/}
}

@ARTICLE{Beauxis:09:TCS,
  AUTHOR = {Romain Beauxis and Catuscia Palamidessi},
  BIBDATE = {2009-09-03},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#BeauxisP09},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  DOI = {http://dx.doi.org/10.1016/j.tcs.2009.06.008},
  JOURNAL = {Theoretical Computer Science},
  NUMBER = {41},
  PAGES = {4006--4025},
  TITLE = {Probabilistic and nondeterministic aspects of anonymity},
  UPL = zhttp://hal.archives-ouvertes.fr/inria-00424855/en/},
  VOLUME = {410},
  X-EDITORIAL-BOARD = {yes},
  X-INTERNATIONAL-AUDIENCE = {yes},
  YEAR = {2009},
  BDSK-URL-1 = {http://dx.doi.org/10.1016/j.tcs.2009.06.008},
  BDSK-URL-2 = {http://hal.archives-ouvertes.fr/inria-00424855/en/}
}

@INPROCEEDINGS{Braun:09:MFPS,
  AUTHOR = {Christelle Braun and Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of the 25th Conf. on Mathematical Foundations of Programming Semantics},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  PAGES = {75-91},
  PUBLISHER = {Elsevier B.V.},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  TITLE = {Quantitative Notions of Leakage for One-try Attacks},
  URL = {http://hal.archives-ouvertes.fr/inria-00424852/en/},
  VOLUME = {249},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {NL},
  X-PROCEEDINGS = {yes},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.archives-ouvertes.fr/inria-00424852/en/}
}

@INPROCEEDINGS{Falaschi:09:PPDP,
  AUTHOR = {Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'09},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  DOI = {10.1145/1599410.1599436},
  EDITOR = {Ant{\'o}nio Porto and Francisco Javier L{\'o}pez-Fraguas},
  LIXCATEGORIE = {CIA},
  LIXEQUIPE = {comete},
  PAGES = {207-218},
  PUBLISHER = {ACM},
  TITLE = {A framework for abstract interpretation of timed concurrent constraint programs},
  URL = {http://hal.inria.fr/inria-00426608/en/},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {IT},
  X-PROCEEDINGS = {yes},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.inria.fr/inria-00426608/en/},
  BDSK-URL-2 = {http://dx.doi.org/10.1145/1599410.1599436}
}

@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{Olarte:09:IRCAM,
  ADDRESS = {Paris, France},
  AUTHOR = {Carlos Olarte and Camilo Rueda and Frank D. Valencia},
  BOOKTITLE = {New Computational Paradigms for Computer Music},
  CHAPTER = {3},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  EDITOR = {G\'{e}rard Assayag and Andrew Gerzso},
  LIXCATEGORIE = {CIA},
  LIXEQUIPE = {comete},
  PAGES = {400--402},
  PUBLISHER = {Delatour France / Ircam-Centre Pompidou},
  TITLE = {{C}oncurrent {C}onstraint {P}rogramming: a Declarative Paradigm for Modeling Music Systems},
  URL = {http://hal.inria.fr/inria-00429592/en/},
  X-INTERNATIONAL-AUDIENCE = {no},
  X-PAYS = {CO},
  X-PROCEEDINGS = {yes},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.inria.fr/inria-00429592/en/}
}

@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{Olarte:09:MCM,
  AUTHOR = {Carlos Olarte and Camilo Rueda},
  BOOKTITLE = {Proceedings of the Second International Conference on Mathematics and Computation in Music (MCM)},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  DOI = {10.1007/978-3-642-02394-1},
  EDITOR = {Elaine Chew and Adrian Childs and Hing-Hua Chuan},
  ISBN = {978-3-642-02393-4},
  LIXCATEGORIE = {CIA},
  LIXEQUIPE = {comete},
  PAGES = {218-227},
  PUBLISHER = {Springer},
  SERIES = {Communications in Computer and Information Science},
  TITLE = {A Declarative Language for Dynamic Multimedia Interaction Systems},
  URL = {http://hal.inria.fr/inria-00426607/},
  VOLUME = {38},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {CO},
  X-PROCEEDINGS = {yes},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.inria.fr/inria-00426607/},
  BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-02394-1}
}

@INPROCEEDINGS{Lopez:09:PLACES,
  AUTHOR = {Hugo L\'{o}pez and Carlos Olarte and Jorge A. P\'{e}rez},
  BOOKTITLE = {Proceedings of the workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  EDITOR = {Alastair R. Beresford and Simon Gay},
  LIXCATEGORIE = {CIA},
  LIXEQUIPE = {comete},
  PAGES = {1-15},
  SERIES = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
  TITLE = {Towards a Unified Framework for Declarative Structured Communications},
  URL = {http://hal.inria.fr/inria-00426609/en/},
  VOLUME = {17},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {DK,IT},
  X-PROCEEDINGS = {yes},
  YEAR = {2009},
  BDSK-URL-1 = {http://hal.inria.fr/inria-00426609/en/}
}

@PHDTHESIS{Olarte:09:PhDThesis,
  ADDRESS = {Palaiseau, France},
  AUTHOR = {Carlos Olarte},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  LIXEQUIPE = {comete},
  SCHOOL = {LIX, Ecole Polytechnique},
  TITLE = {Universal Temporal Concurrent Constraint Programming},
  URL = {http://tel.archives-ouvertes.fr/tel-00430446/en/},
  YEAR = 2009,
  BDSK-URL-1 = {http://tel.archives-ouvertes.fr/tel-00430446/en/}
}

@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/}
}

@PHDTHESIS{Pradalier:09:Thesis,
  AUTHOR = {Sylvain Pradalier},
  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},
  TITLE = {An approach to the modeling, simulation and analysis of nano-devices},
  YEAR = 2009
}

@PHDTHESIS{Beauxis:09:Thesis,
  AUTHOR = {Romain Beauxis},
  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},
  TITLE = {Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols},
  YEAR = 2009
}


This file has been generated by bibtex2html 1.74