: 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 | 44 | 2018 |
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 | 35 | 2022 |
Decomposition of quantum Markov chains and its applications J Guan, Y Feng, M Ying Journal of Computer and System Sciences 95, 55-68, 2018 | 26 | 2018 |
Robustness verification of quantum classifiers J Guan, W Fang, M Ying Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 23 | 2021 |
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 | 18 | 2024 |
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 | 13 | 2018 |
Verifying fairness in quantum machine learning J Guan, W Fang, M Ying International Conference on Computer Aided Verification, 408-429, 2022 | 11 | 2022 |
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 | 10 | 2021 |
The structure of decoherence-free subsystems J Guan, Y Feng, M Ying arXiv preprint arXiv:1802.04904, 2018 | 10 | 2018 |
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 | 8 | 2022 |
Robustness Verification of Quantum Machine Learning. J Guan, W Fang, M Ying CoRR, 2020 | 8 | 2020 |
Model checking quantum continuous-time Markov chains M Xu, J Mei, J Guan, N Yu arXiv preprint arXiv:2105.00382, 2021 | 7 | 2021 |
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 | 6 | 2023 |
A probabilistic logic for verifying continuous-time Markov chains J Guan, N Yu International Conference on Tools and Algorithms for the Construction and …, 2022 | 5 | 2022 |
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 | 3 | 2019 |
Super-activating quantum memory with entanglement J Guan, Y Feng, M Ying arXiv preprint arXiv:1708.00700, 2017 | 3 | 2017 |
Measurement-based verification of quantum markov chains J Guan, Y Feng, A Turrini, M Ying International Conference on Computer Aided Verification, 533-554, 2024 | 1 | 2024 |
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 | 1 | 2022 |
Model checking applied to quantum physics J Guan, Y Feng, A Turrini, M Ying arXiv preprint arXiv:1902.03218, 2019 | 1 | 2019 |