Follow
Nengkun Yu
Nengkun Yu
Stony Brook University
Verified email at uts.edu.au - Homepage
Title
Cited by
Cited by
Year
Sample-optimal tomography of quantum states
Jeongwan Haah, Aram W Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu
Proceedings of the forty-eighth annual ACM symposium on Theory of Computing …, 2016
3962016
Four locally indistinguishable ququad-ququad orthogonal maximally entangled states
N Yu, R Duan, M Ying
Physical Review Letters 109 (2), 020506, 2012
1612012
Projection-based runtime assertions for testing and debugging quantum programs
G Li, L Zhou, N Yu, Y Ding, M Ying, Y Xie
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
124*2020
Model checking quantum Markov chains
Y Feng, N Yu, M Ying
Journal of Computer and System Sciences 79 (7), 1181-1198, 2013
1002013
Quantum state tomography via reduced density matrices
T Xin, D Lu, J Klassen, N Yu, Z Ji, J Chen, X Ma, G Long, B Zeng, ...
Physical review letters 118 (2), 020401, 2017
812017
An applied quantum Hoare logic
L Zhou, N Yu, M Ying
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
792019
Five two-qubit gates are necessary for implementing the Toffoli gate
N Yu, R Duan, M Ying
Physical Review A—Atomic, Molecular, and Optical Physics 88 (1), 010304, 2013
752013
Limitations on separable measurements by convex optimization
S Bandyopadhyay, A Cosentino, N Johnston, V Russo, J Watrous, N Yu
Information Theory, IEEE Transactions on, 2014
732014
Distinguishability of quantum states by positive operator-valued measures with positive partial transpose
N Yu, R Duan, M Ying
IEEE Transactions on Information Theory 60 (4), 2069-2079, 2014
712014
Verification of quantum programs
M Ying, N Yu, Y Feng, R Duan
Science of Computer Programming 78 (9), 1679-1700, 2013
682013
Quantum Abstract Interpretation
N Yu, J Palsberg
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
642021
Experimental realization of generalized qubit measurements based on quantum walks
Y Zhao, N Yu, P Kurzyński, G Xiang, CF Li, GC Guo
Physical Review A 91 (4), 042101, 2015
642015
Obtaining a State from a Greenberger-Horne-Zeilinger State via Stochastic Local Operations and Classical Communication with a Rate Approaching Unity
N Yu, C Guo, R Duan
Physical review letters 112 (16), 160401, 2014
632014
Any subspace is locally distinguishable
N Yu, R Duan, M Ying
Physical Review A—Atomic, Molecular, and Optical Physics 84 (1), 012304, 2011
592011
Tomography is necessary for universal entanglement detection with single-copy observables
D Lu, T Xin, N Yu, Z Ji, J Chen, G Long, J Baugh, X Peng, B Zeng, ...
Physical review letters 116 (23), 230501, 2016
542016
Reachability probabilities of quantum Markov chains
S Ying, Y Feng, N Yu, M Ying
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
542013
Model-checking linear-time properties of quantum systems
M Ying, Y Li, N Yu, Y Feng
ACM Transactions on Computational Logic (TOCL) 15 (3), 1-31, 2014
44*2014
Protocols for packet quantum network intercommunication
N Yu, CY Lai, L Zhou
IEEE Transactions on Quantum Engineering 2, 1-9, 2021
422021
Reachability and termination analysis of concurrent quantum programs
N Yu, M Ying
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
412012
Tensor rank of the tripartite state
N Yu, E Chitambar, C Guo, R Duan
Physical Review A—Atomic, Molecular, and Optical Physics 81 (1), 014301, 2010
402010
The system can't perform the operation now. Try again later.
Articles 1–20