近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
Yuxin Deng, Kaining Zhang, Shihua Zhang, Yansheng Li, Jiayi Ma: ResMatch: Residual Attention Learning for Feature Matching. AAAI 2024: 1501-1509
Yuxin Deng, Jiayi Ma: SDGMNet: Statistic-Based Dynamic Gradient Modulation for Local Descriptor Learning. AAAI 2024: 1510-1518
Yuxin Deng, Huiling Wu, Ming Xu: Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) 2024: 163-184
Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li: Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. CoRR abs/2402.15827 (2024)
Jingwei Wu, Wanxi Mao, Yuxin Deng, Jinghong Xu: Child Safety and Data Privacy in Smart Homes With Speakers: Comparison of Privacy Policies in the United States and China. IEEE Secur. Priv. 21(5): 6-17 (2023)
Yuxin Deng, Jinxing Li, Wangqiang Jiang, Min Zhang: Investigation on the Radar Scattering and Doppler Spectrum From Trimaran Based on the Motion of Six Degrees of Freedom. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16: 6889-6901 (2023)
Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang: Preface for the special issue of Theoretical Computer Science in honor of the 60th birthday of Yuxi Fu. Theor. Comput. Sci. 945: 113720 (2023)
Yuxin Deng, Jiayi Ma: ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning. IEEE Trans. Image Process. 32: 591-602 (2023)
Yuxin Deng, Jiayi Ma: ResMatch: Residual Attention Learning for Local Feature Matching. CoRR abs/2307.05180 (2023)
Yuxin Deng, Huiling Wu, Ming Xu: Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs. CoRR abs/2308.04741 (2023)
Zezhong Chen, Yuxin Deng, Wenjie Du: Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models. CoRR abs/2309.12941 (2023)
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li: A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR abs/2310.11882 (2023)
Wenjie Du, Yuxin Deng, Daniel Gebler: Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. Sci. Ann. Comput. Sci. 32(2): 211-254 (2022)
Linfeng Tang, Yuxin Deng, Yong Ma, Jun Huang, Jiayi Ma: SuperFusion: A Versatile Image Registration and Fusion Network with Semantic Awareness. IEEE CAA J. Autom. Sinica 9(12): 2121-2137 (2022)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng: Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. 913: 43-72 (2022)
Yuxin Deng, Yuan Feng: Formal semantics of a classical-quantum language. Theor. Comput. Sci. 913: 73-93 (2022)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng: An algebraic method to fidelity-based model checking over quantum Markov chains. Theor. Comput. Sci. 935: 61-81 (2022)
Anna Schmitt, Kirstin Peters, Yuxin Deng: Encodability Criteria for Quantum Based Systems. FORTE 2022: 151-169
Yuxin Deng: Invited talk: Formal Verification of Quantum Protocols. FAVPQC@ICFEM 2022: 1
Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu: Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR abs/2202.05412 (2022)
Anna Schmitt, Kirstin Peters, Yuxin Deng: Encodability Criteria for Quantum Based Systems (Technical Report). CoRR abs/2204.06068 (2022)
Yuxin Deng, Jiayi Ma: ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning. CoRR abs/2205.07439 (2022)
Shih-Hong Huang, Chieh-Yang Huang, Yuxin Deng, Hua Shen, Szu-Chi Kuan, Ting-Hao Kenneth Huang: Too Slow to Be Useful? On Incorporating Humans in the Loop of Smart Speakers. CoRR abs/2212.03969 (2022)
Cong Tian, Yuxin Deng, Yu Jiang: Preface to the Topic of Formal Methods and Their Applications. Int. J. Softw. Informatics 11(4): 379-381 (2021)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng: Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36(6): 1291-1306 (2021)
Ying-Ji Sun, Ming Xu, Yuxin Deng: An optimal quantum error-correcting procedure using quantifier elimination. Quantum Inf. Process. 20(4): 170 (2021)
Yuxin Deng, Min Zhang, Wangqiang Jiang, Letian Wang: Electromagnetic Scattering of Near-Field Turbulent Wake Generated by Accelerated Propeller. Remote. Sens. 13(24): 5178 (2021)
Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng: Explaining GBDT by Probabilistic Finite-State Automata. ICCPR 2021: 328-333
Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng: Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping. PAKDD (3) 2021: 141-154
Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li: Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness. QRS Companion 2021: 487-493
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng: An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains. CoRR abs/2101.04971 (2021)
Jiayi Ma, Yuxin Deng: SDGMNet: Statistic-based Dynamic Gradient Modulation for Local Descriptor Learning. CoRR abs/2106.04434 (2021)
Yuxin Deng, Yuan Feng: Formal Semantics of a Classical-Quantum Language. CoRR abs/2107.00804 (2021)
Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang: SMT-based generation of symbolic automata. Acta Informatica 57(3-5): 627-656 (2020)
Ming Xu, Yuxin Deng: Time-bounded termination analysis for probabilistic programs with delays. Inf. Comput. 275: 104634 (2020)
Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki: Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. 35(6): 1295-1311 (2020)
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu: Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. 4(POPL): 25:1-25:30 (2020)
Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du: Qsimulation V2.0: An Optimized Quantum Simulator. ICTAC 2020: 307-316
Xudong Qin, Yuxin Deng, Wenjie Du: Verifying Quantum Communication Protocols with Ground Bisimulation. TACAS (2) 2020: 21-38
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng: Symbolic Reasoning about Quantum Circuits in Coq. CoRR abs/2005.11023 (2020)
Yuxin Deng, Jean-Fran?ois Monin: Formalisation of Probabilistic Testing Semantics in Coq. The Art of Modelling Computational Systems 2019: 276-292
Patrick Gardy, Yuxin Deng: Simulations for Multi-Agent Systems with Imperfect Information. ICFEM 2019: 138-153
Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng: Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets Syst. 333: 106-123 (2018)
Marcello M. Bonsangue, Yuxin Deng: Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). Sci. Comput. Program. 162: 1-2 (2018)
Hengyang Wu, Yuxin Deng: Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems. IEEE Trans. Fuzzy Syst. 26(2): 416-429 (2018)
Yuxin Deng: Bisimulations for Probabilistic and Quantum Processes (Invited Paper). CONCUR 2018: 2:1-2:14
Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby: Generating Permission-Based Security Policies. DSA 2018: 1-7
Yuxin Deng, Yuan Feng: Probabilistic bisimilarity as testing equivalence. Inf. Comput. 257: 58-64 (2017)
Yuxin Deng, Min Zhang, Guoqing Lei: An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. ICFEM 2017: 464-480
Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang: On Equivalence Checking of Nondeterministic Finite Automata. SETTA 2017: 216-231
Yuxin Deng, Yuan Feng: Bisimulations for probabilistic linear lambda calculi. TASE 2017: 1-8
Hengyang Wu, Yuxin Deng: Logical characterizations of simulation and bisimulation for fuzzy transition systems. Fuzzy Sets Syst. 301: 19-36 (2016)
Yuxin Deng, Robert J. Simmons, Iliano Cervesato: Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. 26(5): 868-906 (2016)
Wenjie Du, Yuxin Deng, Daniel Gebler: Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. SETTA 2016: 67-84
Yuxin Deng: Book Introduction by the Author: Semantics of Probabilistic Processes An Operational Approach. Bull. EATCS 116 (2015)
Yuxin Deng, Yu Zhang: Program equivalence in linear contexts. Theor. Comput. Sci. 585: 71-90 (2015)
Yuxin Deng, Yuan Feng, Ugo Dal Lago: On Coinduction and Quantum Lambda Calculi. CONCUR 2015: 427-440
Yuxin Deng, Wenjie Du, Daniel Gebler: Modal Characterisations of Behavioural Pseudometrics. CoRR abs/1509.03391 (2015)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Real-reward testing for probabilistic processes. Theor. Comput. Sci. 538: 16-36 (2014)
Yuan Feng, Yuxin Deng, Mingsheng Ying: Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15(2): 14:1-14:32 (2014)
Yuxin Deng, Hengyang Wu: Modal Characterisations of Probabilistic and Fuzzy Bisimulations. ICFEM 2014: 123-138
Yuxin Deng, Matthew Hennessy: On the semantics of Markov automata. Inf. Comput. 222: 139-168 (2013)
Yuxin Deng, Matthew Hennessy: Compositional reasoning for weighted Markov decision processes. Sci. Comput. Program. 78(12): 2537-2579 (2013)
Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong: The Buffered π-Calculus: A Model for Concurrent Languages. LATA 2013: 250-261
Yuxin Deng, Yuan Feng: Open Bisimulation for Quantum Processes. IFIP TCS 2012: 119-133
Yuxin Deng, Iliano Cervesato, Robert J. Simmons: Relating Reasoning Methodologies in Linear Logic and Process Algebra. LINEARITY 2012: 50-60
Yuxin Deng, Yuan Feng: Open Bisimulation for Quantum Processes. CoRR abs/1201.0416 (2012)
Yuan Feng, Yuxin Deng, Mingsheng Ying: Symbolic bisimulation for quantum processes. CoRR abs/1202.3484 (2012)
Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong: The Buffered π-Calculus: A Model for Concurrent Languages. CoRR abs/1212.6183 (2012)
Yuxin Deng, Stéphane Grumbach, Jean-Fran?ois Monin: A Framework for Verifying Data-Centric Protocols. FMOODS/FORTE 2011: 106-120
Yuxin Deng, Matthew Hennessy: Compositional Reasoning for Markov Decision Processes - (Extended Abstract). FSEN 2011: 143-157
Yuxin Deng, Matthew Hennessy: On the Semantics of Markov Automata. ICALP (2) 2011: 307-318
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Real-Reward Testing for Probabilistic Processes (Extended Abstract). QAPL 2011: 61-73
Yuxin Deng, Wenjie Du: Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation. CoRR abs/1103.4577 (2011)
Yuxin Deng, Yu Zhang: Program Equivalence in Linear Contexts. CoRR abs/1106.2872 (2011)
Yuxin Deng, Rob J. van Glabbeek: Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) 2010: 278-293
Yuxin Deng, Rob J. van Glabbeek: Characterising Probabilistic Processes Logically. CoRR abs/1007.5188 (2010)
Xiangxi Li, Yu Zhang, Yuxin Deng: Verifying Anonymous Credential Systems in Applied Pi Calculus. CANS 2009: 209-225
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Testing Finitary Probabilistic Processes. CONCUR 2009: 274-288
Yuxin Deng, Wenjie Du: A Local Algorithm for Checking Probabilistic Bisimilarity. FCST 2009: 401-407
Yuxin Deng, Jean-Fran?ois Monin: Verifying Self-stabilizing Population Protocols with Coq. TASE 2009: 201-208
Wenjie Du, Yuxin Deng: On Mobility and Communication. ISDT 2009: 19-33
Yuxin Deng, Wenjie Du: The Kantorovich Metric in Computer Science: A Brief Survey. QAPL 2009: 73-82
Jun Pang, Zhengqin Luo, Yuxin Deng: On automatic verification of self-stabilizing population protocols. Frontiers Comput. Sci. China 2(4): 357-367 (2008)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes. Log. Methods Comput. Sci. 4(4) (2008)
Xin Chen, Yuxin Deng: Game Characterizations of Process Equivalences. APLAS 2008: 107-121
Xiaojuan Cai, Yuxin Deng: A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol. ISCSCT (2) 2008: 87-90
Jun Pang, Zhengqin Luo, Yuxin Deng: On Automatic Verification of Self-Stabilizing Population Protocols. TASE 2008: 185-192
Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes. CoRR abs/0810.3708 (2008)
Yuxin Deng: A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences. Bull. EATCS 93: 207-219 (2007)
Yuxin Deng, Catuscia Palamidessi: Axiomatizations for probabilistic finite-state behaviors. Theor. Comput. Sci. 373(1-2): 92-114 (2007)
Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng: Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS 2007: 87-103
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang: Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP 2007: 363-378
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Characterising Testing Preorders for Finite Probabilistic Processes. LICS 2007: 313-325
Lin Song, Yuxin Deng, Xiaojuan Cai: Towards Automatic Measurement of Probabilistic Processes. QSIC 2007: 50-59
Yuxin Deng, Wenjie Du: Probabilistic Barbed Congruence. QAPL 2007: 185-203
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Remarks on Testing Probabilistic Processes. Computation, Meaning, and Logic 2007: 359-397
Yuxin Deng, Davide Sangiorgi: Ensuring termination by typability. Inf. Comput. 204(7): 1045-1082 (2006)
Yuxin Deng, Davide Sangiorgi: Towards an algebraic theory of typed mobile processes. Theor. Comput. Sci. 350(2-3): 188-212 (2006)
Yuxin Deng, Jun Pang, Peng Wu: Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79
Yuxin Deng: Axiomatisations and Types for Probabilistic and Mobile Processes. (Axiomatisations et types pour des processus probabilistes et mobiles). Mines ParisTech, France, 2005
Yuxin Deng, Catuscia Palamidessi, Jun Pang: Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles 2005: 309-337
Yuxin Deng, Catuscia Palamidessi: Axiomatizations for Probabilistic Finite-State Behaviors. FoSSaCS 2005: 110-124
Yuxin Deng, Catuscia Palamidessi, Jun Pang: Weak Probabilistic Anonymity. SecCO@CONCUR 2005: 55-76
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang: Metrics for Action-labelled Quantitative Transition Systems. QAPL 2005: 79-96
Yuxin Deng, Davide Sangiorgi: Towards an Algebraic Theory of Typed Mobile Processes. ICALP 2004: 445-456
Yuxin Deng, Davide Sangiorgi: Ensuring Termination by Typability. IFIP TCS 2004: 619-632
学术兼职
《Scientific Annals of Computer Science》编委
中国计算机学会杰出会员, ACM会员, 《Mathematical Reviews》评论员
上海市计算机学会理论计算机科学专业委员会主任（2019.10 - 2024.4）
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)
京公网安备 11010802027423号