| 2026 | AAAI | SGPFeat: Semantic and Geometric Priors for Multi-modal Image Matching. | Yuxin Deng, Botian Wang, Kaining Zhang, Hao Zhang, Jiayi Ma |
| 2026 | ICS | EZCache: A Hierarchical Memory System for Zoned Neutral Atom Quantum Computers. | Jiayi Zhong, Yuxin Deng, Hui Jiang, Jiacheng Feng |
| 2026 | WCNC | Hilbert-Wavelet Signal Representation and Supervised Contrastive Learning for Robust Cross-Day WiFi Authentication. | Yongcai Xiao, Songyan Li, Huifang Zhang, Yu Zhang, Heng Liu, Yuxin Deng, Shuangrui Zhao, Jiandong Wang |
| 2025 | AAAI | BEVSync: Asynchronous Data Alignment for Camera-based Vehicle-Infrastructure Cooperative Perception Under Uncertain Delays. | Wentao Wang, Jiaqian Wang, Yuxin Deng, Guang Tan |
| 2025 | CSCW | "You Need to Know What I Can Do": Revealing Sighted People's Workplace Bias Toward the Visually Impaired and Exploring Intervention Through Serious Games. | Qixuan Xu, Ruolan Hu, Yilin Yuan, Yuxin Deng, Tianhui Xiong, Shuchang Xu, Guanhong Liu |
| 2025 | CVPR | Adapting Dense Matching for Homography Estimation with Grid-based Acceleration. | Kaining Zhang, Yuxin Deng, Jiayi Ma, Paolo Favaro |
| 2025 | ICCV | ArgMatch: Adaptive Refinement Gathering for Efficient Dense Matching. | Yuxin Deng, Kaining Zhang, Linfeng Tang, Jiaqi Yang, Jiayi Ma |
| 2025 | ICPP | Cycle-Aware Parallel Optimization for Mitigating ZZ Crosstalk on Quantum Hardware. | Jiayi Zhong, Yuxin Deng |
| 2025 | SMC | QAS-BO : Quantum Architecture Search Based on Bayesian Optimization Applied to Variational Quantum Algorithms. | Shuyan Chao, Yuxin Deng, Zhanou Liu, Yuwei Zhang |
| 2024 | AAAI | SDGMNet: Statistic-Based Dynamic Gradient Modulation for Local Descriptor Learning. | Yuxin Deng, Jiayi Ma |
| 2024 | AAAI | ResMatch: Residual Attention Learning for Feature Matching. | Yuxin Deng, Kaining Zhang, Shihua Zhang, Yansheng Li, Jiayi Ma |
| 2024 | IGARSS | SAR Imaging Simulation of Turbulent Wakes Based on the CFD Technology and EM Scattering Model. | Yuxin Deng, Min Zhang, Wangqiang Jiang, Jinxing Li |
| 2024 | SETTA | An Assertion-Based Logic for Local Reasoning about Probabilistic Programs. | Huiling Wu, Anran Cui, Yuxin Deng |
| 2024 | VMCAI | Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. | Yuxin Deng, Huiling Wu, Ming Xu |
| 2022 | FORTE | Encodability Criteria for Quantum Based Systems. | Anna Schmitt, Kirstin Peters, Yuxin Deng |
| 2022 | ICFEM | Invited talk: Formal Verification of Quantum Protocols. | Yuxin Deng |
| 2021 | PAKDD | Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping. | Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng |
| 2021 | QRS | Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness. | Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li |
| 2020 | ICTAC | Qsimulation V2.0: An Optimized Quantum Simulator. | Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du |
| 2020 | TACAS | Verifying Quantum Communication Protocols with Ground Bisimulation. | Xudong Qin, Yuxin Deng, Wenjie Du |
| 2019 | ICFEM | Simulations for Multi-Agent Systems with Imperfect Information. | Patrick Gardy, Yuxin Deng |
| 2018 | CONCUR | Bisimulations for Probabilistic and Quantum Processes (Invited Paper). | Yuxin Deng |
| 2017 | ICFEM | An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. | Yuxin Deng, Min Zhang, Guoqing Lei |
| 2017 | SETTA | On Equivalence Checking of Nondeterministic Finite Automata. | Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang |
| 2017 | TASE | Bisimulations for probabilistic linear lambda calculi. | Yuxin Deng, Yuan Feng |
| 2016 | SETTA | Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. | Wenjie Du, Yuxin Deng, Daniel Gebler |
| 2015 | CONCUR | On Coinduction and Quantum Lambda Calculi. | Yuxin Deng, Yuan Feng, Ugo Dal Lago |
| 2014 | ICFEM | Modal Characterisations of Probabilistic and Fuzzy Bisimulations. | Yuxin Deng, Hengyang Wu |
| 2013 | LATA | The Buffered π-Calculus: A Model for Concurrent Languages. | Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong |
| 2011 | FORTE | A Framework for Verifying Data-Centric Protocols. | Yuxin Deng, Stphane Grumbach, Jean-Franois Monin |
| 2011 | ICALP | On the Semantics of Markov Automata. | Yuxin Deng, Matthew Hennessy |
| 2010 | LPAR | Characterising Probabilistic Processes Logically - (Extended Abstract). | Yuxin Deng, Rob J. van Glabbeek |
| 2009 | CANS | Verifying Anonymous Credential Systems in Applied Pi Calculus. | Xiangxi Li, Yu Zhang, Yuxin Deng |
| 2009 | CONCUR | Testing Finitary Probabilistic Processes. | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
| 2009 | TASE | Verifying Self-stabilizing Population Protocols with Coq. | Yuxin Deng, Jean-Franois Monin |
| 2008 | APLAS | Game Characterizations of Process Equivalences. | Xin Chen, Yuxin Deng |
| 2008 | TASE | On Automatic Verification of Self-Stabilizing Population Protocols. | Jun Pang, Zhengqin Luo, Yuxin Deng |
| 2007 | ACNS | Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. | Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng |
| 2007 | ESOP | Scalar Outcomes Suffice for Finitary Probabilistic Testing. | Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang |
| 2007 | LICS | Characterising Testing Preorders for Finite Probabilistic Processes. | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |
| 2005 | FOSSACS | Axiomatizations for Probabilistic Finite-State Behaviors. | Yuxin Deng, Catuscia Palamidessi |
| 2004 | ICALP | Towards an Algebraic Theory of Typed Mobile Processes. | Yuxin Deng, Davide Sangiorgi |