2023
Quantum NETwork: from theory to practice.
Sci. China Inf. Sci., August, 2023
2020
Quantum Adiabatic Theorem Revisited.
CoRR, 2020
2019
Semidefinite Programming Converse Bounds for Quantum Communication.
IEEE Trans. Inf. Theory, 2019
Non-Asymptotic Entanglement Distillation.
IEEE Trans. Inf. Theory, 2019
Distinguishing unitary gates on the IBM quantum processor.
Sci. China Inf. Sci., 2019
Implementing termination analysis on quantum programming.
Sci. China Inf. Sci., 2019
2018
Semidefinite Programming Strong Converse Bounds for Classical Capacity.
IEEE Trans. Inf. Theory, 2018
Separation Between Quantum Lovász Number and Entanglement-Assisted Zero-Error Classical Capacity.
IEEE Trans. Inf. Theory, 2018
Converse Bounds for Classical Communication Over Quantum Broadcast Channels and Quantum Multi-Access Channels.
Proceedings of the 2018 IEEE International Symposium on Information Theory, 2018
Quantum Divide-and-Conquer Anchoring for Separable Non-negative Matrix Factorization.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Q|SI⟩ : A Quantum Programming Environment.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018
2017
Bounds on the Distance Between a Unital Quantum Channel and the Convex Hull of Unitary Channels.
IEEE Trans. Inf. Theory, 2017
On the one-shot zero-error classical capacity of classical-quantum channels assisted by quantum non-signalling correlations.
Quantum Inf. Comput., 2017
A new property of the Lovász number and duality relations between graph parameters.
Discret. Appl. Math., 2017
Q|SI〉: A Quantum Programming Environment.
CoRR, 2017
Semidefinite programming converse bounds for classical communication over quantum channels.
Proceedings of the 2017 IEEE International Symposium on Information Theory, 2017
2016
On Zero-Error Communication via Quantum Channels in the Presence of Noiseless Feedback.
IEEE Trans. Inf. Theory, 2016
No-Signalling-Assisted Zero-Error Capacity of Quantum Channels and an Information Theoretic Interpretation of the Lovász Number.
IEEE Trans. Inf. Theory, 2016
On the quantum no-signalling assisted zero-error classical simulation cost of non-commutative bipartite graphs.
Proceedings of the IEEE International Symposium on Information Theory, 2016
A semidefinite programming upper bound of quantum capacity.
Proceedings of the IEEE International Symposium on Information Theory, 2016
Parallel distinguishability of quantum operations.
Proceedings of the IEEE International Symposium on Information Theory, 2016
2015
Activated zero-error classical capacity of quantum channels in the presence of quantum no-signalling correlations.
CoRR, 2015
A new property of the Lovász number and duality relations between graph parameters.
CoRR, 2015
2014
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose.
IEEE Trans. Inf. Theory, 2014
When Do Local Operations and Classical Communication Suffice for Two-Qubit State Discrimination?
IEEE Trans. Inf. Theory, 2014
Zero-Error Classical Channel Capacity and Simulation Cost Assisted by Quantum Non-Signalling Correlations.
CoRR, 2014
2013
Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number.
IEEE Trans. Inf. Theory, 2013
Verification of quantum programs.
Sci. Comput. Program., 2013
2012
Bisimulation for Quantum Processes.
ACM Trans. Program. Lang. Syst., 2012
Some bounds on the minimum number of queries required for quantum channel perfect discrimination.
Quantum Inf. Comput., 2012
2011
Zero-error communication via quantum channels and a quantum Lovász θ-function.
Proceedings of the 2011 IEEE International Symposium on Information Theory Proceedings, 2011
2010
When is there a multipartite maximum entangled state?
Quantum Inf. Comput., 2010
Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function
CoRR, 2010
Multi-error-correcting amplitude damping codes.
Proceedings of the IEEE International Symposium on Information Theory, 2010
2009
An algebra of quantum processes.
ACM Trans. Comput. Log., 2009
Distinguishability of Quantum States by Separable Operations.
IEEE Trans. Inf. Theory, 2009
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting.
Quantum Inf. Comput., 2009
2008
Parameter Estimation of Quantum Channels.
IEEE Trans. Inf. Theory, 2008
2007
Proof rules for the correctness of quantum programs.
Theor. Comput. Sci., 2007
Commutativity of quantum weakest preconditions.
Inf. Process. Lett., 2007
Probabilistic bisimulations for quantum processes.
Inf. Comput., 2007
2006
Partial Recovery of Quantum Entanglement.
IEEE Trans. Inf. Theory, 2006
Some Issues in Quantum Information Theory.
J. Comput. Sci. Technol., 2006
Probabilistic bisimilarities between quantum processes
CoRR, 2006
2005
The existence of quantum entanglement catalysts.
IEEE Trans. Inf. Theory, 2005
Catalyst-assisted probabilistic entanglement transformation.
IEEE Trans. Inf. Theory, 2005
Proof rules for purely quantum programs
CoRR, 2005