Showing results 129 to 148 of 222
< previous
next >
Issue Date | Title | Author(s) |
2013-02-01 | Probabilistic automata for computing with words | Cao, Y; Xia, L; Ying, M |
2007-01-01 | Probabilistic bisimulations for quantum processes | Feng, Y; Duan, R; Ji, Z; Ying, M |
2002-01-01 | Probabilistic cloning and deleting of quantum states | Feng, Y; Zhang, S; Ying, M |
2020-11-13 | Projection-based runtime assertions for testing and debugging Quantum programs | Li, G; Zhou, L; Yu, N; Ding, Y; Ying, M; Xie, Y |
2007-10-28 | Proof rules for the correctness of quantum programs | Feng, Y; Duan, R; Ji, Z; Ying, M |
2018-01-01 | Q | Liu, S; Wang, X; Zhou, L; Guan, J; Li, Y; He, Y; Duan, R; Ying, M |
2022-08-02 | Qantum Weakest Preconditions for Reasoning about Expected Runtimes of Qantum Programs | Liu, J; Zhou, L; Barthe, G; Ying, M |
2019-01-02 | Quantitative robustness analysis of quantum programs | Hung, S-H; Hietala, K; Zhu, S; Ying, M; Hicks, M; Wu, X |
2018 | Quantitative Robustness Analysis of Quantum Programs (Extended Version). | Hung, S-H; Hietala, K; Zhu, S; Ying, M; Hicks, M; Wu, X |
2019 | Quantitative robustness analysis of quantum programs. | Hung, S-H; Hietala, K; Zhu, S; Ying, M; Hicks, M; Wu, X |
2007-08-01 | Quantum adiabatic computation and adiabatic conditions | Wei, Z; Ying, M |
2023-01-01 | Quantum Algorithm for Fidelity Estimation | Wang, Q; Zhang, Z; Chen, K; Guan, J; Fang, W; Liu, J; Ying, M |
2023-01-01 | Quantum Algorithm for Lexicographically Minimal String Rotation | Wang, Q; Ying, M |
2020 | Quantum Algorithm for Lexicographically Minimal String Rotation. | Wang, Q; Ying, M |
2024-02 | Quantum Algorithm for Lexicographically Minimal String Rotation. | Wang, Q; Ying, M |
2020 | Quantum Büchi Automata | Wang, Q; Ying, M |
2010-02-01 | Quantum computation, quantum theory and AI | Ying, M |
2022-10-01 | Quantum earth mover's distance, a no-go quantum Kantorovich-Rubinstein theorem, and quantum marginal problem | Zhou, L; Yu, N; Ying, S; Ying, M |
2013-10-09 | Quantum information-flow security: Noninterference and access control | Ying, M; Feng, Y; Yu, N |
2007-12-01 | Quantum logic and automata theory | Ying, M |