Browsing byAuthorYing, M

Jump to a point in the index:
Showing results 1 to 20 of 221  next >
Issue DateTitleAuthor(s)
2024-02Quantum Algorithm for Lexicographically Minimal String Rotation.Wang, Q; Ying, M
2024-01-01Parallel Quantum Algorithm for Hamiltonian SimulationZhang, Z; Wang, Q; Ying, M
2024-01Differentiable Quantum Programming with Unbounded Loops.Fang, W; Ying, M; Wu, X
2023-11-30Decision Diagrams for Symbolic Verification of Quantum CircuitsHong, X; Huang, W-J; Chien, W-C; Feng, Y; Hsieh, M-H; Li, S; Yeh, C-S; Ying, M; Cour, BL; Yeh, L; Osinski, M
2023-11-23DifferentiableQuantum Programming with Unbounded LoopsFang, W; Ying, M; Wu, X
2023-11-15Detecting Violations of Differential Privacy for Quantum AlgorithmsGuan, J; Huang, M; Fang, W; Ying, M
2023-08-01Unitarity Estimation for Quantum ChannelsChen, K; Wang, Q; Long, P; Ying, M
2023-04Software Pipelining for Quantum Loop Programs.Guo, J; Ying, M
2023-02-01Quantum random access stored-program machinesWang, Q; Ying, M
2023-01-09CoqQ: Foundational Verification of Quantum ProgramsZhou, L; Barthe, G; Strub, PY; Liu, J; Ying, M
2023-01-01Quantum Algorithm for Fidelity EstimationWang, Q; Zhang, Z; Chen, K; Guan, J; Fang, W; Liu, J; Ying, M
2023-01-01Quantum Algorithm for Lexicographically Minimal String RotationWang, Q; Ying, M
2023-01-01isQ: An Integrated Software Stack for Quantum ProgrammingGuo, J; Lou, H; Yu, J; Li, R; Fang, W; Liu, J; Long, P; Ying, S; Ying, M
2023Detecting Violations of Differential Privacy for Quantum Algorithms.Guan, J; Fang, W; Huang, M; Ying, M; Meng, W; Jensen, CD; Cremers, C; Kirda, E
2023SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits.Fang, W; Ying, M
2023Quantum Recursive Programming with Quantum Case Statements.Ying, M; Zhang, Z
2023Symbolic Execution for Quantum Error Correction Programs.Fang, W; 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