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

Runyao Duan (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


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)
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)
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)
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)
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)
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)
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)

Selection of 8 from 21 records - Runyao Duan has 15 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page