dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Runyao Duan Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRunyao Duan, Simone Severini, Andreas Winter: Zero-error communication via quantum channels and a quantum Lovász θ-function. ISIT 2011: 64-68
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for quantum processes. POPL 2011: 523-534
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan: Verification of Quantum Programs CoRR abs/1106.4063: (2011)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Feng, Runyao Duan, Mingsheng Ying: Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. Quantum Information & Computation 9(11): 997-1012 (2011)
2010
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRunyao Duan, Markus Grassl, Z. Ji, Bei Zeng: Multi-error-correcting amplitude damping codes. ISIT 2010: 2672-2676
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRunyao Duan, Markus Grassl, Zheng-Feng Ji, Bei Zeng: Multi-Error-Correcting Amplitude Damping Codes CoRR abs/1001.2356: (2010)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRunyao Duan, Simone Severini, Andreas Winter: Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function CoRR abs/1002.2514: (2010)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for quantum processes CoRR abs/1007.2584: (2010)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRunyao Duan, Yaoyun Shi: When is there a multipartite maximum entangled state? Quantum Information & Computation 10(11&12): 925-935 (2010)
2009
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji: An algebra of quantum processes. ACM Trans. Comput. Log. 10(3): (2009)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRunyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying: Distinguishability of Quantum States by Separable Operations. IEEE Transactions on Information Theory 55(3): 1320-1330 (2009)
2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZheng-Feng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying: Parameter Estimation of Quantum Channels. IEEE Transactions on Information Theory 54(11): 5172-5185 (2008)
2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11): 1608-1639 (2007)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan: Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104(4): 152-158 (2007)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Proof rules for the correctness of quantum programs. Theor. Comput. Sci. 386(1-2): 151-166 (2007)
2006
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimilarities between quantum processes CoRR abs/cs/0601014: (2006)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRunyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying: Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. 21(5): 776-789 (2006)
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Proof rules for purely quantum programs CoRR abs/cs/0507043: (2005)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoming Sun, Runyao Duan, Mingsheng Ying: The existence of quantum entanglement catalysts. IEEE Transactions on Information Theory 51(1): 75-80 (2005)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Feng, Runyao Duan, Mingsheng Ying: Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 51(3): 1090-1101 (2005)

Coauthor Index

1Jianxin Chen [7]
2Yuan Feng [1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [17] [18] [19]
3Markus Grassl [15] [16]
4Z. Ji [16]
5Zheng-Feng Ji [3] [4] [5] [6] [8] [9] [11] [15]
6Simone Severini [14] [20]
7Yaoyun Shi [12]
8Xiaoming Sun [2]
9Guoming Wang [9]
10Andreas Winter [14] [20]
11Yu Xin [10]
12Mingsheng Ying [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [17] [18] [19]
13Nengkun Yu [18]
14Bei Zeng [15] [16]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page