Ji Guan

最新发表

(2023). Detecting Violations of Differential Privacy for Quantum Algorithms. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security.

引用 DOI URL

(2023). Quantum Algorithm for Fidelity Estimation. IEEE Transactions on Information Theory.

引用 DOI

(2022). Verifying Fairness in Quantum Machine Learning. Computer Aided Verification.

引用

(2022). VeriQBench: A Benchmark for Multiple Types of Quantum Circuits.

引用 arXiv URL

(2021). Robustness Verification of Quantum Classifiers. Computer Aided Verification.

引用

(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