Issue Date | Title | Author(s) |
2021-12-31 | Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features | Fu, X; Yu, J; Su, X; Jiang, H; Wu, H; Cheng, F; Deng, X; Zhang, J; Jin, L; Yang, Y; Xu, L; Hu, C; Huang, A; Huang, G; Qiang, X; Deng, M; Xu, P; Xu, W; Liu, W; Zhang, Y; Deng, Y; Wu, J; Feng, Y |
2021 | Measuring the constrained reachability in quantum Markov chains | Xu, M; Huang, CC; Feng, Y |
2021-03-20 | Optimal Policies for Quantum Markov Decision Processes | Ying, M-S; Feng, Y; Ying, S-G |
2021-12-01 | Symbolic Reasoning About Quantum Circuits in Coq | Shi, WJ; Cao, QX; Deng, YX; Jiang, HR; Feng, Y |
2021-12-01 | Fuzzy Coefficient of Impulsive Intensity in a Nonlinear Impulsive Control System | Onasanya, BO; Wen, S; Feng, Y; Zhang, W; Xiong, J |
2021-07-01 | Wideband circularly polarised antenna array with isoflux pattern | Zeng, F; Zhang, ZY; Feng, Y; Zuo, S; Zhang, C; Wang, L |
2021-01-01 | An Acceleration Method for AC Steady State Performance of Dual Three-Phase Machine: Modeling and Implementation | Li, Y; Feng, Y; Huang, S; Ma, B; Zhu, S; Zhu, J |
2021 | On fuzzy alternate control systems | Onasanya, BO; Feng, Y; Zhang, W; Wen, S; Tang, N |
2022-03-29 | Verification of Distributed Quantum Programs | Feng, Y; Li, S; Ying, M |
2017 | Quantum Privacy-Preserving Data Analytics. | Ying, S; Ying, M; Feng, Y |