Ji Guan

最新发表

Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying (2023). Detecting Violations of Differential Privacy for Quantum Algorithms. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security.

引用 DOI URL

Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying (2023). Quantum Algorithm for Fidelity Estimation. IEEE Transactions on Information Theory.

引用 DOI

Ji Guan, Wang Fang, Mingsheng Ying (2022). Verifying Fairness in Quantum Machine Learning. Computer Aided Verification.

引用

Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, Mingsheng Ying (2022). VeriQBench: A Benchmark for Multiple Types of Quantum Circuits.

引用 arXiv URL

Ji Guan, Wang Fang, Mingsheng Ying (2021). Robustness Verification of Quantum Classifiers. Computer Aided Verification.

引用

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

引用 arXiv URL

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying (2018). $$Q|SIbackslashrangle $$ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday.

引用 DOI URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). Decomposition of quantum Markov chains and its applications. Journal of Computer and System Sciences.

引用 DOI URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). Super-activating Quantum Memory with Entanglement.

引用 arXiv URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). The Structure of Decoherence-free Subsystems.

引用 arXiv URL