Browsing byAuthorYing, M

Jump to a point in the index:
Showing results 1 to 20 of 176  next >
Issue DateTitleAuthor(s)
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
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
2021Reasoning about Recursive Quantum Programs.Xu, Z; Ying, M; Valiron, B
2021An HHL-based algorithm for computing hitting probabilities of quantum walksGuan, J; Wang, Q; Ying, M
2020-11-13Projection-based runtime assertions for testing and debugging Quantum programsLi, G; Zhou, L; Yu, N; Ding, Y; Ying, M; Xie, Y
2020-04-01Quantum Supremacy Circuit Simulation on Sunway TaihuLightLi, R; Wu, B; Ying, M; Sun, X; Yang, G
2020-01-08Strassen's theorem for quantum couplingsZhou, L; Ying, S; Yu, N; Ying, M
2020-01-01Relational proofs for quantum programsBarthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L
2020Quantum Büchi AutomataWang, Q; Ying, M
2020Quantum Algorithm for Lexicographically Minimal String Rotation.Wang, Q; Ying, M
2020Software Pipelining for Quantum Loop Programs.Guo, J; Ying, M
2019-02-12Toward automatic verification of quantum programsYing, M
2019-01-01Model-checking quantum systemsYing, M; Feng, Y
2019Model Checking Applied to Quantum Physics.Guan, J; Feng, Y; Turrini, A; Ying, M