@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=2005 papers.bib}}
@INPROCEEDINGS{Palamidessi:05:FMCO, AUTHOR = {Catuscia Palamidessi and Iain Phillips and Maria Grazia Vigliotti}, BOOKTITLE = {Postproceedings of the 4th International Symposium on Formal Methods for Components and Objects (FMCO)}, EDITOR = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/2006/MariaGrazia/FMCO/fmco-06.pdf}}, PAGES = {172--194}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Expressiveness via Leader Election Problems}, VOLUME = {4111}, YEAR = {2005} }
@INPROCEEDINGS{Deng:05:FOSSACS, AUTHOR = {Yuxin Deng and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of FOSSACS'05}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_Axiom/fossacs05.pdf}}, PAGES = {110--124}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Axiomatizations for probabilistic finite-state behaviors}, VOLUME = 3441, YEAR = {2005} }
@ARTICLE{Palamidessi:05:TCS, AUTHOR = {Catuscia Palamidessi and Oltea M. Herescu}, DATE-MODIFIED = {2008-12-28 17:01:48 +0100}, JOURNAL = {Theoretical Computer Science}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/prob_enc/report.pdf}}, NUMBER = {2-3}, PAGES = {373-404}, TITLE = {A randomized encoding of the $\pi$-calculus with mixed choice}, URL = {http://hal.inria.fr/inria-00201105/en/}, VOLUME = 335, YEAR = {2005}, BDSK-URL-1 = {http://hal.inria.fr/inria-00201105/en/} }
@INPROCEEDINGS{Chatzikokolakis:05:TGC, AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of the Symp. on Trustworthy Global Computing}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/PartialSecrets/tgc05.pdf}}, PAGES = {146-162}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange}, VOLUME = 3705, YEAR = {2005} }
@INPROCEEDINGS{Bhargava:05:CONCUR, AUTHOR = {Mohit Bhargava and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of CONCUR}, EDITOR = {Mart\'{\i}n Abadi and Luca de Alfaro}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/concur.pdf}}, PAGES = {171--185}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Probabilistic Anonymity}, VOLUME = 3653, YEAR = 2005 }
@INCOLLECTION{Deng:05:BookJW, AUTHOR = {Yuxin Deng and Catuscia Palamidessi and Jun Pang}, BOOKTITLE = {Processes, Terms and Cycles: Steps on the Road to Infinity}, DATE-MODIFIED = {2009-01-02 02:46:39 +0100}, EDITOR = {Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Yuxin/BookJW/par.pdf}}, PAGES = {309-337}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Compositional Reasoning for Probabilistic Finite-State Behaviors}, VOLUME = {3838}, YEAR = {2005} }
@ARTICLE{Palamidessi:05:EATCS, AUTHOR = {Catuscia Palamidessi and Frank D. Valencia}, BIBDATE = {2005-11-14}, DATE-MODIFIED = {2010-01-09 05:21:19 +0100}, JOURNAL = {Bulletin of the EATCS}, NOTE = {Column: Concurrency. \url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/EATCS_05/recrep.pdf}}, PAGES = {105--125}, TITLE = {Recursion vs Replication in Process Calculi: Expressiveness}, VOLUME = {87}, YEAR = {2005} }
@INPROCEEDINGS{Chothia:05:NCUS, AUTHOR = {Tom Chothia and Konstantinos Chatzikokolakis}, BOOKTITLE = {Proceedings of the IFIP International Symposium on Network-Centric Ubiquitous Systems (NCUS 2005)}, PAGES = {744--755}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {A Survey of Anonymous Peer-to-Peer File-Sharing}, VOLUME = {3823}, YEAR = {2005} }
@MISC{Pradalier:05:RS, AUTHOR = {Sylvain Pradalier}, NOTE = {Rapport de stage. Master Parisien de Recherche en Informatique. \url{http://mpri.master.univ-paris7.fr/attached-documents/stages-2005-rapports/rapport-2005-pradalier.pdf}}, YEAR = 2005 }
@TECHREPORT{Bhargava:05:TR, AUTHOR = {Mohit Bhargava and Catuscia Palamidessi}, INSTITUTION = {INRIA Futurs and LIX}, NOTE = {To appear in the proceedings of CONCUR 2005. Report version available at \url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report.ps}}, TITLE = {Probabilistic Anonymity}, YEAR = {2005} }
@TECHREPORT{Chatzikokolakis:05:TR, AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi}, INSTITUTION = {INRIA Futurs and LIX}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/reportPI.pdf}}, TITLE = {Probable Innocence Revisited}, YEAR = {2005} }
@ARTICLE{Valencia:05:TCS, AUTHOR = {Frank D. Valencia}, JOURNAL = {Theoretical Computer Science}, NUMBER = {3}, PAGES = {577--607}, TITLE = {Decidability of infinite-state timed {CCP} processes and first-order {LTL}}, VOLUME = {330}, YEAR = {2005} }
@INPROCEEDINGS{Dantchev:05:SAC, AUTHOR = {Stefan S. Dantchev and Frank D. Valencia}, BOOKTITLE = {Proceedings of the 20th ACM Symposium on Applied Computing}, PAGES = {393--397}, PDF = {http://www.brics.dk/~fvalenci/icsp_sac05.pdf}, PUBLISHER = {ACM Press}, TITLE = {On the computational limits of infinite satisfaction}, YEAR = {2005} }
This file has been generated by bibtex2html 1.74