Ji Guan

According to our database, Ji Guan authored at least 19 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Quantum Algorithm for Fidelity Estimation.

Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying

IEEE Trans. Inf. Theory, 2023

Detecting Violations of Differential Privacy for Quantum Algorithms.

Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

New Quantum Algorithms for Computing Quantum Entropies and Distances.

Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying

CoRR, 2022

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.

Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu

CoRR, 2022

A Probabilistic Logic for Verifying Continuous-time Markov Chains.

Ji Guan, Nengkun Yu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Verifying Fairness in Quantum Machine Learning.

Ji Guan, Wang Fang, Mingsheng Ying

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

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, Youming Qiao, Xiaoming Sun

SIAM J. Comput., 2021

quantum walks.

Ji Guan, Qisheng Wang, Mingsheng Ying

Quantum Inf. Comput., 2021

Model Checking Quantum Continuous-Time Markov Chains.

Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Robustness Verification of Quantum Classifiers.

Ji Guan, Wang Fang, Mingsheng Ying

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Robustness Verification of Quantum Machine Learning.

Ji Guan, Wang Fang, Mingsheng Ying

CoRR, 2020

Verification of Continuous-time Markov Chains.

Ji Guan, Nengkun Yu

CoRR, 2020

2019

From independent sets and vertex colorings to isotropic spaces and isotropic decompositions.

Xiaohui Bei, Shiteng Chen, Ji Guan, Youming Qiao, Xiaoming Sun

CoRR, 2019

Model Checking Applied to Quantum Physics.

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying

CoRR, 2019

2018

Decomposition of quantum Markov chains and its applications

Ji Guan

PhD thesis, 2018

Super-activating quantum memory with entanglement.

Ji Guan, Yuan Feng, Mingsheng Ying

Quantum Inf. Comput., 2018

Decomposition of quantum Markov chains and its applications.

Ji Guan, Yuan Feng, Mingsheng Ying

J. Comput. Syst. Sci., 2018

Q|SI⟩ : A Quantum Programming Environment.

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Q|SI〉: A Quantum Programming Environment.

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying

CoRR, 2017