Nengkun Yu - RankMe

78 papers A* 7A 3B 8Journal 58Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Optimal lower bound for quantum channel tomography in away-from-boundary regime. CoRR Kean Chen, Zhicheng Zhang, Nengkun Yu
2025	J	`jnl`	Adaptivity is not helpful for Pauli channel learning. Quantum Xuan Du Trinh, Nengkun Yu
2025	J	`jnl`	Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. Log. Methods Comput. Sci. Ming Xu, Jingyi Mei, Ji Guan, Yuxin Deng, Nengkun Yu
2025	J	`jnl`	Optimal Tomography of Quantum Markov Chains via Continuity of Petz Recovery States. IEEE Trans. Inf. Theory Li Gao, Nengkun Yu
2025	J	`jnl`	Pauli Measurements Are Near-Optimal for Single-Qubit Tomography. CoRR Jayadev Acharya, Abhilash Dharmavarapu, Yuhan Liu, Nengkun Yu
2025	A*	`conf`	Pauli Measurements Are Not Optimal for Single-Copy Tomography. STOC Jayadev Acharya, Abhilash Dharmavarapu, Yuhan Liu, Nengkun Yu
2025	J	`jnl`	Pauli measurements are not optimal for single-copy tomography. CoRR Jayadev Acharya, Abhilash Dharmavarapu, Yuhan Liu, Nengkun Yu
2025	J	`jnl`	Quantum channel tomography and estimation by local test. CoRR Kean Chen, Nengkun Yu, Zhicheng Zhang
2025	J	`jnl`	SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits. CoRR Nengkun Yu, Jens Palsberg, Thomas Reps
2025	J	`jnl`	Scalable Equivalence Checking and Verification of Shallow Quantum Circuits. CoRR Nengkun Yu, Xuan Du Trinh, Thomas Reps
2025	J	`jnl`	Scalable Equivalence Checking and Verification of Shallow Quantum Circuits. Proc. ACM Program. Lang. Nengkun Yu, Xuan Du Trinh, Thomas Reps
2025	J	`jnl`	The Quantum Repeater Network Saturates the Entanglement Distribution Asymptotically. IEEE Trans. Inf. Theory Nengkun Yu
2025	J	`jnl`	Tight Bound for Quantum Unitary Time-Reversal. CoRR Kean Chen, Nengkun Yu, Zhicheng Zhang
2024	—	`conf`	Approximate Relational Reasoning for Quantum Programs. CAV (3) Peng Yan, Hanru Jiang, Nengkun Yu
2024	J	`jnl`	Quantum temporal logic and reachability problems of matrix semigroups. Inf. Comput. Nengkun Yu
2023	J	`jnl`	Accelerating Majority Voting by Quantum Computation. CoRR Ao Liu, Lirong Xia, Nengkun Yu
2023	A	`conf`	Accelerating Voting by Quantum Computation. UAI Ao Liu, Qishen Han, Lirong Xia, Nengkun Yu
2023	J	`jnl`	Almost Tight Sample Complexity Analysis of Quantum Identity Testing by Pauli Measurements. IEEE Trans. Inf. Theory Nengkun Yu
2023	J	`jnl`	Structured Theorem for Quantum Programs and its Applications. ACM Trans. Softw. Eng. Methodol. Nengkun Yu
2022	—	`conf`	A Probabilistic Logic for Verifying Continuous-time Markov Chains. TACAS (2) Ji Guan, Nengkun Yu
2022	J	`jnl`	Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu
2022	J	`jnl`	Comments on and Corrections to "When Is the Chernoff Exponent for Quantum Operations Finite?". IEEE Trans. Inf. Theory Nengkun Yu, Li Zhou
2022	J	`jnl`	On incorrectness logic for Quantum programs. Proc. ACM Program. Lang. Peng Yan, Hanru Jiang, Nengkun Yu
2022	J	`jnl`	The QQUIC Transport Protocol: Quantum-Assisted UDP Internet Connections. Entropy Peng Yan, Nengkun Yu
2022	B	`conf`	Towards Efficient Reasoning of Quantum Programs. SAS Nengkun Yu
2021	A*	`conf`	A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. LICS Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
2021	J	`jnl`	A Quantum Interpretation of Bunched Logic for Quantum Separation Logic. CoRR Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu
2021	J	`jnl`	Capacity Approaching Coding for Low Noise Interactive Quantum Communication Part I: Large Alphabets. IEEE Trans. Inf. Theory Debbie W. Leung, Ashwin Nayak, Ala Shayeghi, Dave Touchette, Penghui Yao, Nengkun Yu
2021	B	`conf`	Discrimination of quantum states under locality constraints in the many-copy setting. ISIT Hao-Chung Cheng, Andreas J. Winter, Nengkun Yu
2021	B	`conf`	Model Checking Quantum Continuous-Time Markov Chains. CONCUR Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
2021	J	`jnl`	Model Checking Quantum Continuous-Time Markov Chains. CoRR Ming Xu, Jingyi Mei, Ji Guan, Nengkun Yu
2021	J	`jnl`	Quantum Max-Flow Min-Cut theorem. CoRR Nengkun Yu
2021	A*	`conf`	Quantum abstract interpretation. PLDI Nengkun Yu, Jens Palsberg
2021	A	`conf`	Sample Efficient Identity Testing and Independence Testing of Quantum States. ITCS Nengkun Yu
2021	J	`jnl`	When is the Chernoff Exponent for Quantum Operations Finite? IEEE Trans. Inf. Theory Nengkun Yu, Li Zhou
2020	J	`jnl`	Capacity Approaching Coding for Low Noise Interactive Quantum Communication, Part I: Large Alphabets. CoRR Debbie W. Leung, Ashwin Nayak, Ala Shayeghi, Dave Touchette, Penghui Yao, Nengkun Yu
2020	J	`jnl`	Local Equivalence of Multipartite Entanglement. IEEE J. Sel. Areas Commun. Youming Qiao, Xiaoming Sun, Nengkun Yu
2020	J	`jnl`	Multipartite Entanglement Certification, With or Without Tomography. IEEE Trans. Inf. Theory Nengkun Yu
2020	J	`jnl`	Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang. Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
2020	J	`jnl`	Relational proofs for quantum programs. Proc. ACM Program. Lang. Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
2020	J	`jnl`	Strassen's theorem for quantum couplings. Theor. Comput. Sci. Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
2020	J	`jnl`	The QQUIC Transport Protocol: Quantum assisted UDP Internet Connections. CoRR Peng Yan, Nengkun Yu
2020	J	`jnl`	Verification of Continuous-time Markov Chains. CoRR Ji Guan, Nengkun Yu
2019	A*	`conf`	An applied quantum Hoare logic. PLDI Li Zhou, Nengkun Yu, Mingsheng Ying
2019	J	`jnl`	Coupling Techniques for Reasoning about Quantum Programs. CoRR Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou
2019	J	`jnl`	Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer. CoRR Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
2019	J	`jnl`	Protocols for Packet Quantum Network Intercommunication. CoRR Nengkun Yu, Ching-Yi Lai, Li Zhou
2019	J	`jnl`	Quantum Temporal Logic. CoRR Nengkun Yu
2018	A*	`conf`	Capacity approaching coding for low noise interactive quantum communication. STOC Debbie W. Leung, Ashwin Nayak, Ala Shayeghi, Dave Touchette, Penghui Yao, Nengkun Yu
2018	J	`jnl`	Quantum Coupling and Strassen Theorem. CoRR Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying
2017	J	`jnl`	Bounds on the Distance Between a Unital Quantum Channel and the Convex Hull of Unitary Channels. IEEE Trans. Inf. Theory Nengkun Yu, Runyao Duan, Quanhua Xu
2017	A*	`conf`	Exponential separation of quantum communication and classical information. STOC Anurag Anshu, Dave Touchette, Penghui Yao, Nengkun Yu
2017	J	`jnl`	Sample-Optimal Tomography of Quantum States. IEEE Trans. Inf. Theory Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu
2016	J	`jnl`	Exponential Separation of Quantum Communication and Classical Information. CoRR Anurag Anshu, Dave Touchette, Penghui Yao, Nengkun Yu
2016	J	`jnl`	Quantum Capacities for Entanglement Networks. CoRR Shawn X. Cui, Zhengfeng Ji, Nengkun Yu, Bei Zeng
2016	B	`conf`	Quantum capacities for entanglement networks. ISIT Shawn X. Cui, Zheng-Feng Ji, Nengkun Yu, Bei Zeng
2016	A*	`conf`	Sample-optimal tomography of quantum states. STOC Jeongwan Haah, Aram W. Harrow, Zheng-Feng Ji, Xiaodi Wu, Nengkun Yu
2015	J	`jnl`	Continuous-time orbit problems are decidable in polynomial-time. Inf. Process. Lett. Taolue Chen, Nengkun Yu, Tingting Han
2015	J	`jnl`	Limitations on Separable Measurements by Convex Optimization. IEEE Trans. Inf. Theory Somshubhro Bandyopadhyay, Alessandro Cosentino, Nathaniel Johnston, Vincent Russo, John Watrous, Nengkun Yu
2015	J	`jnl`	Sample-optimal tomography of quantum states. CoRR Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu
2014	J	`jnl`	Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs. CoRR Mingsheng Ying, Nengkun Yu, Yuan Feng
2014	J	`jnl`	Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose. IEEE Trans. Inf. Theory Nengkun Yu, Runyao Duan, Mingsheng Ying
2014	J	`jnl`	Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Log. Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
2014	J	`jnl`	Termination of nondeterministic quantum programs. Acta Informatica Yangjia Li, Nengkun Yu, Mingsheng Ying
2013	B	`conf`	Determinantal Complexities and Field Extensions. ISAAC Youming Qiao, Xiaoming Sun, Nengkun Yu
2013	J	`jnl`	Model checking quantum Markov chains. J. Comput. Syst. Sci. Yuan Feng, Nengkun Yu, Mingsheng Ying
2013	J	`jnl`	Orbit Problem Revisited CoRR Taolue Chen, Xiaoming Sun, Nengkun Yu
2013	J	`jnl`	Quantum Information-Flow Security: Noninterference and Access Control CoRR Mingsheng Ying, Yuan Feng, Nengkun Yu
2013	A	`conf`	Quantum Information-Flow Security: Noninterference and Access Control. CSF Mingsheng Ying, Yuan Feng, Nengkun Yu
2013	B	`conf`	Reachability Analysis of Recursive Quantum Markov Chains. MFCS Yuan Feng, Nengkun Yu, Mingsheng Ying
2013	B	`conf`	Reachability Probabilities of Quantum Markov Chains. CONCUR Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying
2013	J	`jnl`	Verification of quantum programs. Sci. Comput. Program. Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
2012	J	`jnl`	Defining Quantum Control Flow CoRR Mingsheng Ying, Nengkun Yu, Yuan Feng
2012	J	`jnl`	Model checking quantum Markov chains CoRR Yuan Feng, Nengkun Yu, Mingsheng Ying
2012	J	`jnl`	Reachability and Termination Analysis of Concurrent Quantum Programs CoRR Nengkun Yu, Mingsheng Ying
2012	B	`conf`	Reachability and Termination Analysis of Concurrent Quantum Programs. CONCUR Nengkun Yu, Mingsheng Ying
2012	J	`jnl`	Termination of Nondeterministic Quantum Programs CoRR Yangjia Li, Nengkun Yu, Mingsheng Ying
2011	J	`jnl`	Verification of Quantum Programs CoRR Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan