@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