Realization of Multilayer Occlusion between Real and Virtual Scenes in Augmented Reality. - Yan Feng; Wenjie Du 001; Xiaoqi Guan; Fei Gao; Yimin Chen (CSCWD, 2006)

Probabilistic Barbed Congruence. - Yuxin Deng; Wenjie Du 001 (QAPL, 2007)

A Local Algorithm for Checking Probabilistic Bisimilarity. - Yuxin Deng; Wenjie Du 001 (FCST, 2009)

The Kantorovich Metric in Computer Science: A Brief Survey. - Yuxin Deng; Wenjie Du 001 (QAPL, 2009)

On Mobility and Communication. - Wenjie Du 001; Yuxin Deng (ISDT, 2009)

Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation - Yuxin Deng; Wenjie Du 001 (CoRR, 2011)

Modal Characterisations of Behavioural Pseudometrics. - Yuxin Deng; Wenjie Du 001; Daniel Gebler (CoRR, 2015)

Qsimulation V2.0: An Optimized Quantum Simulator. - Hua Wu; Yuxin Deng; Ming Xu 010; Wenjie Du 001 (ICTAC, 2020)

Verifying Quantum Communication Protocols with Ground Bisimulation. - Xudong Qin; Yuxin Deng; Wenjie Du 001 (TACAS (2), 2020)

Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness. - Yuxin Deng; Zezhong Chen; Wenjie Du 001; Bifei Mao; Zhizhang Liang; Qiushi Lin; Jinghui Li (QRS Companion, 2021)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. - Wenjie Du 001; Yuxin Deng; Daniel Gebler (Sci. Ann. Comput. Sci., 2022)

Trusta: Reasoning about assurance cases with formal methods and large language models. - Zezhong Chen; Yuxin Deng; Wenjie Du 001 (Sci. Comput. Program., 2025)