Showing results 1 to 20 of 190
next >
| Issue Date | Title | Author(s) |
| 2023-01-01 | Quantum Algorithm for Fidelity Estimation | Wang, Q; Zhang, Z; Chen, K; Guan, J; Fang, W; Liu, J; Ying, M |
| 2022-10-30 | Equivalence Checking of Dynamic Quantum Circuits | Hong, X; Feng, Y; Li, S; 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 |
| 2022-08-02 | Qantum Weakest Preconditions for Reasoning about Expected Runtimes of Qantum Programs | Liu, J; Zhou, L; Barthe, G; Ying, M |
| 2022-06-09 | Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra | Peng, Y; Ying, M; Wu, X; Jhala, R; Dillig, I |
| 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 |
| 2022-01-01 | Equivalence Checking of Sequential Quantum Circuits | Wang, Q; Li, R; Ying, M |
| 2022-01-01 | Verifying Fairness in Quantum Machine Learning | Guan, J; Fang, W; Ying, M; Shoham, S; Vizel, 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-01-01 | Model Checking for Verification of Quantum Circuits | Ying, M |
| 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 |
| 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 |
