Issue Date | Title | Author(s) |
2019-05-01 | Adaptive structure discovery for multimedia analysis using multiple features | Zhan, K; Chang, X; Guan, J; Chen, L; Ma, Z; Yang, Y |
2018-01-01 | Q | Liu, S; Wang, X; Zhou, L; Guan, J; Li, Y; He, Y; Duan, R; Ying, M |
2018-01-22 | Efficient quantum repeater with respect to both entanglement-concentration rate and complexity of local operations and classical communication | Su, Z; Guan, J; Li, L |
2018-10-01 | Graph learning for multiview clustering | Zhan, K; Zhang, C; Guan, J; Wang, J |
2019 | Model Checking Applied to Quantum Physics. | Guan, J; Feng, Y; Turrini, A; Ying, M |
2018-07-18 | DP-LTOD: Differential Privacy Latent Trajectory Community Discovering Services over Location-Based Social Networks | Xu, C; Zhu, L; Liu, Y; Guan, J; Yu, S |
2022-01-01 | Verifying Fairness in Quantum Machine Learning | Guan, J; Fang, W; Ying, M; Shoham, S; Vizel, Y |
2017 | Q|SI>: A Quantum Programming Environment | Liu, S; Wang, X; Zhou, L; Guan, J; Li, Y; He, Y; Duan, R; Ying, M |
2022-01-01 | A Probabilistic Logic for Verifying Continuous-time Markov Chains | Guan, J; Yu, N |
2021-01-01 | Robustness Verification of Quantum Classifiers | Guan, J; Fang, W; Ying, M; Silva, A; Leino, KRM |