Browsing byAuthorYing, M

Jump to a point in the index:
Showing results 1 to 20 of 190  next >
Issue DateTitleAuthor(s)
2023-01-01Quantum Algorithm for Fidelity EstimationWang, Q; Zhang, Z; Chen, K; Guan, J; Fang, W; Liu, J; Ying, M
2022-10-30Equivalence Checking of Dynamic Quantum CircuitsHong, X; Feng, Y; Li, S; Ying, M
2022-10-01Quantum earth mover's distance, a no-go quantum Kantorovich-Rubinstein theorem, and quantum marginal problemZhou, L; Yu, N; Ying, S; Ying, M
2022-08-02Qantum Weakest Preconditions for Reasoning about Expected Runtimes of Qantum ProgramsLiu, J; Zhou, L; Barthe, G; Ying, M
2022-06-09Algebraic reasoning of Quantum programs via non-idempotent Kleene algebraPeng, Y; Ying, M; Wu, X; Jhala, R; Dillig, I
2022-03-29Verification of Distributed Quantum ProgramsFeng, Y; Li, S; Ying, M
2022-01-02A proof system for disjoint parallel quantum programsYing, M; Zhou, L; Li, Y; Feng, Y
2022-01-01Equivalence Checking of Sequential Quantum CircuitsWang, Q; Li, R; Ying, M
2022-01-01Verifying Fairness in Quantum Machine LearningGuan, J; Fang, W; Ying, M; Shoham, S; Vizel, Y
2021-12-05Approximate Equivalence Checking of Noisy Quantum CircuitsHong, X; Ying, M; Feng, Y; Zhou, X; Li, S
2021-06-29A Quantum Interpretation of Bunched Logic & Quantum Separation LogicZhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N
2021-03-01Equivalence checking of quantum finite-state machinesWang, Q; Liu, J; Ying, M
2021-01-31Model Checking Quantum Systems Principles and AlgorithmsYing, M; Feng, Y
2021-01-01Robustness Verification of Quantum ClassifiersGuan, J; Fang, W; Ying, M; Silva, A; Leino, KRM
2021-01-01An HHL-based algorithm for computing hitting probabilities of quantum walksGuan, J; Wang, Q; Ying, M
2021-01-01Model Checking for Verification of Quantum CircuitsYing, M
2021An HHL-based algorithm for computing hitting probabilities of quantum walksGuan, J; Wang, Q; Ying, M
2021Reasoning about Recursive Quantum Programs.Xu, Z; Ying, M; Valiron, B
2021A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N
2020-11-13Projection-based runtime assertions for testing and debugging Quantum programsLi, G; Zhou, L; Yu, N; Ding, Y; Ying, M; Xie, Y