Q|SI〉: A Quantum Programming Environment. - Shusen Liu 002; Xin Wang 022; Li Zhou 013; Ji Guan 001; Yinan Li; Yang He; Runyao Duan; Mingsheng Ying (CoRR, 2017)

Q|SI⟩ : A Quantum Programming Environment. - Shusen Liu 002; Xin Wang 022; Li Zhou 013; Ji Guan 001; Yinan Li; Yang He; Runyao Duan; Mingsheng Ying (Symposium on Real-Time and Hybrid Systems, 2018)

Decomposition of quantum Markov chains and its applications. - Ji Guan 001; Yuan Feng 001; Mingsheng Ying (J. Comput. Syst. Sci., 2018)

Super-activating quantum memory with entanglement. - Ji Guan 001; Yuan Feng 001; Mingsheng Ying (Quantum Inf. Comput., 2018)

Decomposition of quantum Markov chains and its applications - Ji Guan 001 (2018)

Model Checking Applied to Quantum Physics. - Ji Guan 001; Yuan Feng 001; Andrea Turrini; Mingsheng Ying (CoRR, 2019)

From independent sets and vertex colorings to isotropic spaces and isotropic decompositions. - Xiaohui Bei; Shiteng Chen; Ji Guan 001; Youming Qiao; Xiaoming Sun 001 (CoRR, 2019)

Verification of Continuous-time Markov Chains. - Ji Guan 001; Nengkun Yu (CoRR, 2020)

Robustness Verification of Quantum Machine Learning. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CoRR, 2020)

Robustness Verification of Quantum Classifiers. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CAV (1), 2021)

Model Checking Quantum Continuous-Time Markov Chains. - Ming Xu 010; Jingyi Mei; Ji Guan 001; Nengkun Yu (CONCUR, 2021)

quantum walks. - Ji Guan 001; Qisheng Wang; Mingsheng Ying (Quantum Inf. Comput., 2021)

From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge between Graphs and Alternating Matrix Spaces. - Xiaohui Bei; Shiteng Chen; Ji Guan 001; Youming Qiao; Xiaoming Sun 001 (SIAM J. Comput., 2021)

Verifying Fairness in Quantum Machine Learning. - Ji Guan 001; Wang Fang 001; Mingsheng Ying (CAV (2), 2022)

A Probabilistic Logic for Verifying Continuous-time Markov Chains. - Ji Guan 001; Nengkun Yu (TACAS (2), 2022)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. - Jingyi Mei; Ming Xu 010; Ji Guan 001; Yuxin Deng; Nengkun Yu (CoRR, 2022)

Detecting Violations of Differential Privacy for Quantum Algorithms. - Ji Guan 001; Wang Fang 001; Mingyu Huang; Mingsheng Ying (CCS, 2023)

Quantum Algorithm for Fidelity Estimation. - Qisheng Wang; Zhicheng Zhang; Kean Chen; Ji Guan 001; Wang Fang 001; Junyi Liu 002; Mingsheng Ying (IEEE Trans. Inf. Theory, 2023)

Measurement-Based Verification of Quantum Markov Chains. - Ji Guan 001; Yuan Feng 001; Andrea Turrini; Mingsheng Ying (CAV (3), 2024)

Approximation Algorithm for Noisy Quantum Circuit Simulation. - Mingyu Huang; Ji Guan 001; Wang Fang 001; Mingsheng Ying (DATE, 2024)

VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. - Yanling Lin; Ji Guan 001; Wang Fang 001; Mingsheng Ying; Zhaofeng Su 001 (FM (1), 2024)

Artifact for VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models. - Yanling Lin; Ji Guan 001; Wang Fang 001; Mingsheng Ying; Zhaofeng Su 001 (Zenodo, 2024)

New Quantum Algorithms for Computing Quantum Entropies and Distances. - Qisheng Wang; Ji Guan 001; Junyi Liu 002; Zhicheng Zhang; Mingsheng Ying (IEEE Trans. Inf. Theory, 2024)

Experimental robustness benchmark of quantum neural network on a superconducting quantum processor. - Hai-Feng Zhang; Zhao-Yun Chen; Peng Wang; Liang-Liang Guo; Tian-Le Wang; Xiao-Yan Yang; Ren-Ze Zhao; Ze-An Zhao; Sheng Zhang; Lei Du; Hao-Ran Tao; Zhi-Long Jia; et al. (CoRR, 2025)