Showing results 1 to 20 of 68
next >
| Issue Date | Title | Author(s) |
| 2022-10-01 | Quantum earth mover's distance, a no-go quantum Kantorovich-Rubinstein theorem, and quantum marginal problem | Zhou, L; Yu, N; Ying, S; Ying, M |
| 2022-06-01 | Comments on and Corrections to 'When Is the Chernoff Exponent for Quantum Operations Finite?' | Yu, N; Zhou, L |
| 2022-04-29 | On incorrectness logic for Quantum programs | Yan, P; Jiang, H; Yu, N |
| 2022-01-01 | A Probabilistic Logic for Verifying Continuous-time Markov Chains | Guan, J; Yu, N |
| 2021-09-14 | Protocols for Packet Quantum Network Intercommunication | Yu, N; Lai, C-Y; Zhou, L |
| 2021-09-01 | Discrimination of quantum states under locality constraints in the many-copy setting | Cheng, H-C; Winter, A; Yu, N |
| 2021-08-01 | Model Checking Quantum Continuous-Time Markov Chains | Xu, M; Mei, J; Guan, J; Yu, N |
| 2021-08-01 | Capacity Approaching Coding for Low Noise Interactive Quantum Communication Part I: Large Alphabets | Leung, D; Nayak, A; Shayeghi, A; Touchette, D; Yao, P; Yu, N |
| 2021-07-01 | When is the chernoff exponent for quantum operations finite? | Yu, N; Zhou, L |
| 2021-07-01 | Entirety of Quantum Uncertainty and Its Experimental Verification | Xie, J; Zhou, L; Zhang, A; Xu, H; Yung, MH; Xu, P; Yu, N; Zhang, L |
| 2021-06-29 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic | Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N |
| 2021-06-18 | Quantum abstract interpretation | Yu, N; Palsberg, J; Freund, SN; Yahav, E |
| 2021-02-01 | Sample efficient identity testing and independence testing of quantum states | Yu, N |
| 2021-01-30 | LOCC protocols with bounded width per round optimize convex functions | Leung, D; Winter, A; Yu, N |
| 2021-01-15 | Experimental cryptographic verification for near-term quantum cloud computing | Chen, X; Cheng, B; Li, Z; Nie, X; Yu, N; Yung, MH; Peng, X |
| 2021 | A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. | Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N |
| 2020-11-13 | Projection-based runtime assertions for testing and debugging Quantum programs | Li, G; Zhou, L; Yu, N; Ding, Y; Ying, M; Xie, Y |
| 2020-10-01 | Multipartite Entanglement Certification, with or without Tomography | Yu, N |
| 2020-08 | Experimental Quantification of Coherence of a Tunable Quantum Detector. | Xu, H; Xu, F; Theurer, T; Egloff, D; Liu, Z-W; Yu, N; Plenio, MB; Zhang, L |
| 2020-03-01 | Local Equivalence of Multipartite Entanglement | Qiao, Y; Sun, X; Yu, N |
