@PhdThesis{Deng05, author = {Yuxin Deng}, title = {Axiomatisations and Types for Probabilistic and Mobile Processes}, school = {Ecole des Mines de Paris, France}, year = {2005} }

@InProceedings{DF12, author = {Yuxin Deng and Yuan Feng}, title = {Open Bisimulation for Quantum Processes}, booktitle = {Proceedings of the 7th IFIP International Conference on Theoretical Computer Science}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {119-133}, year = {2012} }

@Article{DT12, author = {Yuxin Deng and Alwen Tiu}, title = {Characterisations of Testing Preorders for a Finite Probabilistic Pi-Calculus}, journal = {Formal Aspects of Computing}, volume = {24}, number = {4-6}, pages = {701-726}, year = {2012} }

@InProceedings{DSC12, author = {Yuxin Deng and Robert J. Simmons and Iliano Cervesato}, title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra}, booktitle = {Proceedings of the 2nd International Workshop on Linearity (LINEARITY'12)}, publisher = {}, series = {}, volume = {}, pages = {}, year = {2012}, note = {To appear} }

@TechReport{DSC11, author = {Yuxin Deng and Robert J. Simmons and Iliano Cervesato}, title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra}, number = {CMU-CS-11-145}, institution = {Carnegie Mellon University}, month = {December}, year = {2011} }

@InProceedings{DH11a, author = {Yuxin Deng and Matthew Hennessy}, title = {On the Semantics of Markov Automata}, booktitle = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP'11)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2011}, volume = {6756}, pages = {307-318} }

@Article{DH11b, author = {Yuxin Deng and Matthew Hennessy}, title = {On the Semantics of Markov Automata}, journal = {Information and Computation}, volume = {}, number = {}, pages = {}, year = {2011} }

@TechReport{DD11, author = {Yuxin Deng and Wenjie Du}, title = {Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation}, number = {CMU-CS-11-110}, institution = {Carnegie Mellon University}, month = {March}, year = {2011} }

@InProceedings{DGM11, author = {Yuxin Deng and Stephane Grumbach and Jean-Francois Monin}, title = {A Framework for Verifying Data-Centric Protocols}, booktitle = {Proceedings of FMOODS \& FORTE 2011}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2011}, volume = {6722}, pages = {106-120}, note = {Full version appeared as INRIA Research Report 7511} }

@InProceedings{DGHM11, author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan}, title = {Real-Reward Testing for Probabilistic Processes}, booktitle = {Proceedings of the 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11)}, publisher = {Electronic Proceedings in Theoretical Computer Science}, series = {}, volume = {57}, pages = {61-73}, year = {2011} }

@InProceedings{DH11, author = {Yuxin Deng and Matthew Hennessy}, title = {Compositional Reasoning for Markov Decision Processes (Extended Abstract)}, booktitle = {Proceedings of the 4th International Conference on Foundamentals of Software Engineering (FSEN'11)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2011}, volume = {}, pages = {} }

@InProceedings{DG10, author = {Yuxin Deng and Rob van Glabbeek}, title = {Characterising Probabilistic Processes Logically}, booktitle = {Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2010}, volume = {6397}, pages = {278-293} }

@InProceedings{LZD09, author = {Xiangxi Li and Yu Zhang and Yuxin Deng}, title = {Verifying Anonymous Credential Systems in Applied Pi Calculus}, booktitle = {Proceedings of the 8th International Conference on Cryptology and Network Security}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2009}, volume = {5888}, pages = {209-225} }

@InProceedings{DD09b, author = {Yuxin Deng and Wenjie Du}, title = {A Local Algorithm for Checking Probabilistic Bisimilarity}, booktitle = {Proceedings of the 4th International Conference on Frontier of Computer Science and Technology}, publisher = {IEEE Computer Society}, pages = {401-407}, year = {2009} }

@article{DD09a, author = {Wenjie Du and Yuxin Deng}, title = {On Mobility and Communication}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {257}, number = {}, pages = {19-33}, year = {2009} }

@InProceedings{DGHM09, author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan}, title = {Testing Finitary Probabilistic Processes (Extended Abstract)}, booktitle = {Proceedings of the 20th International Conference on Concurrency Theory}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2009}, volume = {5710}, pages = {274-288} }

@InProceedings{DM09, author = {Yuxin Deng and Jean-Francois Monin}, title = {Verifying Self-stabilizing Population Protocols with Coq}, booktitle = {Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering}, publisher = {IEEE Computer Society}, pages = {201-208}, year = {2009} }

@article{DD09, author = {Yuxin Deng and Wenjie Du}, title = {Kantorovich Metric in Computer Science: A Brief Survey}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {353}, number = {3}, pages = {73-82}, year = {2009} }

@InProceedings{CD08, author = {Xin Chen and Yuxin Deng}, title = {Game Characterizations of Process Equivalences}, booktitle = {Proceedings of the 6th Asian Symposium on Programming Languages and Systems}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5356}, pages = {107-121}, year = {2008} }

@InProceedings{PLD08, author = {Jun Pang and Zhengqin Luo and Yuxin Deng}, title = {On Automatic Verification of Self-stabilizing Population Protocols}, booktitle = {Proceedings of the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering}, publisher = {IEEE Computer Society}, pages = {185-192}, year = {2008} }

@article{Deng07, author = {Yuxin Deng}, title = {A simple completeness proof for the axiomatisations of weak behavioural equivalences}, journal = {Bulletin of the EATCS}, volume = {93}, year = {2007}, pages = {207-219} }

@InProceedings{DGMZ07b, author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang}, title = {Characterising Testing Preorders for Finite Probabilistic Processes}, booktitle = {Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science}, publisher = {IEEE Computer Society}, pages = {313-325}, year = {2007} }

@article{DGHM08, author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan}, title = {Characterising Testing Preorders for Finite Probabilistic Processes}, journal = {Logical Methods in Computer Science}, volume = {4}, number = {4:4}, pages = {1-33}, year = {2008} }

@article{DGHMZ07, author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang}, title = {Remarks on Testing Probabilistic Processes}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {172}, number = {}, pages = {359-397}, year = {2007} }

@InProceedings{DGMZ07, author = {Yuxin Deng and Rob van Glabbeek and Carroll Morgan and Chenyi Zhang}, title = {Scalar Outcomes Suffice for Finitary Probabilistic Testing}, booktitle = {Proceedings of the 16th European Symposium on Programming}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2007}, volume = {4421}, pages = {363-378} }

@article{DD07, author = {Yuxin Deng and Wenjie Du}, title = {Probabilistic Barbed Congruence}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {3}, pages = {185-203}, year = {2007}, note = {Also appeared in {\em Proceedings of the 5th Workshop on Quantitative Aspects of Programming Languages}} }

@InProceedings{SDC07, author = {Lin Song and Yuxin Deng and Xiaojuan Cai}, title = {Towards automatic measurement of probabilistic processes}, booktitle = {Proceedings of the 7th International Conference on Quality Software}, publisher = {IEEE Computer Society}, pages = {50-59}, year = {2007} }

@InProceedings{LCPD07, author = {Zhengqin Luo and Xiaojuan Cai and Jun Pang and Yuxin Deng}, title = {Analyzing an Electronic Cash Protocol Using Applied Pi Calculus}, booktitle = {Proceedings of the 5th International Conference on Applied Cryptography and Network Security}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2007}, volume = {4521}, pages = {87-103} }

@InProceedings{DPW07, author = {Yuxin Deng and Jun Pang and Peng Wu}, title = {Measuring Anonymity with Relative Entropy}, booktitle = {Proceedings of the 4th International Workshop on Formal Aspects in Security and Trust}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2007}, volume = {4691}, pages = {65-79} }

@InProceedings{DPP05a, author = {Yuxin Deng and Catuscia Palamidessi and Jun Pang}, title = {Compositional Reasoning for Probabilistic Finite-State Behaviors}, booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday}, year = {2005}, pages = {309-337}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3838} }

@article{DPP05, author = {Yuxin Deng and Catuscia Palamidessi and Jun Pang}, title = {Weak Probabilistic Anonymity}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {180}, number = {1}, pages = {55-76}, year = {2007}, note = {Also appeared in {\em Proceedings of the 3rd International Workshop on Security Issues in Concurrency}} }

@article{DCPP05, author = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi and Jun Pang}, title = {Metrics for Action-labelled Quantitative Transition Systems}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {153}, number = {2}, pages = {79-96}, year = {2006}, note = {Also appeared in {\em Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages}} }

@InProceedings{DP05, author = {Yuxin Deng and Catuscia Palamidessi}, title = {Axiomatizations for probabilistic finite-state behaviors}, booktitle = {Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2005}, volume = {3441}, pages = {110-124} }

@Article{DP07, author = {Yuxin Deng and Catuscia Palamidessi}, title = {Axiomatizations for probabilistic finite-state behaviors}, journal = {Theoretical Computer Science}, volume = {373}, number = {1-2}, pages = {92-114}, year = {2007} }

@InProceedings{DS04b, author = {Yuxin Deng and Davide Sangiorgi}, title = {Ensuring termination by typability}, booktitle = {Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science}, publisher = {Kluwer}, pages = {619--632}, year = {2004} }

@Article{DS06, author = {Yuxin Deng and Davide Sangiorgi}, title = {Ensuring termination by typability}, journal = {Information and Computation}, volume = {204}, number = {7}, pages = {1045-1082}, year = {2006} }

@InProceedings{DS04a, author = {Yuxin Deng and Davide Sangiorgi}, title = {Towards an algebraic theory of typed mobile processes}, booktitle = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3142}, pages = {445--456}, year = {2004} }

@Article{DS05, author = {Yuxin Deng and Davide Sangiorgi}, title = {Towards an algebraic theory of typed mobile processes}, journal = {Theoretical Computer Science}, volume = {350}, number = {2-3}, pages = {188-212}, year = {2006} }

@Article{DF01, author = {Yuxin Deng and Yuxi Fu}, title = {Algorithm for verifying strong open bisimulation in full pi-calculus}, journal = {Journal of Shanghai Jiaotong University}, volume = {E-5}, number = {2}, pages = {147--152}, year = {2001} }