Follow
Ji Guan
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, 133-164, 2018
322018
Decomposition of quantum Markov chains and its applications
J Guan, Y Feng, M Ying
Journal of Computer and System Sciences 95, 55-68, 2018
192018
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
102018
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
62021
The structure of decoherence-free subsystems
J Guan, Y Feng, M Ying
arXiv preprint arXiv:1802.04904, 2018
62018
Robustness Verification of Quantum Machine Learning.
J Guan, W Fang, M Ying
CoRR, 2020
52020
Model checking quantum continuous-time Markov chains
M Xu, J Mei, J Guan, N Yu
arXiv preprint arXiv:2105.00382, 2021
42021
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
4*2021
Robustness verification of quantum classifiers
J Guan, W Fang, M Ying
International Conference on Computer Aided Verification, 151-174, 2021
32021
Quantum algorithm for fidelity estimation
Q Wang, Z Zhang, K Chen, J Guan, W Fang, M Ying
arXiv preprint arXiv:2103.09076, 2021
32021
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
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
12022
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
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
2022
Verifying Fairness in Quantum Machine Learning
J Guan, W Fang, M Ying
International Conference on Computer Aided Verification, 408-429, 2022
2022
A probabilistic logic for verifying continuous-time markov chains
J Guan, N Yu
International Conference on Tools and Algorithms for the Construction and …, 2022
2022
Verification of Continuous-time Markov Chains.
J Guan, N Yu
arXiv preprint arXiv:2004.08059, 2020
2020
Decomposition of Quantum Markov Chains and Zero-error Capacity
J Guan, Y Feng, M Ying
arXiv preprint arXiv:1608.06024, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20