Nengkun Yu

According to our database1, Nengkun Yu authored at least 17 papers between 2012 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Capacity approaching coding for low noise interactive quantum communication.
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018

2017
Bounds on the Distance Between a Unital Quantum Channel and the Convex Hull of Unitary Channels.
IEEE Trans. Information Theory, 2017

Exponential separation of quantum communication and classical information.
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017

2016
Sample-optimal tomography of quantum states.
Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, 2016

Quantum capacities for entanglement networks.
Proceedings of the IEEE International Symposium on Information Theory, 2016

2015
Limitations on Separable Measurements by Convex Optimization.
IEEE Trans. Information Theory, 2015

Continuous-time orbit problems are decidable in polynomial-time.
Inf. Process. Lett., 2015

2014
Model-Checking Linear-Time Properties of Quantum Systems.
ACM Trans. Comput. Log., 2014

Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose.
IEEE Trans. Information Theory, 2014

Termination of nondeterministic quantum programs.
Acta Inf., 2014

2013
Verification of quantum programs.
Sci. Comput. Program., 2013

Model checking quantum Markov chains.
J. Comput. Syst. Sci., 2013

Reachability Analysis of Recursive Quantum Markov Chains.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Determinantal Complexities and Field Extensions.
Proceedings of the Algorithms and Computation - 24th International Symposium, 2013

Quantum Information-Flow Security: Noninterference and Access Control.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Reachability Probabilities of Quantum Markov Chains.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Reachability and Termination Analysis of Concurrent Quantum Programs.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012


  Loading...