Browsing byAuthorYu, N

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 76  next >
Issue DateTitleAuthor(s)
2022-01-01A Probabilistic Logic for Verifying Continuous-time Markov ChainsGuan, J; Yu, N
2021A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.Zhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N
2021-06-29A Quantum Interpretation of Bunched Logic & Quantum Separation LogicZhou, L; Barthe, G; Hsu, J; Ying, M; Yu, N
2023-01-01Accelerating Voting by Quantum ComputationLiu, A; Han, Q; Xia, L; Yu, N
2023-08-01Almost Tight Sample Complexity Analysis of Quantum Identity Testing by Pauli MeasurementsYu, N
-Alternation in Quantum Programming: From Superposition of Data to Superposition of ProgramsYing, M; Yu, N; Feng, Y
2019-06-08An applied quantum hoare logicZhou, L; Yu, N; Ying, M; McKinley, KS; Fisher, K
2011-07-05Any 2-n subspace is locally distinguishableYu, N; Duan, R; Ying, M
2024-01-01Approximate Relational Reasoning for Quantum ProgramsYan, P; Jiang, H; Yu, N
2017-02-01Bounds on the Distance Between a Unital Quantum Channel and the Convex Hull of Unitary ChannelsYu, N; Duan, R; Xu, Q
2018-06-20Capacity approaching coding for low noise interactive quantum communicationLeung, D; Touchette, D; Nayak, A; Yao, P; Shayeghi, A; Yu, N
2021-08-01Capacity Approaching Coding for Low Noise Interactive Quantum Communication Part I: Large AlphabetsLeung, D; Nayak, A; Shayeghi, A; Touchette, D; Yao, P; Yu, N
-Characterization of multipartite entanglement in terms of local transformationsQiao, Y; Sun, X; Yu, N
2022-06-01Comments on and Corrections to 'When Is the Chernoff Exponent for Quantum Operations Finite?'Yu, N; Zhou, L
2015-01-01Continuous-time orbit problems are decidable in polynomial-timeChen, T; Yu, N; Han, T
2016-03-03Detecting consistency of overlapping quantum marginals by separabilityChen, J; Ji, Z; Yu, N; Zeng, B
2013-12-01Determinantal complexities and field extensionsQiao, Y; Sun, X; Yu, N
2015-08-10Discontinuity of maximum entropy inference and quantum phase transitionsChen, J; Ji, Z; Li, CK; Poon, YT; Shen, Y; Yu, N; Zeng, B; Zhou, D
2021-09-01Discrimination of quantum states under locality constraints in the many-copy settingCheng, H-C; Winter, A; Yu, N
2023-11-01Discrimination of Quantum States Under Locality Constraints in the Many-Copy SettingCheng, HC; Winter, A; Yu, N