@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