Runyao Duan

最新发表

(2018). $$Q|SIbackslashrangle $$ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday.

引用 DOI URL

(2013). Verification of quantum programs. Science of Computer Programming.

引用 DOI URL

(2012). Quantum programming: From theories to implementations. Chinese Science Bulletin.

引用 DOI URL

(2011). Any 2⊗n subspace is locally distinguishable. Physical Review A.

引用 DOI URL

(2011). Bisimulation for quantum processes. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

引用 DOI URL

(2011). On the Solution Space of Quantum 2-SAT Problems. In QIP.

引用

(2010). Tensor Rank and Stochastic Entanglement Catalysis for Multipartite Pure States. Phys. Rev. Lett..

引用 DOI URL

(2010). Optimal simulation of a perfect entangler. Phys. Rev. A.

引用 DOI URL

(2010). Multi-error-correcting amplitude damping codes. 2010 IEEE International Symposium on Information Theory.

引用 DOI

(2009). Distinguishability of Quantum States by Separable Operations. IEEE Transactions on Information Theory.

引用 DOI

(2008). Existence of universal entangler. Journal of Mathematical Physics.

引用 DOI URL

(2008). Parameter Estimation of Quantum Channels. IEEE Transactions on Information Theory.

引用 DOI

(2006). Some Issues in Quantum Information Theory. Journal of Computer Science and Technology.

引用 DOI URL

(2006). Partial recovery of quantum entanglement. IEEE Transactions on Information Theory.

引用 DOI

(2005). Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory.

引用 DOI

(2005). The existence of quantum entanglement catalysts. IEEE Transactions on Information Theory.

引用 DOI