Yuxin Deng

According to our database, Yuxin Deng authored at least 82 papers between 2004 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

DMapS: End-to-End Qubit Mapping and Routing for Distributed Quantum Computing Architectures.

Tingyu Luo, Yuzhen Zheng, Yuxin Deng, Xiang Fu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2026

EZCache: A Hierarchical Memory System for Zoned Neutral Atom Quantum Computers.

Jiayi Zhong, Yuxin Deng, Hui Jiang, Jiacheng Feng

Proceedings of the 40th ACM International Conference on Supercomputing, 2026

2025

MoDA: Mixture of Domain Adapters for Parameter-efficient Generalizable Person Re-identification.

Yang Wang, Yixing Zhang, Xudie Ren, Yuxin Deng

ACM Trans. Multim. Comput. Commun. Appl., May, 2025

Trusta: Reasoning about assurance cases with formal methods and large language models.

Zezhong Chen, Yuxin Deng, Wenjie Du

Sci. Comput. Program., 2025

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.

Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu

Log. Methods Comput. Sci., 2025

Enhancing Large-Scale Code Understanding Through Goal Structuring Notation and Large Language Models.

Zezhong Chen, Yuxin Deng, Wenjie Du

Comput. Informatics, 2025

Cycle-Aware Parallel Optimization for Mitigating ZZ Crosstalk on Quantum Hardware.

Jiayi Zhong, Yuxin Deng

Proceedings of the 54th International Conference on Parallel Processing, 2025

2024

Termination and Universal Termination Problems for Nondeterministic Quantum Programs.

Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng, Zhi-Bin Li

ACM Trans. Softw. Eng. Methodol., November, 2024

A Pattern Matching Based Framework for Quantum Circuit Rewriting.

Hui Jiang, Dian-Kang Li, Yuxin Deng, Ming Xu

J. Comput. Sci. Technol., November, 2024

Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.

Wenjun Shi, Qinxiang Cao, Yuxin Deng

J. Circuits Syst. Comput., April, 2024

Qubit Mapping Based on Tabu Search.

Hui Jiang, Yuxin Deng, Ming Xu

J. Comput. Sci. Technol., March, 2024

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.

Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2024

Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs.

Yuxin Deng, Huiling Wu, Ming Xu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2023

2022

An algebraic method to fidelity-based model checking over quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

Model checking QCTL plus on quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

Formal semantics of a classical-quantum language.

Yuxin Deng, Yuan Feng

Theor. Comput. Sci., 2022

Encodability Criteria for Quantum Based Systems (Technical Report).

Anna Schmitt, Kirstin Peters, Yuxin Deng

CoRR, 2022

Encodability Criteria for Quantum Based Systems.

Anna Schmitt, Kirstin Peters, Yuxin Deng

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021

Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features.

Xiang Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, Yuan Feng

ACM Trans. Quantum Comput., December, 2021

An optimal quantum error-correcting procedure using quantifier elimination.

Ying-Ji Sun, Ming Xu, Yuxin Deng

Quantum Inf. Process., 2021

Symbolic Reasoning About Quantum Circuits in Coq.

Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng

J. Comput. Sci. Technol., 2021

Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.

Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping.

Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2021

Explaining GBDT by Probabilistic Finite-State Automata.

Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng

Proceedings of the ICCPR '21: 10th International Conference on Computing and Pattern Recognition, Shanghai, China, October 15, 2021

2020

Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu

Proc. ACM Program. Lang., 2020

Reachability of Patterned Conditional Pushdown Systems.

Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki

J. Comput. Sci. Technol., 2020

Time-bounded termination analysis for probabilistic programs with delays.

Ming Xu, Yuxin Deng

Inf. Comput., 2020

SMT-based generation of symbolic automata.

Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang

Acta Informatica, 2020

Verifying Quantum Communication Protocols with Ground Bisimulation.

Xudong Qin, Yuxin Deng, Wenjie Du

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Qsimulation V2.0: An Optimized Quantum Simulator.

Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

Simulations for Multi-Agent Systems with Imperfect Information.

Patrick Gardy, Yuxin Deng

Proceedings of the Formal Methods and Software Engineering, 2019

Formalisation of Probabilistic Testing Semantics in Coq.

Yuxin Deng, Jean-François Monin

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems.

Hengyang Wu, Yuxin Deng

IEEE Trans. Fuzzy Syst., 2018

Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016).

Marcello M. Bonsangue, Yuxin Deng

Sci. Comput. Program., 2018

Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.

Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng

Fuzzy Sets Syst., 2018

Generating Permission-Based Security Policies.

Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

Bisimulations for Probabilistic and Quantum Processes (Invited Paper).

Yuxin Deng

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Probabilistic bisimilarity as testing equivalence.

Yuxin Deng, Yuan Feng

Inf. Comput., 2017

Bisimulations for probabilistic linear lambda calculi.

Yuxin Deng, Yuan Feng

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

On Equivalence Checking of Nondeterministic Finite Automata.

Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics.

Yuxin Deng, Min Zhang, Guoqing Lei

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Logical characterizations of simulation and bisimulation for fuzzy transition systems.

Hengyang Wu, Yuxin Deng

Fuzzy Sets Syst., 2016

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.

Wenjie Du, Yuxin Deng, Daniel Gebler

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Program equivalence in linear contexts.

Yuxin Deng, Yu Zhang

Theor. Comput. Sci., 2015

Modal Characterisations of Behavioural Pseudometrics.

Yuxin Deng, Wenjie Du, Daniel Gebler

CoRR, 2015

On Coinduction and Quantum Lambda Calculi.

Yuxin Deng, Yuan Feng, Ugo Dal Lago

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Symbolic Bisimulation for Quantum Processes.

Yuan Feng, Yuxin Deng, Mingsheng Ying

ACM Trans. Comput. Log., 2014

Real-reward testing for probabilistic processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Theor. Comput. Sci., 2014

Modal Characterisations of Probabilistic and Fuzzy Bisimulations.

Yuxin Deng, Hengyang Wu

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Compositional reasoning for weighted Markov decision processes.

Yuxin Deng, Matthew Hennessy

Sci. Comput. Program., 2013

The Buffered π-Calculus: A Model for Concurrent Languages.

Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong

Proceedings of the Language and Automata Theory and Applications, 2013

2012

Characterisations of testing preorders for a finite probabilistic π-calculus.

Yuxin Deng, Alwen Tiu

Formal Aspects Comput., 2012

Open Bisimulation for Quantum Processes.

Yuxin Deng, Yuan Feng

Proceedings of the Theoretical Computer Science, 2012

2011

Real-Reward Testing for Probabilistic Processes (Extended Abstract)

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation

Yuxin Deng, Wenjie Du

CoRR, 2011

On the Semantics of Markov Automata.

Yuxin Deng, Matthew Hennessy

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Compositional Reasoning for Markov Decision Processes - (Extended Abstract).

Yuxin Deng, Matthew Hennessy

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

A Framework for Verifying Data-Centric Protocols.

Yuxin Deng, Stéphane Grumbach, Jean-François Monin

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Characterising Probabilistic Processes Logically

Yuxin Deng, Rob J. van Glabbeek

CoRR, 2010

Characterising Probabilistic Processes Logically - (Extended Abstract).

Yuxin Deng, Rob J. van Glabbeek

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

On Mobility and Communication.

Wenjie Du, Yuxin Deng

Proceedings of the Fifth International Symposium on Domain Theory, 2009

The Kantorovich Metric in Computer Science: A Brief Survey.

Yuxin Deng, Wenjie Du

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

A Local Algorithm for Checking Probabilistic Bisimilarity.

Yuxin Deng, Wenjie Du

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Testing Finitary Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Verifying Anonymous Credential Systems in Applied Pi Calculus.

Xiangxi Li, Yu Zhang, Yuxin Deng

Proceedings of the Cryptology and Network Security, 8th International Conference, 2009

2008

Characterising Testing Preorders for Finite Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Log. Methods Comput. Sci., 2008

On Automatic Verification of Self-Stabilizing Population Protocols.

Jun Pang, Zhengqin Luo, Yuxin Deng

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Game Characterizations of Process Equivalences.

Xin Chen, Yuxin Deng

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Remarks on Testing Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Probabilistic Barbed Congruence.

Yuxin Deng, Wenjie Du

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Characterising Testing Preorders for Finite Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Scalar Outcomes Suffice for Finitary Probabilistic Testing.

Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang

Proceedings of the Programming Languages and Systems, 2007

Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.

Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng

Proceedings of the Applied Cryptography and Network Security, 5th International Conference, 2007

2006

Measuring Anonymity with Relative Entropy.

Yuxin Deng, Jun Pang, Peng Wu

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

Weak Probabilistic Anonymity.

Yuxin Deng, Catuscia Palamidessi, Jun Pang

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Metrics for Action-labelled Quantitative Transition Systems.

Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Axiomatizations for Probabilistic Finite-State Behaviors.

Yuxin Deng, Catuscia Palamidessi

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Compositional Reasoning for Probabilistic Finite-State Behaviors.

Yuxin Deng, Catuscia Palamidessi, Jun Pang

Proceedings of the Processes, 2005

2004

Ensuring Termination by Typability.

Yuxin Deng, Davide Sangiorgi

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Towards an Algebraic Theory of Typed Mobile Processes.

Yuxin Deng, Davide Sangiorgi

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004