Ji Guan

According to our database, Ji Guan authored at least 22 papers between 2017 and 2024.

Collaborative distances:

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

2024

New Quantum Algorithms for Computing Quantum Entropies and Distances.

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

IEEE Trans. Inf. Theory, August, 2024

VeriQR: A Robustness Verification Tool for quantum Machine Learning Models.

Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su

Proceedings of the Formal Methods - 26th International Symposium, 2024

Approximation Algorithm for Noisy Quantum Circuit Simulation.

Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Measurement-Based Verification of Quantum Markov Chains.

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

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

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