头像

邓玉欣

职称: 教授 博导

直属机构: 软件工程学院

学科:

相关教师

个人资料

  • 部门: 软件工程学院
  • 性别:
  • 专业技术职务: 副院长
  • 毕业院校: Ecole des Mines de Paris
  • 学位: 博士
  • 学历: 博士研究生
  • 联系电话: 021-62231281
  • 电子邮箱: yxdeng@sei.ecnu.edu.cn
  • 办公地址: 理科大楼B1115室
  • 通讯地址: 上海市普陀区中山北路3663号华东师范大学理科大楼B1115室
  • 邮编: 200062
  • 传真: 021-62235255

教育经历

  • 2002-9至2005-7, 法国巴黎国立高等矿业学院, 博士

  • 1999-9至2002-3, 上海交通大学, 硕士 

  • 1995-9至1999-7, 上海交通大学, 学士


工作经历

  • 2015-6至今, 华东师范大学, 教授

  • 2012-2至2014-2, 联合国教科文组织巴黎总部, 借调专家(P3级)

  • 2011-2至2011-12, 美国卡内基梅隆大学, 访问学者

  • 2006-9至2015-5, 上海交通大学, 副教授

  • 2005-9至2006-9, 澳大利亚新南威尔士大学, 博士后

个人简介

对并发理论中的经典进程演算和概率进程演算进行了深入研究。在经典进程演算方向,为有限CCS进程提出了统一五种弱同余关系公理化的方法,提炼了一个关于弱互模拟的基本性质,后来被国外学者以“邓引理”(Deng Lemma)的形式写进教科书。在概率进程演算方向,证明了有限概率标号迁移系统上测试语义与模拟语义的一致性,并完成了一部英文专著《Semantics of Probabilistic Processes: An Operational Approach》,对概率进程的互模拟关系作了详细论述,从度量、逻辑、以及算法等角度进行刻画,并深入阐述了有限状态概率系统上测试语义与模拟语义的内在联系与差别。已出版一本教材《函数式程序设计》。


曾在CONCUR 2018作特邀报告,在众多国际会议中任程序委员会委员,其中包括CAV 2021、CAV 2022、LICS 2023等。担任期刊Scientific Annals of Computer Science编辑,上海市计算机学会理论专委会主任,中国计算机学会高级会员,以及教育部高等学校计算机类专业教学指导委员会“计算机专业教育丛书 – 基础理论系列”编委会委员。




社会兼职

  • 上海市计算机学会理论计算机科学专业委员会主任(2019至今)

  • 《Scientific Annals of Computer Science》编辑

  • 《Mathematical Reviews》评论员, 中国计算机学会杰出会员, ACM会员

  • Invited speaker for the 29th International Conference on Concurrency Theory (CONCUR 2018)

  • Invited speaker for the Annual Meeting of IFIP Working Group 2.2, Bordeaux, 2017

  • Invited speaker for the Annual Meeting of IFIP Working Group 2.2, Singapore, 2016

  • Invited speaker for the Mathematical Structures of Computation workshop, Lyon, 2014

  • Invited speaker for the BASICS 2009 International Workshop on Computation and Interaction (BASICS 2009)

  • Invited tutorial speaker for the 8th Asian Symposium on Programming Languages and Systems (APLAS 2010)

  • PC co-chair for the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)

  • PC co-chair for The 2nd National Conference on Formal Methods and Applications (FMAC’17)

  • Organization committee chair for the 4th National Conference on Formal Methods and Applications (FMAC 2019)

  • PC member for

    •     –  The 5th International Workshop on Security Issues in Concurrency (SecCo 2007)

          –  The 25th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2009)

          –  The 4th International Conference on Frontier of Computer Science and Technology (FCST 2009)

          –  The 8th International Conference on Quantitative Evaluation of Systems (QEST 2011)

          –  ACM SIGPLAN 7th Workshop on Programming Languages and Analysis for Security (PLAS 2012)

          –  The 40th International Colloquium on Automata, Languages and Programming (ICALP 2013)

          –  The 10th International Conference on Quantitative Evaluation of Systems (QEST 2013)

          –  The 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)

          –  The 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)

          –  The 2nd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2016)

          –  The 43th International Colloquium on Automata, Languages and Programming (ICALP 2016)

          –  The 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017)

          –  The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)

          –  The 4th Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2018)

          –  The 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017)

          –  The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)

          –  The 21st International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2018)

          –  The 15th International Conference on Quantitative Evaluation of Systems (QEST 2018)

          –  The 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018)

          –  The 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)

          –  The 20th International Conference on Formal Engineering Methods (ICFEM 2018)

          –  The 3rd National Conference on Formal Methods and Applications (FMAC 2018)

          –  The 35th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2019)

          –  The 30th International Conference on Concurrency Theory (CONCUR 2019)

          –  The 16th International Conference on Quantitative Evaluation of Systems (QEST 2019)

          –  The 4th National Conference on Formal Methods and Applications (FMAC 2019)

          –  The 21st International Conference on Formal Engineering Methods (ICFEM 2019)

          –  The 17th International Conference on Quantitative Evaluation of Systems (QEST 2020)

          –  The 32nd International Conference on Concurrency Theory (CONCUR 2021)

          –  The 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021)

          –  The 33rd International Conference on Computer-Aided Verification (CAV 2021)

          –  The 34th International Conference on Computer-Aided Verification (CAV 2022)

          –  The 23rd International Conference on Formal Engineering Methods (ICFEM 2022)

          –  The 38th Annual IEEE Symposium on Logic in Computer Science (LICS 2023)

研究方向

并发理论,程序语义,形式化验证,量子计算。近期主要研究量子程序设计理论、量子算法和量子电路的功能正确性验证。


更多研究信息可见

https://scholar.google.com/citations?user=anobfigAAAAJ&hl=en&oi=ao

https://dblp.uni-trier.de/pers/hd/d/Deng:Yuxin


欢迎对软件理论感兴趣的硕士、博士、博士后加入本课题组!

联系邮箱:yxdeng @ sei.ecnu.edu.cn

招生与培养

开授课程


科研项目

–  国家自然科学基金委员会,面上项目,62072176,经典-量子混合程序的形式化验证,2021-01至2024-12, 在研,主持

–  国家自然科学基金委员会,重点项目,61832015,量子程序设计的理论基础,2019-01至2023-12,在研,参加

–  国家自然科学基金委员会,面上项目,61672229,量化进程的语义,2017-01至2020-12, 已结题,主持

–  国家自然科学基金委员会,国际合作(中法)项目,61261130589,非普通进程的分析技术 、余归纳和可表达性,2013-01至2016-12,已结题,参加

–  国家自然科学基金委员会,面上项目,61173033,概率并发理论,2012-01至2015-12, 已结题,主持

–  国家自然科学基金委员会,重点项目,61033002,M-可解性,M-计算复杂性与计算 机科学的模型理论,2011-01至2014-12,已结题,参加

–  国家自然科学基金委员会,国际合作(中日)项目,61011140074,多线程程序语言 的程序分析研究,2010-01至2012-12,已结题,参加

–  国家自然科学基金委员会,青年项目,60703033,概率进程演算的测试语义, 2008-01至2010-12,已结题,主持

学术成果

代表性研究成果:


  1.  - Yuxin Deng.
    Semantics of Probabilistic Processes: An Operational Approach.
     Jointly published by Springer-Verlag and Shanghai Jiao Tong University Press, 2015.  
    An introduction of the book has appeared in Bulletin of the European Association for Theoretical Computer Science, No. 116, June 2015.
    Author-prepared version (for personal use only),   [Bib]

  2. - Yuxin Deng, Huiling Wu and Ming Xu.
    Local Reasoning about Probabilistic Behaviour for Classical–Quantum Programs.
    Proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024). Lecture Notes in Computer Science 14500, pages 163-184. Springer, 2024.
    [PDF]

  3. - Hui Jiang, Yuxin Deng and Ming Xu.
    Qubit Mapping Based on Tabu Search.
    Journal of Computer Science and Technology. 2023. To appear.
    [PDF]

  4. - Yuxin Deng and Yuan Feng.
    Formal Semantics of a Classical-Quantum Language.
    Theoretical Computer Science 913: 73-93, 2022.
    [PDF]

  5. - Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng.
    An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains.
    Theoretical Computer Science 935: 61-81, 2022.
    [PDF]

  6. - Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng.
    Model Checking QCTL Plus on Quantum Markov Chains.
    Theoretical Computer Science 913: 43-72, 2022.
    [PDF]

  7. - Anna Schmitt, Kirstin Peters, Yuxin Deng.
    Encodability Criteria for Quantum Based Systems.
    Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE’22). Lecture Notes in Computer Science 13273, pages 151-169. Springer, 2022.
    [PDF]

  8. - The Quingo Development Team.
    Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features.
    ACM Transactions on Quantum Computing, Vol. 2, No. 4, Article 19, 2021.
    [PDF]

  9. - Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, and Yuan Feng.
    Symbolic Reasoning about Quantum Circuits in Coq.
    Journal of Computer Science and Technology 36(6): 1291-1306, 2021.
    [PDF]

  10. - Ying-Ji Sun, Ming Xu, and Yuxin Deng.
    An optimal quantum error-correcting procedure using quantifier elimination.
    Quantum Information Processing 20: 170, 2021.
    [PDF]

  11. - Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, and Jinghui Li.
    Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.
    Proceedings of the 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), pages 487-493. IEEE, 2021.
    [PDF]

  12. - Ming Xu and Yuxin Deng.
    Time-Bounded Termination Analysis for Probabilistic Programs with Delays.
    Information and Computation 275, 104634, 2020.
    [PDF],[Abstract],[Bib]

  13. - Xin Li, Patrick Gardy, Yuxin Deng, and Hiroyuki Seki.
    Reachability of Patterned Conditional Pushdown Systems.
    Journal of Computer Science and Technology 35(6): 1295-1311, 2020.
    [PDF],[Abstract],[Bib]

  14. - Huw Wu, Yuxin Deng, Ming Xu, and Wenjie Du.
    Qsimulation V2.0: An Optimized Quantum Simulator.
    In Proceedings of the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020), Lecture Notes in Computer Science 12545, pages 307-316. Springer, 2020.
    [PDF],[Abstract],[Bib]

  15. - Xudong Qin, Yuxin Deng, and Wenjie Du.
    Verifying Quantum Communication Protocols with Ground Bisimulation.
    In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020),  Lecture Notes in Computer Science 12079, pages 21-38. Springer, 2020.
    [PDF], [Abstract], [Bib]

  16. - Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, and Min Zhang.
    SMT-Based Generation of Symbolic Automata.
    Acta Informatica 57:627-656, 2020.
    [PDF], [Abstract], [Bib]

  17. - Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu.
    Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.
     In Proceedings of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), PACMPL 4, Article 25, 2020.
    [PDF], [Abstract], [Bib]

  18. - Yuxin Deng and Jean-Francois Monin.
    Formalisation of Probabilistic Testing Semantics in Coq.
    In 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, Lecture Notes in Computer Science 11760, pages 276-292. Springer, 2019.

    [PDF], [Abstract], [Bib]

  19. - Patrick Gardy and Yuxin Deng.
    Simulations for Multi-Agent Systems with Imperfect Information.
     In Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)., Lecture Notes in Computer Science  11852, pages 138-153. Springer, 2019.

    [PDF], [Abstract], [Bib]

  20. - Yuxin Deng
    Bisimulations for Probabilistic and Quantum Processes (Invited Paper).
     In Proceedings of the 29th International Conference on Concurrency Theory (CONCUR'18),  LIPIcs 118, pages 2:1-2:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018.
    [PDF], [Abstract], [Bib]

  21. - Hengyang Wu and Yuxin Deng.
    Distribution-Based Behavioural Distance for Nondeterministic Fuzzy Transition Systems.
    IEEE Transactions on Fuzzy Systems 26(2): 416-429, 2018.
    [PDF], [Abstract], [Bib]

  22. - Hengyang Wu, Yixiang Chen, Tianming Bu, and Yuxin Deng.
    Algorithmic and Logical Characterizations of Bisimulation for Non-deterministic Fuzzy Transition Systems.
    Fuzzy Sets and Systems 333: 106-123, 2018.
    [PDF], [Abstract], [Bib]

  23. - Yuxin Deng and Yuan Feng.
    Probabilistic Bisimilarity as Testing Equivalence.
    Information and Computation 257: 58-64, 2017.
    [PDF], [Abstract], [Bib]

  24. - Yuxin Deng and Yuan Feng.
    Bisimulations for Probabilistic Linear Lambda Calculi.
     In Proceedings of the 11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'17), pages 1-8. IEEE Computer Society, 2017.
    [PDF],  [Abstract],  [Bib]

  25. - Yuxin Deng, Min Zhang, and Guoqing Lei.
    An Algebraic Approach to Automatic Reasoning for NetKAT Based on its Operational Semantics.
     In Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM'17)., Lecture Notes in Computer Science 10610, pages 464-480. Springer, 2017.
    [PDF], [Abstract], [Bib]

  26. - Chen Fu, Yuxin Deng, David N. Jansen, and Lijun Zhang.
    On Equivalence Checking of Nondeterministic Finite Automata.
     In Proceedings of the 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'17), Lecture Notes in Computer Science 10606, pages 216-231. Springer, 2017.
    [PDF], [Abstract], [Bib]

  27. - Wenjie Du, Yuxin Deng, and Daniel Gebler.
    Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
     In Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'16), Lecture Notes in Computer Science 9984, pages 67-84. Springer, 2016.
    [PDF], [Abstract], [Bib]

  28. - Wenjie Du, Yuxin Deng, and Daniel Gebler.
    Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
    Scientific Annals of Computer Science, 32 (2): 211–254, 2022.
    [PDF]

  29. - Hengyang Wu and Yuxin Deng.
    Logical Characterizations of Simulation and Bisimulation for Fuzzy Transition Systems.
    Fuzzy Sets and Systems 301: 19-36, 2016
    [PDF], [Abstract], [Bib]

  30. - Yuxin Deng, Yuan Feng, and Ugo Dal Lago.
    On Coinduction and Quantum Lambda Calculi.
     In Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15),  LIPIcs 42, pages 427-440. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,  2015.
    [PDF], [Abstract], [Bib]

  31. - Yuxin Deng and Yu Zhang.
    Program Equivalence in Linear Contexts.
    Theoretical Computer Science, 585: 71-90, 2015.
    [PS], [PDF], [Abstract], [Bib]

  32. - Yuxin Deng, Rob J. Simmons, and Iliano Cervesato.
    Relating Reasoning Methodologies in Linear Logic and Process Algebra.
    Mathematical Structures in Computer Science, pages 1-39. Cambridge University Press, December 2014.
    [PDF], [Abstract], [Bib]

  33. - Yuan Feng, Yuxin Deng, and Mingsheng Ying.
    Symbolic bisimulation for quantum processes.
    ACM Transactions on Computational Logic, Vol. 15, No. 2, Article 14, April 2014.
    [PDF], [Abstract], [Bib]

  34. - Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, and Carroll Morgan.
    Real-Reward Testing for Probabilistic Processes.
    Theoretical Computer Science, 538:16-36, June 2014.
    [PS], [PDF], [Abstract], [Bib]

  35. - Yuxin Deng and Hengyang Wu.
    Modal Characterisations of Probabilistic and Fuzzy Bisimulations.
     In Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM'14). Lecture Notes in Computer Science 8829, pages 123-138. Springer, 2014.
    [PDF], [Abstract], [Bib]

  36. - Yuxin Deng and Matthew Hennessy.
    Compositional Reasoning for Weighted Markov Decision Processes.
    Science of Computer Programming, 78: 2537-2579, 2013.
    [PS], [PDF], [Abstract], [Bib]

  37. - Xiaojie Deng, Yu Zhang, Yuxin Deng and Farong Zhong.
    The Buffered Pi-Calculus: A Model for Concurrent Languages.
     In Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA'13). Lecture Notes in Computer Science 7810, pages 250-261. Springer, 2013.
    [PS], [PDF], [Abstract], [Bib]

  38. - Yuxin Deng and Yuan Feng.
    Open Bisimulation for Quantum Processes.
     In Proceedings of the 7th IFIP International Conference on Theoretical Computer Science (TCS'12). Lecture Notes in Computer Science 7604, pages 119-133. Springer, 2012.
    [PS], [PDF], [Abstract], [Bib]

  39. - Yuxin Deng and Alwen Tiu.
    Characterisations of Testing Preorders for a Finite Probabilistic Pi-Calculus.
    Formal Aspects of Computing, 24(4-6):701-726, 2012.
    [PS], [PDF], [Abstract], [Bib]

  40. - Yuxin Deng, Robert J. Simmons, and Iliano Cervesato.
    Relating Reasoning Methodologies in Linear Logic and Process Algebra.
     In Proceedings of the 2nd International Workshop on Linearity (LINEARITY'12). Electronic Proceedings in Theoretical Computer Science 101: 50-60, 2012.
    [PDF], [Abstract], [Bib]

  41. - Yuxin Deng and Matthew Hennessy.
    On the Semantics of Markov Automata.
     In Proceedings of the 38th International Colloquium on Automata,  Languages and Programming (ICALP'11). Lecture Notes in Computer  Science 6756, pages 307-318. Springer, 2011.
    [PS], [PDF], [Abstract], [Bib]

  42. - Yuxin Deng and Matthew Hennessy.
    On the Semantics of Markov Automata.
    Information and Computation, 222:139-168, 2013. (Special issue of ICALP'11, track B).
    [PS], [PDF], [Abstract], [Bib]

  43. - Yuxin Deng and Wenjie Du.
    Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation.
     Technical Report CMU-CS-11-110, Carnegie Mellon University, 2011.
    [PS], [PDF], [Abstract], [Bib]

  44. - Yuxin Deng, Stephane Grumbach, and Jean-Francois Monin.
    A Framework for Verifying Data-Centric Protocols.
     In Proceedings of the 13th IFIP International Conference on Formal  Methods for Object-based Distributed Systems & the 31th IFIP  International Conference on Formal Techniques for Networked and  Distributed Systems (FMOODS & FORTE'11), Lecture Notes in  Computer Science 6722, pages 106-120. Springer, 2011.
    [PS], [PDF], [Abstract], [Bib], [Full version]

  45. - Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, and Carroll Morgan.
    Real-Reward Testing for Probabilistic Processes.
     In Proceedings of the 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11). Electronic Proceedings in Theoretical Computer Science 57: 61-73. 2011.
    [PS], [PDF], [Abstract], [Bib]

  46. - Yuxin Deng and Matthew Hennessy.
    Compositional Reasoning for Markov Decision Processes (Extended Abstract).
     In Proceedings of the 4th International Conference on Foundamentals of Software Engineering (FSEN'11). Lecture Notes in Computer Science 7141, pages 143-157. Springer, 2012.
    [PS], [PDF], [Abstract], [Bib]

  47. - Yuxin Deng and Rob van Glabbeek.
    Characterising Probabilistic Processes Logically.
     In Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10), Lecture Notes in Computer Science 6397, pages 278-293. Springer, 2010.
    [PS], [PDF], [Abstract], [Bib]

  48. - Xiangxi Li, Yu Zhang, and Yuxin Deng.
    Verifying Anonymous Credential Systems in Applied Pi Calculus.
     In Proceedings of the 8th International Conference on Cryptology and Network Security (CANS'09), Lecture Notes in Computer Science 5888, pp.209-225. Springer, 2009.
    [PS], [PDF], [Abstract], [Bib]

  49. - Yuxin Deng and Wenjie Du.
    A Local Algorithm for Checking Probabilistic Bisimilarity.
     In Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST'09), pp. 401-407. IEEE Computer Society, 2009.
    [PS], [PDF], [Abstract], [Bib]

  50. - Wenjie Du and Yuxin Deng.
    On Mobility and Communication.
     In Proceedings of the 5th International Symposium on Domain Theory (ISDT'09), Electronic Notes in Theoretical Computer Science 257:19-33. Elsevier, 2009.
    [PS], [PDF], [Abstract], [Bib]

  51. - Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, and Carroll Morgan.
    Testing Finitary Probabilistic Processes (Extended Abstract).
     In Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09), Lecture Notes in Computer Science 5710, pp. 274-288. Springer, 2009.
    [PS], [PDF], [Abstract], [Bib]

  52. - Yuxin Deng and Jean-Francois Monin.
    Verifying Self-stabilizing Population Protocols with Coq.
     In Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09), pp. 201-208. IEEE Computer Society, 2009.
    [PS],  [PDF],  [Abstract],  [Bib]

  53. - Yuxin Deng and Wenjie Du.
    Kantorovich Metric in Computer Science: A Brief Survey.
     In Proceedings of the 7th Workshop on Quantitative Aspects of Programming Languages (QAPL'09), Electronic Notes in Theoretical Computer Science 253(3):73-82. Elsevier, 2009.
    [PS],  [PDF],  [Abstract],  [Bib]

  54. - Xin Chen and Yuxin Deng.
    Game Characterizations of Process Equivalences.
     In Proceedings of the 6th Asian Symposium on Programming Languages and Systems (APLAS'08) , Lecture Notes in Computer Science 5356, pp. 107-121. Springer, 2008.
    [PS], [PDF], [Abstract], [Bib]

  55. - Jun Pang, Zhengqin Luo, and Yuxin Deng.
    On Automatic Verification of Self-stabilizing Population Protocols.
     In Proceedings of the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'08), pp. 185-192. IEEE Computer Society, 2008.
    [PS],  [PDF],  [Abstract],  [Bib]

  56. - Yuxin Deng.
    A simple completeness proof for the axiomatisations of weak behavioural equivalences.
    Bulletin of the European Association for Theoretical Computer Science  93: 207-219, 2007.
    [PS],  [PDF],  [Abstract],  [Bib],  [Full version]

  57. - Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan, and Chenyi Zhang.
    Characterising Testing Preorders for Finite Probabilistic Processes (Extended Abstract).
     In Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07), pp. 313-325. IEEE Computer Society, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  58. - Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, and Carroll Morgan.
    Characterising Testing Preorders for Finite Probabilistic Processes.
     In Logical Methods in Computer Science, 4(4:4): 1-33, 2008.
    [PS],  [PDF],  [Abstract],  [Bib]

  59. - Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan, and Chenyi Zhang.
    Remarks on Testing Probabilistic Processes.
     In Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin (L. Cardelli, M. Fiore and G. Winskel, Eds.), Electronic Notes in Theoretical Computer Science, 172: 359-397, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  60. - Yuxin Deng, Rob van Glabbeek, Carroll Morgan, and Chenyi Zhang.
    Scalar Outcomes Suffice for Finitary Probabilistic Testing.
     In Proceedings of the 16th European Symposium on Programming (ESOP'07)  , Lecture Notes in Computer Science 4421, pp. 363-378. Springer, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  61. - Yuxin Deng and Wenjie Du.
    Probabilistic Barbed Congruence.
     In Proceedings of the 5th Workshop on Quantitative Aspects of Programming Languages (QAPL'07), Electronic Notes in Theoretical Computer Science 190(3), pp. 185-203. Elsevier, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  62. - Lin Song, Yuxin Deng, and Xiaojuan Cai.
    Towards automatic measurement of probabilistic processes.
     In Proceedings of the 7th International Conference on Quality Software (QSIC'07), pp. 50-59. IEEE Computer Society, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  63. - Zhengqin Luo, Xiaojuan Cai, Jun Pang, and Yuxin Deng.
    Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.
     In Proceedings of the 5th International Conference on Applied Cryptography and Network Security (ACNS'07), Lecture Notes in Computer Science 4521, pp. 87-103. Springer, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  64. - Yuxin Deng, Jun Pang, and Peng Wu.
    Measuring Anonymity with Relative Entropy.
     In Proceedings of the 4th International Workshop on Formal Aspects in Security and Trust (FAST'06), Lecture Notes in Computer Science 4691, pp. 65-79. Springer, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  65. - Yuxin Deng, Catuscia Palamidessi, and Jun Pang.
    Compositional Reasoning for Probabilistic Finite-State Behaviors.
     In Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 3838, pp. 309-337. Springer, 2005.
    [PS],  [PDF],  [Abstract],  [Bib]

  66. - Yuxin Deng, Catuscia Palamidessi, and Jun Pang.
    Weak probabilistic anonymity.
     In Proceedings of the 3rd International Workshop on Security Issues in Concurrency (SecCo'05), Electronic Notes in Theoretical Computer Science 180(1):55-76. Elsevier, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  67. - Yuxin Deng, Tom Chothia, Catuscia Palamidessi, and Jun Pang.
    Metrics for action-labelled quantitative transition systems.
     In Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL'05), Electronic Notes in Theoretical Computer Science 153(2), pp. 79-96. Elsevier, 2006.
    [PS],  [PDF],  [Abstract],  [Bib]

  68. - Yuxin Deng and Catuscia Palamidessi.
    Axiomatizations for probabilistic finite-state behaviors (Extended Abstract).
     In Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'05), Lecture Notes in Computer Science 3441, pp. 110-124. Springer, 2005.
    [PS],  [PDF],  [Abstract],  [Bib]

  69. - Yuxin Deng and Catuscia Palamidessi.
    Axiomatizations for probabilistic finite-state behaviors.
    Theoretical Computer Science, 373(1-2): 92-114, 2007.
    [PS],  [PDF],  [Abstract],  [Bib]

  70. - Yuxin Deng and Davide Sangiorgi.
    Ensuring termination by typability (Extended Abstract).
     In Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS'04), pp. 619-632. Kluwer, 2004.
    [PS],  [PDF],  [Abstract],  [Bib]

  71. - Yuxin Deng and Davide Sangiorgi.
    Ensuring termination by typability.
    Information and Computation, 204(7): 1045-1082, 2006.
    [PS],  [PDF],  [Abstract],  [Bib]

  72. - Yuxin Deng and Davide Sangiorgi.
    Towards an algebraic theory of typed mobile processes (Extended Abstract).
     An early version appeared in Proceedings of the  31st International Colloquium on Automata, Languages and Programming (ICALP'04), Lecture Notes in Computer Science 3142, pp. 445-456. Springer, 2004.
    [PS],  [PDF],  [Abstract],  [Bib]

  73. - Yuxin Deng and Davide Sangiorgi.
    Towards an algebraic theory of typed mobile processes.
    Theoretical Computer Science, 350(2-3): 188-212, 2006. (Special issue of ICALP-B 2004, D. Sannella, Ed.)
    [PS],  [PDF],  [Abstract],  [Bib]

  74. - Yuxin Deng.
    Axiomatisations and Types for Probabilistic and Mobile Processes.
     PhD thesis, Ecole des Mines de Paris, France, July 2005.

    [PS],  [PDF],  [Abstract],  [Bib]


荣誉及奖励