@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}, URL = {http://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