@book{Deng15, author = {Yuxin Deng}, title = {Semantics of Probabilistic Processes: An Operational Approach}, publisher = {Springer}, year = {2015}, isbn = {9783662451977}, note = {Jointly published with Shanghai Jiao Tong University Press.} }

@Article{XD20, author = {Ming Xu and Yuxin Deng}, title = {Time-Bounded Termination Analysis for Probabilistic Programs with Delays}, journal = {Information and Computation}, volume = {275}, number = {104634}, pages = {1-23}, year = {2020} }

@Article{LGDS20, author = {Xin Li and Patrick Gardy and Yuxin Deng and Hiroyuki Seki}, title = {Reachability of Patterned Conditional Pushdown Systems}, journal = {Journal of Computer Science and Technology}, volume = {35}, number = {6}, pages = {1295-1311}, year = {2020} }

@InProceedings{WDXD20, author = {Hua Wu and Yuxin Deng and Ming Xu and Wenjie Du}, title = {Qsimulation V2.0: An Optimized Quantum Simulator}, booktitle = {Proceedings of the 17th International Colloquium on Theoretical Aspects of Computing}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2020}, volume = {12545}, pages = {307-316} }

@InProceedings{QDD20, author = {Xudong Qin and Yuxin Deng and Wenjie Du}, title = {Verifying Quantum Communication Protocols with Ground Bisimulation}, booktitle = {Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2020}, volume = {12079}, pages = {21--38} }

@article{QBMHDZ20, author = {Xudong Qin and Simon Bliudze and Eric Madelaine and Zechen Hou and Yuxin Deng and Min Zhang}, title = {SMT-Based Generation of Symbolic Automata}, journal = {Acta Informatica}, volume = {57}, number = {}, pages = {627--656}, year = {2020} }

@article{WFCDX20, author = {Peixin Wang and Hongfei Fu and Krishnendu Chatterjee and Yuxin Deng and Ming Xu}, title = {Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time}, journal = {{PACMPL}}, volume = {4}, number = {{POPL}}, pages = {25:1--25:30}, year = {2020} }

@InProceedings{DM19, author = {Yuxin Deng and Jean-Francois Monin}, title = {Formalisation of Probabilistic Testing Semantics in Coq}, booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2019}, volume = {11760}, pages = {276--292} }

@InProceedings{GD19, author = {Patrick Gardy and Yuxin Deng}, title = {Simulations for Multi-Agent Systems with Imperfect Information}, booktitle = {Proceedings of the 21st International Conference on Formal Engineering Methods}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, year = {2019}, volume = {11852}, pages = {138--153} }

@InProceedings{Deng18, author = {Yuxin Deng}, title = {Bisimulations for Probabilistic and Quantum Processes (Invited Paper)}, booktitle = {Proceedings of the 29th International Conference on Concurrency Theory}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, year = {2018}, volume = {118}, pages = {2:1--2:14} }

@article{BD18, author = {Marcello M. Bonsangue and Yuxin Deng}, title = {Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering {(TASE} 2016)}, journal = {Science of Computer Programming}, volume = {162}, pages = {1--2}, year = {2018} }

@article{WD18, author = {Hengyang Wu and Yuxin Deng}, title = {Distribution-Based Behavioural Distance for Nondeterministic Fuzzy Transition Systems}, journal = {IEEE Transactions on Fuzzy Systems}, volume = {26}, number = {2}, pages = {416-429}, year = {2018} }

@article{WCBD18, author = {Hengyang Wu and Yixiang Chen and Tianming Bu and Yuxin Deng}, title = {Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems}, journal = {Fuzzy Sets and Systems}, volume = {333}, number = {}, pages = {106-123}, year = {2018} }

@Article{DF17a, author = {Yuxin Deng and Yuan Feng}, title = {Probabilistic Bisimilarity as Testing Equivalence}, journal = {Information and Computation}, volume = {257}, number = {}, pages = {58-64}, year = {2017} }

@InProceedings{DF17, author = {Yuxin Deng and Yuan Feng}, title = {Bisimulations for Probabilistic Linear Lambda Calculi}, booktitle = {Proceedings of the 11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'17)}, publisher = {IEEE Computer Society}, series = {}, volume = {}, pages = {1-8}, year = {2017} }

@InProceedings{DZL17, author = {Yuxin Deng and Min Zhang and Guoqing Lei}, title = {An Algebraic Approach to Automatic Reasoning for NetKAT Based on its Operational Semantics}, booktitle = {Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM'17)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {10610}, pages = {464-480}, year = {2017} }

@InProceedings{FDJZ17, author = {Chen Fu and Yuxin Deng and David N. Jansen and Lijun Zhang}, title = {On Equivalence Checking of Nondeterministic Finite Automata}, booktitle = {Proceedings of the the 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'17)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {10606}, pages = {216-231}, year = {2017} }

@InProceedings{DDG16, author = {Wenjie Du and Yuxin Deng and Daniel Gebler}, title = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems}, booktitle = {Proceedings of the the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9984}, pages = {67-84}, year = {2016} }

@article{WD16, author = {Hengyang Wu and Yuxin Deng}, title = {Logical Characterizations of Simulation and Bisimulation for Fuzzy Transition Systems}, journal = {Fuzzy Sets and Systems}, volume = {301}, number = {}, pages = {19-36}, year = {2016} }

@InProceedings{DFD15, author = {Yuxin Deng and Yuan Feng and Ugo Dal Lago}, title = {On Coinduction and Quantum Lambda Calculi}, booktitle = {Proceedings of the 26th International Conference on Concurrency Theory}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, year = {2015}, volume = {42}, pages = {427-440} }

@article{DZ15, author = {Yuxin Deng and Yu Zhang}, title = {Program Equivalence in Linear Contexts}, journal = {Theoretical Computer Science}, volume = {585}, number = {}, pages = {71-90}, year = {2015} }

@article{DSC14, author = {Yuxin Deng and Rob J. Simmons and Iliano Cervesato}, title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra}, journal = {Mathematical Structures in Computer Science}, volume = {December}, number = {}, pages = {1-39}, year = {2014} }

@article{FDY14, author = {Yuan Feng and Yuxin Deng and Mingsheng Ying}, title = {Symbolic bisimulation for quantum processes}, journal = {ACM Transactions on Computational Logic}, volume = {15}, number = {2}, article = {14}, pages = {1-32}, year = {2014} }

@article{DGHM14, author = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan}, title = {Real-Reward Testing for Probabilistic Processes}, journal = {Theoretical Computer Science}, volume = {538}, number = {}, pages = {16-36}, year = {2014} }

@InProceedings{DW14, author = {Yuxin Deng and Hengyang Wu}, title = {Modal Characterisations of Probabilistic and Fuzzy Bisimulations}, booktitle = {Proceedings of the 16th International Conference on Formal Engineering Methods}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8829}, pages = {123-138}, year = {2014} }

@article{DH13, author = {Yuxin Deng and Matthew Hennessy}, title = {Compositional Reasoning for Weighted Markov Decision Processes}, journal = {Science of Computer Programming}, year = {2013}, volume = {78}, number = {}, pages = {2537-2579} }

@InProceedings{DZDZ13, author = {Xiaojie Deng and Yu Zhang and Yuxin Deng and Farong Zhong}, title = {The Buffered Pi-Calculus: A Model for Concurrent Languages}, booktitle = {Proceedings of the 7th International Conference on Language and Automata Theory and Applications}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {7810}, pages = {250-261}, year = {2013} }

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

@article{DSC12, author = {Yuxin Deng and Robert J. Simmons and Iliano Cervesato}, title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {101}, pages = {50-60}, year = {2012} }

@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{DH13, author = {Yuxin Deng and Matthew Hennessy}, title = {On the Semantics of Markov Automata}, journal = {Information and Computation}, volume = {222}, number = {}, pages = {139-168}, year = {2013} }

@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 = {2012}, volume = {7141}, pages = {143-157} }

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

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

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