Yuxin Deng

97 papers A* 2A 1B 8C 6Misc 4Journal 52Unranked 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
DMapS: End-to-End Qubit Mapping and Routing for Distributed Quantum Computing Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tingyu Luo, Yuzhen Zheng, Yuxin Deng, Xiang Fu
2025 J jnl
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.
Log. Methods Comput. Sci.
Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu
2025 B conf
Cycle-Aware Parallel Optimization for Mitigating ZZ Crosstalk on Quantum Hardware.
ICPP
Jiayi Zhong, Yuxin Deng
2025 J jnl
Enhancing Large-Scale Code Understanding Through Goal Structuring Notation and Large Language Models.
Comput. Informatics
Zezhong Chen, Yuxin Deng, Wenjie Du
2025 J jnl
MoDA: Mixture of Domain Adapters for Parameter-efficient Generalizable Person Re-identification.
ACM Trans. Multim. Comput. Commun. Appl.
Yang Wang, Yixing Zhang, Xudie Ren, Yuxin Deng
2025 J jnl
Trusta: Reasoning about assurance cases with formal methods and large language models.
Sci. Comput. Program.
Zezhong Chen, Yuxin Deng, Wenjie Du
2024 J jnl
A Pattern Matching Based Framework for Quantum Circuit Rewriting.
J. Comput. Sci. Technol.
Hui Jiang, Dian-Kang Li, Yuxin Deng, Ming Xu
2024 — conf
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains.
HSCC
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
2024 J jnl
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.
CoRR
Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li
2024 J jnl
Encodability Criteria for Quantum Based Systems.
Log. Methods Comput. Sci.
Anna Schmitt, Kirstin Peters, Yuxin Deng
2024 J jnl
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.
J. Circuits Syst. Comput.
Wenjun Shi, Qinxiang Cao, Yuxin Deng
2024 — conf
Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs.
VMCAI (2)
Yuxin Deng, Huiling Wu, Ming Xu
2024 J jnl
Qubit Mapping Based on Tabu Search.
J. Comput. Sci. Technol.
Hui Jiang, Yuxin Deng, Ming Xu
2024 J jnl
Termination and Universal Termination Problems for Nondeterministic Quantum Programs.
ACM Trans. Softw. Eng. Methodol.
Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng, Zhi-Bin Li
2023 J jnl
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs.
CoRR
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
2023 J jnl
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs.
CoRR
Yuxin Deng, Huiling Wu, Ming Xu
2023 J jnl
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models.
CoRR
Zezhong Chen, Yuxin Deng, Wenjie Du
2022 J jnl
An algebraic method to fidelity-based model checking over quantum Markov chains.
Theor. Comput. Sci.
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2022 J jnl
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
Sci. Ann. Comput. Sci.
Wenjie Du, Yuxin Deng, Daniel Gebler
2022 J jnl
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.
CoRR
Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu
2022 J jnl
Encodability Criteria for Quantum Based Systems (Technical Report).
CoRR
Anna Schmitt, Kirstin Peters, Yuxin Deng
2022 C conf
Encodability Criteria for Quantum Based Systems.
FORTE
Anna Schmitt, Kirstin Peters, Yuxin Deng
2022 J jnl
Formal semantics of a classical-quantum language.
Theor. Comput. Sci.
Yuxin Deng, Yuan Feng
2022 J jnl
Model checking QCTL plus on quantum Markov chains.
Theor. Comput. Sci.
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2021 J jnl
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains.
CoRR
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
2021 J jnl
An optimal quantum error-correcting procedure using quantifier elimination.
Quantum Inf. Process.
Ying-Ji Sun, Ming Xu, Yuxin Deng
2021 — conf
Explaining GBDT by Probabilistic Finite-State Automata.
ICCPR
Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng
2021 J jnl
Formal Semantics of a Classical-Quantum Language.
CoRR
Yuxin Deng, Yuan Feng
2021 — conf
Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping.
PAKDD (3)
Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng
2021 J jnl
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features.
ACM Trans. Quantum Comput.
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
2021 J jnl
Symbolic Reasoning About Quantum Circuits in Coq.
J. Comput. Sci. Technol.
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
2021 — conf
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.
QRS Companion
Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li
2020 J jnl
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.
Proc. ACM Program. Lang.
Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu
2020 C conf
Qsimulation V2.0: An Optimized Quantum Simulator.
ICTAC
Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du
2020 J jnl
Reachability of Patterned Conditional Pushdown Systems.
J. Comput. Sci. Technol.
Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki
2020 J jnl
SMT-based generation of symbolic automata.
Acta Informatica
Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
2020 J jnl
Symbolic Reasoning about Quantum Circuits in Coq.
CoRR
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
2020 J jnl
Time-bounded termination analysis for probabilistic programs with delays.
Inf. Comput.
Ming Xu, Yuxin Deng
2020 — conf
Verifying Quantum Communication Protocols with Ground Bisimulation.
TACAS (2)
Xudong Qin, Yuxin Deng, Wenjie Du
2019 — conf
Formalisation of Probabilistic Testing Semantics in Coq.
The Art of Modelling Computational Systems
Yuxin Deng, Jean-François Monin
2019 C conf
Simulations for Multi-Agent Systems with Imperfect Information.
ICFEM
Patrick Gardy, Yuxin Deng
2018 J jnl
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.
Fuzzy Sets Syst.
Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng
2018 B conf
Bisimulations for Probabilistic and Quantum Processes (Invited Paper).
CONCUR
Yuxin Deng
2018 J jnl
Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems.
IEEE Trans. Fuzzy Syst.
Hengyang Wu, Yuxin Deng
2018 — conf
Generating Permission-Based Security Policies.
DSA
Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby
2018 J jnl
Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016).
Sci. Comput. Program.
Marcello M. Bonsangue, Yuxin Deng
2017 C conf
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics.
ICFEM
Yuxin Deng, Min Zhang, Guoqing Lei
2017 Misc conf
Bisimulations for probabilistic linear lambda calculi.
TASE
Yuxin Deng, Yuan Feng
2017 Misc conf
On Equivalence Checking of Nondeterministic Finite Automata.
SETTA
Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang
2017 J jnl
Probabilistic bisimilarity as testing equivalence.
Inf. Comput.
Yuxin Deng, Yuan Feng
2016 Misc conf
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
SETTA
Wenjie Du, Yuxin Deng, Daniel Gebler
2016 J jnl
Logical characterizations of simulation and bisimulation for fuzzy transition systems.
Fuzzy Sets Syst.
Hengyang Wu, Yuxin Deng
2015 J jnl
Modal Characterisations of Behavioural Pseudometrics.
CoRR
Yuxin Deng, Wenjie Du, Daniel Gebler
2015 B conf
On Coinduction and Quantum Lambda Calculi.
CONCUR
Yuxin Deng, Yuan Feng, Ugo Dal Lago
2015 J jnl
Program equivalence in linear contexts.
Theor. Comput. Sci.
Yuxin Deng, Yu Zhang
2014 C conf
Modal Characterisations of Probabilistic and Fuzzy Bisimulations.
ICFEM
Yuxin Deng, Hengyang Wu
2014 J jnl
Real-reward testing for probabilistic processes.
Theor. Comput. Sci.
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
2014 J jnl
Symbolic Bisimulation for Quantum Processes.
ACM Trans. Comput. Log.
Yuan Feng, Yuxin Deng, Mingsheng Ying
2013 J jnl
Compositional reasoning for weighted Markov decision processes.
Sci. Comput. Program.
Yuxin Deng, Matthew Hennessy
2013 J jnl
On the semantics of Markov automata.
Inf. Comput.
Yuxin Deng, Matthew Hennessy
2013 C conf
The Buffered π-Calculus: A Model for Concurrent Languages.
LATA
Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong
2012 J jnl
Characterisations of testing preorders for a finite probabilistic π-calculus.
Formal Aspects Comput.
Yuxin Deng, Alwen Tiu
2012 J jnl
Open Bisimulation for Quantum Processes
CoRR
Yuxin Deng, Yuan Feng
2012 — conf
Open Bisimulation for Quantum Processes.
IFIP TCS
Yuxin Deng, Yuan Feng
2012 J jnl
Symbolic bisimulation for quantum processes
CoRR
Yuan Feng, Yuxin Deng, Mingsheng Ying
2011 — conf
A Framework for Verifying Data-Centric Protocols.
FMOODS/FORTE
Yuxin Deng, Stéphane Grumbach, Jean-François Monin
2011 — conf
Compositional Reasoning for Markov Decision Processes - (Extended Abstract).
FSEN
Yuxin Deng, Matthew Hennessy
2011 J jnl
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
CoRR
Yuxin Deng, Wenjie Du
2011 — conf
On the Semantics of Markov Automata.
ICALP (2)
Yuxin Deng, Matthew Hennessy
2011 — conf
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
QAPL
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
2010 J jnl
Characterising Probabilistic Processes Logically
CoRR
Yuxin Deng, Rob J. van Glabbeek
2010 — conf
Characterising Probabilistic Processes Logically - (Extended Abstract).
LPAR (Yogyakarta)
Yuxin Deng, Rob J. van Glabbeek
2009 — conf
A Local Algorithm for Checking Probabilistic Bisimilarity.
FCST
Yuxin Deng, Wenjie Du
2009 — conf
On Mobility and Communication.
ISDT
Wenjie Du, Yuxin Deng
2009 B conf
Testing Finitary Probabilistic Processes.
CONCUR
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
2009 — conf
The Kantorovich Metric in Computer Science: A Brief Survey.
QAPL
Yuxin Deng, Wenjie Du
2009 B conf
Verifying Anonymous Credential Systems in Applied Pi Calculus.
CANS
Xiangxi Li, Yu Zhang, Yuxin Deng
2008 J jnl
Characterising Testing Preorders for Finite Probabilistic Processes
CoRR
Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan
2008 J jnl
Characterising Testing Preorders for Finite Probabilistic Processes.
Log. Methods Comput. Sci.
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
2008 B conf
Game Characterizations of Process Equivalences.
APLAS
Xin Chen, Yuxin Deng
2008 Misc conf
On Automatic Verification of Self-Stabilizing Population Protocols.
TASE
Jun Pang, Zhengqin Luo, Yuxin Deng
2008 J jnl
On automatic verification of self-stabilizing population protocols.
Frontiers Comput. Sci. China
Jun Pang, Zhengqin Luo, Yuxin Deng
2007 B conf
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.
ACNS
Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
2007 J jnl
Axiomatizations for probabilistic finite-state behaviors.
Theor. Comput. Sci.
Yuxin Deng, Catuscia Palamidessi
2007 A* conf
Characterising Testing Preorders for Finite Probabilistic Processes.
LICS
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
2007 — conf
Probabilistic Barbed Congruence.
QAPL
Yuxin Deng, Wenjie Du
2007 — conf
Remarks on Testing Probabilistic Processes.
Computation, Meaning, and Logic
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
2007 A conf
Scalar Outcomes Suffice for Finitary Probabilistic Testing.
ESOP
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
2006 J jnl
Ensuring termination by typability.
Inf. Comput.
Yuxin Deng, Davide Sangiorgi
2006 — conf
Measuring Anonymity with Relative Entropy.
Formal Aspects in Security and Trust
Yuxin Deng, Jun Pang, Peng Wu
2006 J jnl
Towards an algebraic theory of typed mobile processes.
Theor. Comput. Sci.
Yuxin Deng, Davide Sangiorgi
2005 B conf
Axiomatizations for Probabilistic Finite-State Behaviors.
FoSSaCS
Yuxin Deng, Catuscia Palamidessi
2005 — conf
Compositional Reasoning for Probabilistic Finite-State Behaviors.
Processes, Terms and Cycles
Yuxin Deng, Catuscia Palamidessi, Jun Pang
2005 — conf
Metrics for Action-labelled Quantitative Transition Systems.
QAPL
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
2005 — conf
Weak Probabilistic Anonymity.
SecCO@CONCUR
Yuxin Deng, Catuscia Palamidessi, Jun Pang
2004 — conf
Ensuring Termination by Typability.
IFIP TCS
Yuxin Deng, Davide Sangiorgi
2004 A* conf
Towards an Algebraic Theory of Typed Mobile Processes.
ICALP
Yuxin Deng, Davide Sangiorgi