Showing results 43 to 62 of 221
< previous
next >
| Issue Date | Title | Author(s) |
| 2009-03-01 | Dealing with uncertainty and fuzziness in intelligent systems | Chen, G; Ying, M; Liu, Y |
| 2014-01 | Debugging quantum processes using monitoring measurements | Li, Y; Ying, M |
| 2023-11-30 | Decision Diagrams for Symbolic Verification of Quantum Circuits | Hong, 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 |
| 2018-08-01 | Decomposition of quantum Markov chains and its applications | Guan, J; Feng, Y; Ying, M |
| 2023-11-15 | Detecting Violations of Differential Privacy for Quantum Algorithms | Guan, J; Huang, M; Fang, W; Ying, M |
| 2023 | Detecting Violations of Differential Privacy for Quantum Algorithms. | Guan, J; Fang, W; Huang, M; Ying, M; Meng, W; Jensen, CD; Cremers, C; Kirda, E |
| 2008-03-05 | Deterministic distributed dense coding with stabilizer states | Wang, G; Ying, M |
| 2024-01 | Differentiable Quantum Programming with Unbounded Loops. | Fang, W; Ying, M; Wu, X |
| 2017-09-25 | Differential Privacy in Quantum Computation | Zhou, L; Ying, M |
| 2007-06-06 | Discrimination between pure states and mixed states | Zhang, C; Wang, G; Ying, M |
| 2014-01-01 | Distinguishability of quantum states by positive operator-valued measures with positive partial transpose | Yu, N; Duan, R; Ying, M |
| 2009-03-26 | Distinguishability of quantum states by separable operations | Duan, R; Feng, Y; Xin, Y; Ying, M |
| 2007-06-11 | Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication | Duan, R; Feng, Y; Ji, Z; Ying, M |
| 2005-02-01 | Efficiency of deterministic entanglement transformation | Duan, R; Feng, Y; Ji, Z; Ying, M |
| 2007-03-09 | Entanglement is not necessary for perfect discrimination between unitary operations | Duan, R; Feng, Y; Ying, M |
| 2005-01-01 | Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation | Duan, R; Feng, Y; Ying, M |
| 2022-10-30 | Equivalence Checking of Dynamic Quantum Circuits | Hong, X; Feng, Y; Li, S; Ying, M |
| 2022 | Equivalence Checking of Dynamic Quantum Circuits. | Hong, X; Feng, Y; Li, S; Ying, M; Mitra, T; Young, EFY; Xiong, J |
| 2021-03-01 | Equivalence checking of quantum finite-state machines | Wang, Q; Liu, J; Ying, M |
| 2022-01-01 | Equivalence Checking of Sequential Quantum Circuits | Wang, Q; Li, R; Ying, M |
