Showing results 35 to 54 of 221
< previous
next >
Issue Date | Title | Author(s) |
2005-03-01 | Catalyst-assisted probabilistic entanglement transformation | Feng, Y; Duan, R; Ying, M |
2004-01-30 | Characterizations of quantum automata | Qiu, D; Ying, M |
2007-11-15 | Commutativity of quantum weakest preconditions | Ying, M; Chen, J; Feng, Y; Duan, R |
1993-04-09 | Compactness in fuzzifying topology | Ying, M |
1998-01-01 | Compactness in fuzzy logic | Ying, M |
2004-10-04 | Comparability of multipartite entanglement | Ji, Z; Duan, R; Ying, M |
2023-01-09 | CoqQ: Foundational Verification of Quantum Programs | Zhou, L; Barthe, G; Strub, PY; Liu, J; Ying, M |
2022 | CoqQ: Foundational Verification of Quantum Programs. | Zhou, L; Barthe, G; Strub, P-Y; Liu, J; Ying, M |
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 |