Follow
Ji Guan
Ji Guan
Verified email at ios.ac.cn
Title
Cited by
Cited by
Year
 : A Quantum Programming Environment
S Liu, X Wang, L Zhou, J Guan, Y Li, Y He, R Duan, M Ying
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor …, 2018
452018
Quantum algorithm for fidelity estimation
Q Wang, Z Zhang, K Chen, J Guan, W Fang, J Liu, M Ying
IEEE Transactions on Information Theory 69 (1), 273-282, 2022
272022
Decomposition of quantum Markov chains and its applications
J Guan, Y Feng, M Ying
Journal of Computer and System Sciences 95, 55-68, 2018
232018
Robustness verification of quantum classifiers
J Guan, W Fang, M Ying
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
172021
Efficient quantum repeater with respect to both entanglement-concentration rate and complexity of local operations and classical communication
Z Su, J Guan, L Li
Physical Review A 97 (1), 012325, 2018
132018
New quantum algorithms for computing quantum entropies and distances
Q Wang, J Guan, J Liu, Z Zhang, M Ying
arXiv preprint arXiv:2203.13522, 2022
122022
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions: Another bridge between graphs and alternating matrix spaces
X Bei, S Chen, J Guan, Y Qiao, X Sun
SIAM Journal on Computing 50 (3), 924-971, 2021
92021
AN HHL-BASED ALGORITHM FOR COMPUTING HITTING PROBABILITIES OF QUANTUM WALKS
J Guan, Q Wang, M Ying
Quantum Information and Computation 2021 (5&6), 0395-0408, 2021
8*2021
Robustness Verification of Quantum Machine Learning.
J Guan, W Fang, M Ying
CoRR, 2020
82020
The structure of decoherence-free subsystems
J Guan, Y Feng, M Ying
arXiv preprint arXiv:1802.04904, 2018
82018
Model checking quantum continuous-time Markov chains
M Xu, J Mei, J Guan, N Yu
arXiv preprint arXiv:2105.00382, 2021
62021
Verifying fairness in quantum machine learning
J Guan, W Fang, M Ying
International Conference on Computer Aided Verification, 408-429, 2022
52022
VeriQBench: A benchmark for multiple types of quantum circuits
K Chen, W Fang, J Guan, X Hong, M Huang, J Liu, Q Wang, M Ying
arXiv preprint arXiv:2206.10880, 2022
42022
Detecting violations of differential privacy for quantum algorithms
J Guan, W Fang, M Huang, M Ying
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
32023
A probabilistic logic for verifying continuous-time Markov chains
J Guan, N Yu
International Conference on Tools and Algorithms for the Construction and …, 2022
32022
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions
X Bei, S Chen, J Guan, Y Qiao, X Sun
arXiv preprint arXiv:1904.03950, 2019
32019
Super-activating quantum memory with entanglement
J Guan, Y Feng, M Ying
arXiv preprint arXiv:1708.00700, 2017
22017
Checking continuous stochastic logic against quantum continuous-time Markov chains
J Mei, M Xu, J Guan, Y Deng, N Yu
arXiv preprint arXiv:2202.05412, 2022
12022
Model checking applied to quantum physics
J Guan, Y Feng, A Turrini, M Ying
arXiv preprint arXiv:1902.03218, 2019
12019
Approximation Algorithm for Noisy Quantum Circuit Simulation
M Huang, J Guan, W Fang, M Ying
arXiv preprint arXiv:2211.17028, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20