Showing results 1 to 20 of 176
next >
Issue Date | Title | Author(s) |
2022-03-29 | Verification of Distributed Quantum Programs | Feng, Y; Li, S; Ying, M |
2022-01-02 | A proof system for disjoint parallel quantum programs | Ying, M; Zhou, L; Li, Y; Feng, Y |
2021-12-05 | Approximate Equivalence Checking of Noisy Quantum Circuits | Hong, X; Ying, M; Feng, Y; Zhou, X; Li, S |
2021-06-29 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic | Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N |
2021-03-01 | Equivalence checking of quantum finite-state machines | Wang, Q; Liu, J; Ying, M |
2021-01-31 | Model Checking Quantum Systems Principles and Algorithms | Ying, M; Feng, Y |
2021-01-01 | Robustness Verification of Quantum Classifiers | Guan, J; Fang, W; Ying, M; Silva, A; Leino, KRM |
2021-01-01 | 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 | An HHL-based algorithm for computing hitting probabilities of quantum walks | Guan, J; Wang, Q; 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 |
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 Büchi Automata | Wang, Q; Ying, M |
2020 | Quantum Algorithm for Lexicographically Minimal String Rotation. | Wang, Q; Ying, M |
2020 | Software Pipelining for Quantum Loop Programs. | Guo, J; Ying, M |
2019-02-12 | Toward automatic verification of quantum programs | Ying, M |
2019-01-01 | Model-checking quantum systems | Ying, M; Feng, Y |
2019 | Model Checking Applied to Quantum Physics. | Guan, J; Feng, Y; Turrini, A; Ying, M |