@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "deng"' papers.bib}}

@ARTICLE{Deng:07:TCS, AUTHOR = {Yuxin Deng and Catuscia Palamidessi}, DATE-MODIFIED = {2008-12-28 16:55:03 +0100}, JOURNAL = {Theoretical Computer Science}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_Axiom/tcs.pdf}}, NUMBER = {1-2}, PAGES = {92--114}, TITLE = {Axiomatizations for probabilistic finite-state behaviors}, URL = {http://hal.inria.fr/inria-00200928/en/}, VOLUME = {373}, YEAR = {2007}, BDSK-URL-1 = {http://hal.inria.fr/inria-00200928/en/} }

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

@INPROCEEDINGS{Deng:05:QAPL, AUTHOR = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi and Jun Pang}, BOOKTITLE = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Metrics/QAPL/gts.pdf}}, NUMBER = {2}, PAGES = {79--96}, PUBLISHER = {Elsevier Science Publishers}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {Metrics for Action-labelled Quantitative Transition Systems}, VOLUME = {153}, YEAR = {2006} }

@INPROCEEDINGS{Deng:05:SECCO, AUTHOR = {Yuxin Deng and Catuscia Palamidessi and Jun Pang}, BOOKTITLE = {Proceedings of the 3rd International Workshop on Security Issues in Concurrency (SecCo)}, DATE-MODIFIED = {2007-12-22 09:09:14 +0100}, EDITOR = {Michael Backes and Andre Scedrov}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report_wa.pdf}}, PAGES = {55--76}, PUBLISHER = {Elsevier Science B.V.}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {Weak Probabilistic Anonymity}, VOLUME = {180 (1)}, YEAR = {2007} }

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

@MISC{Deng:06:PerComm, AUTHOR = {Yuxin Deng and Jun Pang and Peng Wu}, NOTE = {Personal Communication}, YEAR = 2006 }

@INPROCEEDINGS{Deng:06:FAST, AUTHOR = {Yuxin Deng and Jun Pang and Peng Wu}, BOOKTITLE = {Proc. of the of the 4th Int. Worshop on Formal Aspects in Security and Trust}, DATE-MODIFIED = {2010-01-04 10:47:03 +0100}, EDITOR = {T. Dimitrakos and F. Martinelli and P. Y. A. Ryan and S. A. Schneider}, PAGES = {65--79}, PUBLISHER = {Springer}, SERIES = {LNCS}, TITLE = {Measuring Anonymity with Relative Entropy}, VOLUME = {4691}, YEAR = {2006} }

*This file has been generated by
bibtex2html 1.74*