Ji Guan

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 22

Top Topics

Quantum Computing

Numerically Stable

Top Venues

Quantum Inf. Comput.

IEEE Trans. Inf. Theory

J. Comput. Syst. Sci.

Publications

Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
Detecting Violations of Differential Privacy for Quantum Algorithms. CoRR (2023)
Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
Detecting Violations of Differential Privacy for Quantum Algorithms. CCS (2023)
Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
Quantum Algorithm for Fidelity Estimation. IEEE Trans. Inf. Theory 69 (1) (2023)
Ji Guan, Wang Fang, Mingsheng Ying
Verifying Fairness in Quantum Machine Learning. CoRR (2022)
Ji Guan, Wang Fang, Mingsheng Ying
Verifying Fairness in Quantum Machine Learning. CAV (2) (2022)
Ji Guan, Nengkun Yu
A Probabilistic Logic for Verifying Continuous-time Markov Chains. TACAS (2) (2022)
Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
New Quantum Algorithms for Computing Quantum Entropies and Distances. CoRR (2022)
Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR (2022)
Ji Guan, Wang Fang, Mingsheng Ying
Robustness Verification of Quantum Classifiers. CAV (1) (2021)
Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun
From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge between Graphs and Alternating Matrix Spaces. SIAM J. Comput. 50 (3) (2021)
Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
Model Checking Quantum Continuous-Time Markov Chains. CONCUR (2021)
Ji Guan, Qisheng Wang, Mingsheng Ying
quantum walks. Quantum Inf. Comput. 21 (5&6) (2021)
Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
Model Checking Quantum Continuous-Time Markov Chains. CoRR (2021)
Ji Guan, Nengkun Yu
Verification of Continuous-time Markov Chains. CoRR (2020)
Ji Guan, Wang Fang, Mingsheng Ying
Robustness Verification of Quantum Machine Learning. CoRR (2020)
Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun
From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge Between Graphs and Alternating Matrix Spaces. ITCS (2020)
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
Model Checking Applied to Quantum Physics. CoRR (2019)
Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions. CoRR (2019)
Ji Guan, Yuan Feng, Mingsheng Ying
Decomposition of quantum Markov chains and its applications. J. Comput. Syst. Sci. 95 (2018)
Ji Guan, Yuan Feng, Mingsheng Ying
Super-activating quantum memory with entanglement. Quantum Inf. Comput. 18 (13&14) (2018)
Ji Guan, Yuan Feng, Mingsheng Ying
Super-activating Quantum Memory with Entanglement. CoRR (2017)
Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying
Q|SI〉: A Quantum Programming Environment. CoRR (2017)