Showing results 41 to 60 of 221
< previous
next >
Issue Date | Title | Author(s) |
2021 | An HHL-based algorithm for computing hitting probabilities of quantum walks | Guan, J; Wang, Q; Ying, M |
2021 | Reasoning about Recursive Quantum Programs. | Xu, Z; Ying, M; Valiron, B |
2021 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. | Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N |
2021 | Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra. | Peng, Y; Ying, M; Wu, X |
2021 | Model Checking for Verification of Quantum Circuits. | Ying, M; Huisman, M; Pasareanu, CS; Zhan, N |
2021 | Approximate Equivalence Checking of Noisy Quantum Circuits. | Hong, X; Ying, M; Feng, Y; Zhou, X; Li, S |
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 |
2020-04-01 | Quantum Supremacy Circuit Simulation on Sunway TaihuLight | Li, R; Wu, B; Ying, M; Sun, X; Yang, G |
2020-01-08 | Strassen's theorem for quantum couplings | Zhou, L; Ying, S; Yu, N; Ying, M |
2020-01-01 | Relational proofs for quantum programs | Barthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L |
2020 | Quantum Algorithm for Lexicographically Minimal String Rotation. | Wang, Q; Ying, M |
2020 | Software Pipelining for Quantum Loop Programs. | Guo, J; Ying, M |
2020 | Quantum Büchi Automata | Wang, Q; Ying, M |
2020 | A Tensor Network based Decision Diagram for Representation of Quantum Circuits. | Hong, X; Zhou, X; Li, S; Feng, Y; Ying, M |
2019-06-08 | An applied quantum hoare logic | Zhou, L; Yu, N; Ying, M; McKinley, KS; Fisher, K |
2019-02-12 | Toward automatic verification of quantum programs | Ying, M |
2019-01-02 | Quantitative robustness analysis of quantum programs | Hung, S-H; Hietala, K; Zhu, S; Ying, M; Hicks, M; Wu, X |
2019-01-01 | Model-checking quantum systems | Ying, M; Feng, Y |
2019-01-01 | Formal verification of quantum algorithms using quantum hoare logic | Liu, J; Zhan, B; Wang, S; Ying, S; Liu, T; Li, Y; Ying, M; Zhan, N; Dillig, I; Tasiran, S |
2019 | Model Checking Applied to Quantum Physics. | Guan, J; Feng, Y; Turrini, A; Ying, M |