Ying, M., Duan, R., Feng, Y. & Ji, Z. 2010, 'Predicate Transformer Semantics of Quantum Programs' in Simon Gay, Ian Mackie (eds), Semantic Techniques in Quantum Computation, Cambridge University Press, Cambridge, pp. 311-360.
View/Download from: UTSePress

Feng, Y., Duan, R. & Ying, M. 2012, 'Bisimulation For Quantum Processes', ACM Transactions pn Programming Language and Systems (TOPLAS), vol. 34, no. 4, pp. 1-43.
View/Download from: Publisher's site

Feng, Y. 2012, 'Open Bisimulation for Quantum Processes', Lecture Notes in Computer Science, vol. 7604, pp. 119-133.
View/Download from: Publisher's site

Ying, M., Feng, Y., Duan, R., Li, Y. & Yu, N. 2012, 'Quantum Programming: From Theories To Implementations', Chinese Science Bulletin, vol. 57, no. 16, pp. 1903-1909.
View/Download from: Publisher's site

Ying, M. & Feng, Y. 2011, 'A Flowchart Language For Quantum Programming', IEEE Transactions On Software Engineering, vol. 37, no. 4, pp. 466-485.
View/Download from: UTSePress | Publisher's site

Ying, M. & Feng, Y. 2010, 'Quantum loop programs', Acta Informatica, vol. 47, no. 4, pp. 221-250.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y., Xin, Y. & Ying, M. 2009, 'Distinguishability of Quantum States by Separable Operations', IEEE Transactions On Information Theory, vol. 55, no. 3, pp. 1320-1330.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y. & Ying, M. 2009, 'Perfect Distinguishability of Quantum Operations', Physical Review Letters, vol. 103, no. 21, pp. 210501-1-210501-4.
View/Download from: UTSePress | Publisher's site

Feng, Y. & Shi, Y. 2009, 'Characterising Locally Indistinguishable Orthogonal Product States', IEEE Transactions On Information Theory, vol. 55, no. 6, pp. 2799-2806.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R. & Ying, M. 2009, 'Locally undetermined states, generalized Schmidt decomposition, and application in distributed computing', Quantum Information and Computation, vol. 9, no. 11, pp. 997-1012.
View/Download from: UTSePress

Ying, M., Feng, Y., Duan, R. & Ji, Z. 2009, 'An Algebra Of Quantum Processes', Acm Transactions On Computational Logic, vol. 10, no. 3, pp. 1-36.
View/Download from: UTSePress | Publisher's site

Ying, M. & Feng, Y. 2009, 'An Algebraic Language For Distributed Quantum Computing', IEEE Transactions On Computers, vol. 58, no. 6, pp. 728-743.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y. & Ying, M. 2008, 'Local Distinguishability Of Multipartite Unitary Operations', Physical Review Letters, vol. 100, no. 2, pp. 1-4.
View/Download from: UTSePress | Publisher's site

Ji, Z., Wang, G., Duan, R., Feng, Y. & Ying, M. 2008, 'Parameter Estimation of Quantum Channels', IEEE Transactions On Information Theory, vol. 54, no. 11, pp. 5172-5185.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y., Ji, Z. & Ying, M. 2007, 'Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations And Classical Communication', Physical Review Letters, vol. 98, no. 23, pp. 1-4.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y. & Ying, M. 2007, 'Entanglement Is Not Necessary For Perfect Discrimination Between Unitary Operations', Physical Review Letters, vol. 98, no. 10, pp. 1-4.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R., Ji, Z. & Ying, M. 2007, 'Probabilistic Bisimulations For Quantum Processes', Information And Computation, vol. 205, no. 11, pp. 1608-1639.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R., Ji, Z. & Ying, M. 2007, 'Proof Rules For The Correctness Of Quantum Programs', Theoretical Computer Science, vol. 386, no. 1-2, pp. 151-166.
View/Download from: UTSePress | Publisher's site

Ying, M., Chen, J.F., Feng, Y. & Duan, R. 2007, 'Commutativity Of Quantum Weakest Preconditions', Information Processing Letters, vol. 104, no. 4, pp. 152-158.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y. & Ying, M. 2006, 'Partial Recovery Of Quantum Entanglement', IEEE Transactions On Information Theory, vol. 52, no. 7, pp. 3080-3104.
View/Download from: UTSePress | Publisher's site

Duan, R., Ji, Z., Feng, Y. & Ying, M. 2006, 'Some Issues In Quantum Information Theory', Journal Of Computer Science And Technology, vol. 21, no. 5, pp. 776-789.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R. & Ji, Z. 2006, 'Optimal Dense Coding With Arbitrary Pure Entangled States', Physical Review A, vol. 74, no. 1, pp. 1-5.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R. & Ying, M. 2006, 'Relation Between Catalyst-Assisted Transformation And Multiple-Copy Transformation For Bipartite Pure States', Physical Review A, vol. 74, no. 4, pp. 1-7.
View/Download from: UTSePress | Publisher's site

Ji, Z., Feng, Y., Duan, R. & Ying, M. 2006, 'Boundary Effect Of Deterministic Dense Coding', Physical Review A, vol. 73, no. 3, pp. 1-3.
View/Download from: UTSePress | Publisher's site

Ji, Z., Feng, Y., Duan, R. & Ying, M. 2006, 'Identification And Distance Measures Of Measurement Apparatus', Physical Review Letters, vol. 96, no. 20, pp. 1-4.
View/Download from: UTSePress | Publisher's site

Zhang, C., Feng, Y. & Ying, M. 2006, 'Unambiguous Discrimination Of Mixed Quantum States', Physics Letters A, vol. 353, no. 4, pp. 300-306.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y., Ji, Z. & Ying, M. 2005, 'Efficiency Of Deterministic Entanglement Transformation', Physical Review A, vol. 71, no. 2, pp. 1-7.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y. & Ying, M. 2005, 'Entanglement-Assisted Transformation Is Asymptotically Equivalent To Multiple-Copy Transformation', Physical Review A, vol. 72, no. 2, pp. 1-5.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y., Li, X. & Ying, M. 2005, 'Multiple-Copy Entanglement Transformation And Entanglement Catalysis', Physical Review A, vol. 71, no. 4, pp. 1-11.
View/Download from: UTSePress | Publisher's site

Duan, R., Feng, Y., Li, X. & Ying, M. 2005, 'Trade-Off Between Multiple-Copy Transformation And Entanglement Catalysis', Physical Review A, vol. 71, no. 6, pp. 1-7.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R. & Ying, M. 2005, 'Catalyst-Assisted Probabilistic Entanglement Transformation', IEEE Transactions On Information Theory, vol. 51, no. 3, pp. 1090-1101.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R. & Ji, Z. 2005, 'Condition And Capability Of Quantum State Separation', Physical Review A, vol. 72, no. 1, pp. 1-6.
View/Download from: UTSePress | Publisher's site

Ji, Z., Feng, Y. & Ying, M. 2005, 'Local Cloning Of Two Product States', Physical Review A, vol. 72, no. 3, pp. 1-5.
View/Download from: UTSePress | Publisher's site

Duan, R., Ji, Z., Feng, Y. & Ying, M. 2004, 'Quantum Operation Quantum Fourier Transform And Semi-Definite Programming', Physics Letters A, vol. 323, no. 1-2, pp. 48-56.
View/Download from: UTSePress | Publisher's site

Feng, Y. & Ying, M. 2004, 'Process Algebra Approach To Reasoning About Concurrent Actions', Journal Of Computer Science And Technology, vol. 19, no. 3, pp. 364-373.
View/Download from: UTSePress

Feng, Y., Duan, R. & Ying, M. 2004, 'Unambiguous discrimination between mixed quantum states', Physical Review A, vol. 70, no. 1, pp. 012308-1-012308-4.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R. & Ying, M. 2004, 'When Catalysis Is Useful For Probabilistic Entanglement Transformation', Physical Review A, vol. 69, no. 6, pp. 1-5.
View/Download from: UTSePress | Publisher's site

Feng, Y., Duan, R., Ying, M. 2011, 'Bisimulation for Quantum Processes', annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Austin, Texas, USA, January 2011 in Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, ed Sagiv, M, ACM, New York, NY, USA, pp. 523-534.
View/Download from: UTSePress | Publisher's site