关注
Ji Guan
Ji Guan
在 ios.ac.cn 的电子邮件经过验证
标题
引用次数
引用次数
年份
 : 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
442018
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
352022
Decomposition of quantum Markov chains and its applications
J Guan, Y Feng, M Ying
Journal of Computer and System Sciences 95, 55-68, 2018
262018
Robustness verification of quantum classifiers
J Guan, W Fang, M Ying
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
232021
New quantum algorithms for computing quantum entropies and distances
Q Wang, J Guan, J Liu, Z Zhang, M Ying
IEEE Transactions on Information Theory, 2024
182024
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
Verifying fairness in quantum machine learning
J Guan, W Fang, M Ying
International Conference on Computer Aided Verification, 408-429, 2022
112022
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
102021
The structure of decoherence-free subsystems
J Guan, Y Feng, M Ying
arXiv preprint arXiv:1802.04904, 2018
102018
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
9*2021
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
82022
Robustness Verification of Quantum Machine Learning.
J Guan, W Fang, M Ying
CoRR, 2020
82020
Model checking quantum continuous-time Markov chains
M Xu, J Mei, J Guan, N Yu
arXiv preprint arXiv:2105.00382, 2021
72021
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
62023
A probabilistic logic for verifying continuous-time Markov chains
J Guan, N Yu
International Conference on Tools and Algorithms for the Construction and …, 2022
52022
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
32017
Measurement-based verification of quantum markov chains
J Guan, Y Feng, A Turrini, M Ying
International Conference on Computer Aided Verification, 533-554, 2024
12024
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
系统目前无法执行此操作,请稍后再试。
文章 1–20