University of Technology, Sydney

Staff directory | Campus maps | Newsroom | What's on

Professor Yuan Feng

ARC Future Fellow and Professor
Core Member, Centre for Quantum Computation and Intelligent Systems

Email: Yuan. Feng"at"uts.edu.au
Phone: +61 2 9514 4479
Fax: +61 2 9514 4517
Room: CB11.10.210 (map)
Mailing address: PO Box 123, Broadway NSW 2007, Australia

Biography

Education

Ph. D. in Computer Science and Software
Department of Computer Science and Technology, Tsinghua University, China
Sep. 2001 - Jul. 2004
Supervisor: Professor Mingsheng Ying
 
M.S. in Computer Science and Software
Department of Computer Science and Technology, Tsinghua University, China
Sep. 1999 - Jul. 2001
Supervisor: Professor Mingsheng Ying
 
B.S. in Applied Mathematics
Department of Mathematical Sciences, Tsinghua University, China
Sep. 1995 - Jul. 1999

Employment

Professor
Centre for Quantum Computation and Intelligent Systems (QCIS)
Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia
Jan. 2015 - Present

Associate Professor
Centre for Quantum Computation and Intelligent Systems (QCIS)
Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia
Aug. 2010 - Dec. 2014

Senior Lecturer
Centre for Quantum Computation and Intelligent Systems (QCIS)
Faculty of Engineering and Information Technology, University of Technology, Sydney, Australia
Jan. 2009 - Aug. 2010
 
Associate Professor
State Key Laboratory of Intelligent Technology and Systems
Department of Computer Science and Technology, Tsinghua University, Beijing, China
Dec. 2007 - Jan. 2009
 
Assistant Professor
State Key Laboratory of Intelligent Technology and Systems
Department of Computer Science and Technology, Tsinghua University, Beijing, China
Aug. 2004 - Dec. 2007

Selected Honours and Prizes

UTS Chancellor’s Medal for Exceptional Research (with Profs Mingsheng Ying and Runyao Duan), 2014

Early Career Research Excellence category of the VC's Awards for Research Excellence of UTS, Highly Commended, 2010

Okawa Foundation Research Grant, 2008

National Excellent Doctoral Dissertation of China (no more than 100 over all disciplines per year), 2006

Excellent Ph.D. Thesis Award of Tsinghua University (first class), 2004

Excellent Ph.D. Graduate (only 10 for all graduate students per year in Tsinghua University), 2004
 
Teaching

Discrete Mathematics (2008.9 - 2009.1), Tsinghua University, Beijing.

Discrete Mathematics (2007.9 - 2008.1), Tsinghua University, Beijing.


Research Areas

1.  Theoretical foundation of quantum computation

2.  Distributed quantum computing and quantum concurrency theory

3.  Quantum programming languages

4.  Quantum information theory and channel capacity

Research Grants

1.  2016.1 - 2018.12: Verification of quantum cryptographic protocols: a process algebra approach. ARC Discovery Project (ARC DP160101652). Chief Investigators: Mingsheng Ying and Yuan Feng. Partner Investigators: Lijun Zhang and Taolue Chen. Total Amount: AUD 360,000.

2.  2015.1 - 2016.12: Automatic verification of quantum communication protocols. National Natural Science Foundation of China (NSFC), Grant No. 61428208. Yuan Feng, Chief-Investigator. Total Amount: CNY 200,000

3.  2015.9 - 2018.8: Modeling and Analysis of Stochastic Systems with Perturbed Parameters. Ministry of Education of Singapore, Grant No. MOE2015-T2-1-137. Yuan Feng, Co-Investigator (Chief-Investigator: Prof. David S. Rosenblum). Total Amount: SGD 500,000

4.  2013.1 - 2015.12: Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems. ARC Discovery Project (ARC DP130102764). Chief Investigators: Yuan Feng and Mingsheng Ying. Partner Investigators: Prakash Panangaden and Lijun Zhang. Total Amount: AUD 330,000.

5.  2011.1-2015.12: Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach. ARC Future Fellowship (ARC FT100100218). Yuan Feng, Sole Investigator. Total Amount: AUD 561,190 

6.  2011.1-2013.12: Process algebra approach to distributed quantum computation and secure quantum communication.
ARC ARC Discovery Project (ARC DP110103473). Chief Investigators: Prof. Mingsheng Ying and Yuan Feng. Partner Investigator: Rajagopal Nagarajan. Total Amount: AUD 300,000.

7.  2008.1-2011.12: Quantum software: theory and methodology.  National Natural Science Foundation of China (NSFC), Grant No.60621062. Yuan Feng, Co-Investigator. (Chief-Investigator: Prof. Mingsheng Ying). Total Amount: CNY 2,000,000

8.  2007.1-2011.12: Theory of quantum programming. Ministry of Education of China, FANEDD 200755. Yuan Feng, Principal Investigator. Total Amount: CNY 500,000

9.  2007.3-2009.3: Theory of quantum communication and concurrency, Tsinghua University, Beijing. Yuan Feng, Principal Investigator. Total Amount: CNY 30,000

10.  2006.1 - 2008.12: Quantum communication network assisted by entanglement,  National Natural Science Foundation of China (NSFC), Grant No.60503001. Yuan Feng, Principal Investigator. Total Amount: CNY 220,000

11.  2006.1-2007.12: Research on quantum programming languages. Tsinghua University, Grant No. 052220204. Yuan Feng, Principal Investigator. Total Amount: CNY 150,000

12.  2006.12-2008.12: Quantum computational models. Hi-Tech Research & Development Program of China (863 Project), Grant No. 2006AA01Z102. Yuan Feng, Co-Principal Investigator. Total Amount: CNY 600,000

13.  2005.1-2008.12: Encoding and process control in quantum algorithms. National Natural Science Foundation of China (NSFC), Grant No. 60433050. Yuan Feng, Key Member. Total Amount: CNY 2,000,000

14.  2004.1 - 2009.12: Intelligent information processing: theory and methodology. National Natural Science Foundation of China (NSFC), Grant No.60321002. Yuan Feng, Co-Investigator. (Chief-Investigator: Prof. Mingsheng Ying). Total Amount: CNY 8,100,000

Community Services

1.  Member of Program Committee: The 27th International Conference on Concurrency Theory (Concur-16), Doctoral Symposium of the 19th International Symposium on Formal Methods (FM-14).

2.  Member of Organising Committee: The 2015 International Conference of Quantum Information Processing (QIP).

3.  Reviewer for journals: IEEE Transactions on Information Theory, Journal of Computers and System Sciences, Quantum Information and Computation, Journal of Symbolic Computation, Physical review A, Science of Computer Programming, Mathematical Structures in Computer Science, International Journal of Quantum Information, Information Sciences, Pattern Recognition Letters, Knowledge and Information Systems, Science in China, Journal of Computer Science and Technology, Journal of Software, ect.

4.  Reviewer for conferences: LICS-16, LICS-15, ICALP-15, SODA-15, CONCUR-15, QPL-15, APLAS-15, SAC-15, FoSSaCS-14, FM-14, QPL-14, CONCUR-13, ICALP-13, CAV-13, QEST-13, etc.

5.  Reviewer for the National Natural Science Foundation of China (NSFC), Australia Research Council, and Mathematical Reviews.

Research Publications

All publications

1.  L. Song, Y. Feng, and L. Zhang. Decentralized Bisimulation for Multiagent Systems. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-15), 209-217. View Details

2.  Y. Feng, E. M. Hahn, A. Turrini and L. Zhang. QPMC: A Model Checker for Quantum Programs and Protocols. Proceedings of the 20th International Symposium on Formal Methods (FM-15) LNCS 9109, 265-272. View Details

3.  L. Song, Y. Feng, and L. Zhang. Planning for Stochastic Games with Co-safe Objectives. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15),1682-1688. View Details

4.  C. Zhou and Y. Feng. Extend Transferable Belief Models with Probabilistic Priors. Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI-15). View Details

5.  W. Chen, Y. Cao, H. Wang, and Y. Feng. Minimum guesswork discrimination between quantum states. Quantum Information and Computation 2015, 15 (9 &10): 737-758. View Details

6.  L. Li, Y. Feng. On hybrid models of quantum finite automata. Journal of Computer and System Sciences 2015, 81(7): 1144-1158. View Details

7.  Y. Feng, L. Zhang. A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Computing 2015, 28(4): 233-244. View Details

8.  Y. Deng, Y. Feng and U. Lago. On Coinduction and Quantum Lambda Calculi. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR-15), 427-440. View Details

9.  Y. Feng and M. Ying. Toward automatic verification of quantum cryptographic protocols. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR-15), 441-455. View Details

10.  L. Li and Y. Feng. Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Information and Computation 2015, 244: 229-244. View Details

11.  Y. Feng, Y. Deng, M. Ying. Symbolic bisimulation for quantum processes. ACM Transactions on Computational Logic 2014, 15(2):14:1-14:32. View Details

12.  Y. Feng, L. Zhang. When Equivalence and Bisimulation Join Forces in Probabilistic Automata. Proceedings of the 19th International Symposium on Formal Methods (FM-14), LNCS 8442, 247-262. View Details

13.  T. Chen, Y. Feng, D. Rosenblum, and G. Su. Perturbation Analysis in Verification of Discrete-Time Markov Chains. Proceedings of the 25th International Conference on Concurrency Theory (CONCUR-14), LNCS 8704, 218-233. View Details

14.  Y. Feng, L. Zhang. A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. Proceedings of the 25th International Conference on Concurrency Theory (CONCUR-14), LNCS 8704, 342-356. View Details

15.  M. Ying, Y. Li, N. Yu, and Y. Feng. Model-Checking Linear-Time Properties of Quantum Systems. ACM Transactions on Computational Logic 2014, 15(3): 22:1-22:31. View Details

16.  Y. Feng, N. Yu, and M. Ying. Model checking quantum Markov chains. Journal of Computer and System Sciences 2013, 79, 1181-1198. View Details

17.  Y. Feng, L. Zhang. A tighter bound for the self-stabilization time in Herman's algorithm. Information Processing Letters 2013, 113(13): 486-488. View Details

18.  M. Ying, N. Yu, Y. Feng, and R. Duan. Verification of quantum programs. Science of Computer Programming 2013, 78, 1679-1700. View Details

19.  S. Ying, Y. Feng, N. Yu, and M. Ying. Reachability probabilities of quantum Markov chains. Proceedings of the 24th International Conference on Concurrency Theory (CONCUR-13), 334-348. View Details

20.  Y. Feng, N. Yu, and M. Ying. Reachability of recursive quantum Markov chains. Proceedings of the 38th Int. Symp. on Mathematical Foundations of Computer Science (MFCS-13), 385-396. View Details

21.  M. Ying, Y. Feng, and N. Yu. Quantum information-flow security - noninterference and access control. Proceedings of IEEE 26th Computer Security Foundations Symposium (CSF-13), 130-144. View Details

22.  Y. Feng and M. Ying. Termination analysis of recursive quantum Markov chains. 12th Asian Conference on Quantum Information Science (AQIS-12), Long talk. View Details

23.  Y. Deng and Y. Feng. Open bisimulation for quantum processes. In Proc. IFIP TCS-12, LNCS. View Details

24.  Y. Feng, R. Duan, and M. Ying. Bisimulation for Quantum Processes. ACM Transactions on Programming Languages and Systems (TOPLAS) 2012, vol.34(4), no.17. View Details

25.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Bisimulation for quantum processes. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-11), 523-534. View Details

26.  M. Ying and Y. Feng, A Flowchart Language for Quantum Programming, IEEE Transactions on Software Engineering 2011, 37(4), 466-485. View Details

27.  Mingsheng Ying and Yuan Feng. Qunatum Loop Programs. Acta Informatica 2010, 47(4): 221-250. View Details

28.  Runyao Duan, Yuan Feng, and Mingsheng Ying. The Perfect distinguishability of quantum operations. AQIS'10, 10'th Asian Conference on Quantum Information Science 2010, Tokyo, Japan, August 27—31, 2010. (Long talk). View Details

29.  Mingsheng Ying, Runyao Duan, Yuan Feng and Zhengfeng Ji. Predicate transformer semantics of quantum programs, in S. Gay and I. Mackie (eds.), Semantic Techniques in Quantum Computation. Cambridge University Press 2009. View Details

30.  Yuan Feng and Yaoyun Shi. Characterizing locally distinguishable orthogonal product states. IEEE Transactions on Information Theory 2009, 55(3): 2799-2806. 7 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

31.  Mingsheng Ying and Yuan Feng. An algebraic language for distributed quantum computing. IEEE Transactions on Computers 2009, 58: 728-743. 15 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

32.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Perfect distinguishability of quantum operations, Physical Review Letters 2009, 103(21): 210501. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

33.  Runyao Duan, Yuan Feng, Yu Xin, and Mingsheng Ying. Distinguishability of quantum states by separable operations. IEEE Transactions on Information Theory 2009, 55(3): 1320-1330. 11 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

34.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Locally undetermined states, generalized Schmidt decomposition, and application in distributed computing. Quantum Information and Computation 2009, 9(11-12): 997-1012. 16 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details

35.  Mingsheng Ying, Yuan Feng, Runyao Duan, and Zhengfeng Ji. An algebra of quantum processes. ACM Transactions on Computational Logic (TOCL) 2009, 10(3): 19. (ARC ranked A, 2008 ISI impact factor:2.766). View Details

36.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Local distinguishability of multipartite unitary operations. Physical Review Letters 2008, 100(2):020503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

37.  Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, and Mingsheng Ying. Parameter estimation of quantum channels. IEEE Transactions on Information Theory 2008, 54(11): 5172-5185. 14 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

38.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement is not necessary for perfect discrimination between unitary operations. Physical Review Letters 2007, 98(10): 100503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

39.  Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication. Physical Review Letters 2007, 98(23): 230502. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

40.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Proof rules for purely quantum programs. Theoretical Computer Science 2007, 386:151-166. 16 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

41.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Probabilistic bisimilarities between quantum processes. Information and Computation 2007, 205:1608-1639. 32 pages. (ARC ranked B, 2008 ISI impact factor:1.504). View Details

42.  Mingsheng Ying, Jianxin Chen, Yuan Feng, and Runyao Duan. Commutativity of quantum weakest preconditions. Information Processing Letters 2007, 104(4):152-158. 7 pages. View Details

43.  Runyao Duan, Yuan Feng, Yu Xin and Mingsheng Ying. Distinguishability of quantum states by separable operations. AQIS’07, 7'th Asian Conference on Quantum Information Science 2007, Kyoto, Japan, September 3 - 6, 2007. (Long talk). View Details

44.  Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Identification and distance measures of measurement apparatus. Physical Review Letters 2006, 96(20):200401. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

45.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Partial recovery of quantum entanglement. IEEE Transactions on Information Theory 2006, 52 (7): 3080-3104. 25 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

46.  Yuan Feng, Runyao Duan, and Zhengfeng Ji. Optimal dense coding with arbitrary pure entangled states. Physical Review A 2006, 74(1):012310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

47.  Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Boundary effect of deterministic dense coding. Physical Review A 2006, 73(3):034307. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

48.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states. Physical Review A 2006, 74(4):042312. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

49.  Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Some issues in quantum information theory. Journal of Computer Science and Technology 2006, 21(5): 776--789. 14 pages. View Details

50.  Chi Zhang, Yuan Feng, and Mingsheng Ying. Unambiguous discrimination of mixed quantum states. Physics Letters A 2006, 353: 300-305. 6 pages. (ARC ranked B, 2008 ISI impact factor:). View Details

51.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 2005, 51(3):1090-1101. 12 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

52.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation. Physical Review A 2005, 72(2): 024306. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

53.  Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Trade-off between multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(6): 062306. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

54.  Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Local cloning of two product states. Physical Review A 2005, 72(3): 032324. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

55.  Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(4): 042319. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

56.  Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Efficiency of deterministic entanglement transformation. Physical Review A 2005, 71(2): 022305. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

57.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Condition and capability of quantum state separation. Physical Review A 2005, 72(1): 012313. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

58.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Unambiguous discrimination between mixed quantum states. Physical Review A 2004, 70(1): 012308. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

59.  Yuan Feng, Runyao Duan, and Mingsheng Ying. When catalysis is useful for probabilistic entanglement transformation. Physical Review A 2004, 69(6): 062310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

60.  Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Quantum operation, quantum Fourier transform and semi-definite programming. Physics Letters A 2004, 323(1): 48-56. 9 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details

61.  Yuan Feng and Mingsheng Ying. Process algebra approach to reasoning about concurrent actions. Journal of Computer Science and Technology 2004, 19(3): 364-373. 14 pages. View Details

62.  Runyao Duan, Yuan Feng, and Mingsheng Ying. An equivalence of entanglement-assisted transformation and multiple-copy entanglement transformation. 2004. Unpublished. View Details

63.  Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Probabilistic cloning and deleting of quantum states. Physical Review A 2002, 65(4): 042324. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

64.  Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Universal and Original-Preserving Quantum Copying is Impossible. Physics Letters A 2002, 297:1. 9 pages. (ARC ranked B, 2008 ISI impact factor: ). View Details

65.  Yuan Feng, Shengyu Zhang, Runyao Duan, and Mingsheng Ying. Lower bound on inconclusive probability of unambiguous discrimination. Physical Review A 2002, 66(6):062313. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

66.  Xiaoming Sun, Shengyu Zhang, Yuan Feng, and Mingsheng Ying. Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination. Physical Review A 2002, 65(4): 044306. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

67.  Shengyu Zhang, Yuan Feng, Xiaoming Sun, and Mingsheng Ying. Upper bound for the success probability of unambiguous discrimination among quantum states. Physical Review A 2001, 64(6): 062103. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

Journal Articles

1.  W. Chen, Y. Cao, H. Wang, and Y. Feng. Minimum guesswork discrimination between quantum states. Quantum Information and Computation 2015, 15 (9 &10): 737-758. View Details

2.  L. Li, Y. Feng. On hybrid models of quantum finite automata. Journal of Computer and System Sciences 2015, 81(7): 1144-1158. View Details

3.  Y. Feng, L. Zhang. A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Computing 2015, 28(4): 233-244. View Details

4.  L. Li and Y. Feng. Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Information and Computation 2015, 244: 229-244. View Details

5.  Y. Feng, Y. Deng, M. Ying. Symbolic bisimulation for quantum processes. ACM Transactions on Computational Logic 2014, 15(2):14:1-14:32. View Details

6.  M. Ying, Y. Li, N. Yu, and Y. Feng. Model-Checking Linear-Time Properties of Quantum Systems. ACM Transactions on Computational Logic 2014, 15(3): 22:1-22:31. View Details

7.  Y. Feng, N. Yu, and M. Ying. Model checking quantum Markov chains. Journal of Computer and System Sciences 2013, 79, 1181-1198. View Details

8.  Y. Feng, L. Zhang. A tighter bound for the self-stabilization time in Herman's algorithm. Information Processing Letters 2013, 113(13): 486-488. View Details

9.  M. Ying, N. Yu, Y. Feng, and R. Duan. Verification of quantum programs. Science of Computer Programming 2013, 78, 1679-1700. View Details

10.  Y. Feng, R. Duan, and M. Ying. Bisimulation for Quantum Processes. ACM Transactions on Programming Languages and Systems (TOPLAS) 2012, vol.34(4), no.17. View Details

11.  M. Ying and Y. Feng, A Flowchart Language for Quantum Programming, IEEE Transactions on Software Engineering 2011, 37(4), 466-485. View Details

12.  Mingsheng Ying and Yuan Feng. Qunatum Loop Programs. Acta Informatica 2010, 47(4): 221-250. View Details

13.  Yuan Feng and Yaoyun Shi. Characterizing locally distinguishable orthogonal product states. IEEE Transactions on Information Theory 2009, 55(3): 2799-2806. 7 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

14.  Mingsheng Ying and Yuan Feng. An algebraic language for distributed quantum computing. IEEE Transactions on Computers 2009, 58: 728-743. 15 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

15.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Perfect distinguishability of quantum operations, Physical Review Letters 2009, 103(21): 210501. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

16.  Runyao Duan, Yuan Feng, Yu Xin, and Mingsheng Ying. Distinguishability of quantum states by separable operations. IEEE Transactions on Information Theory 2009, 55(3): 1320-1330. 11 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

17.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Locally undetermined states, generalized Schmidt decomposition, and application in distributed computing. Quantum Information and Computation 2009, 9(11-12): 997-1012. 16 pages. (ARC ranked A, 2008 ISI impact factor:3.379). View Details

18.  Mingsheng Ying, Yuan Feng, Runyao Duan, and Zhengfeng Ji. An algebra of quantum processes. ACM Transactions on Computational Logic (TOCL) 2009, 10(3): 19. (ARC ranked A, 2008 ISI impact factor:2.766). View Details

19.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Local distinguishability of multipartite unitary operations. Physical Review Letters 2008, 100(2):020503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

20.  Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, and Mingsheng Ying. Parameter estimation of quantum channels. IEEE Transactions on Information Theory 2008, 54(11): 5172-5185. 14 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

21.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement is not necessary for perfect discrimination between unitary operations. Physical Review Letters 2007, 98(10): 100503. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

22.  Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication. Physical Review Letters 2007, 98(23): 230502. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

23.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Proof rules for purely quantum programs. Theoretical Computer Science 2007, 386:151-166. 16 pages. (ARC ranked A, 2008 ISI impact factor:0.806). View Details

24.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Probabilistic bisimilarities between quantum processes. Information and Computation 2007, 205:1608-1639. 32 pages. (ARC ranked B, 2008 ISI impact factor:1.504). View Details

25.  Mingsheng Ying, Jianxin Chen, Yuan Feng, and Runyao Duan. Commutativity of quantum weakest preconditions. Information Processing Letters 2007, 104(4):152-158. 7 pages. View Details

26.  Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Identification and distance measures of measurement apparatus. Physical Review Letters 2006, 96(20):200401. 4 pages. (ARC ranked A*, 2008 ISI impact factor:7.18). View Details

27.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Partial recovery of quantum entanglement. IEEE Transactions on Information Theory 2006, 52 (7): 3080-3104. 25 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

28.  Yuan Feng, Runyao Duan, and Zhengfeng Ji. Optimal dense coding with arbitrary pure entangled states. Physical Review A 2006, 74(1):012310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

29.  Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Boundary effect of deterministic dense coding. Physical Review A 2006, 73(3):034307. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

30.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states. Physical Review A 2006, 74(4):042312. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

31.  Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Some issues in quantum information theory. Journal of Computer Science and Technology 2006, 21(5): 776--789. 14 pages. View Details

32.  Chi Zhang, Yuan Feng, and Mingsheng Ying. Unambiguous discrimination of mixed quantum states. Physics Letters A 2006, 353: 300-305. 6 pages. (ARC ranked B, 2008 ISI impact factor:). View Details

33.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 2005, 51(3):1090-1101. 12 pages. (ARC ranked A*, 2008 ISI impact factor:3.793). View Details

34.  Runyao Duan, Yuan Feng, and Mingsheng Ying. Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation. Physical Review A 2005, 72(2): 024306. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

35.  Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Trade-off between multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(6): 062306. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

36.  Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Local cloning of two product states. Physical Review A 2005, 72(3): 032324. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

37.  Runyao Duan, Yuan Feng, Xin Li, and Mingsheng Ying. Multiple-copy entanglement transformation and entanglement catalysis. Physical Review A 2005, 71(4): 042319. 10 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

38.  Runyao Duan, Yuan Feng, Zhengfeng Ji, and Mingsheng Ying. Efficiency of deterministic entanglement transformation. Physical Review A 2005, 71(2): 022305. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

39.  Yuan Feng, Runyao Duan, Zhengfeng Ji, and Mingsheng Ying. Condition and capability of quantum state separation. Physical Review A 2005, 72(1): 012313. 6 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

40.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Unambiguous discrimination between mixed quantum states. Physical Review A 2004, 70(1): 012308. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

41.  Yuan Feng, Runyao Duan, and Mingsheng Ying. When catalysis is useful for probabilistic entanglement transformation. Physical Review A 2004, 69(6): 062310. 5 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

42.  Runyao Duan, Zhengfeng Ji, Yuan Feng, and Mingsheng Ying. Quantum operation, quantum Fourier transform and semi-definite programming. Physics Letters A 2004, 323(1): 48-56. 9 pages. (ARC ranked B, 2008 ISI impact factor:2.174). View Details

43.  Yuan Feng and Mingsheng Ying. Process algebra approach to reasoning about concurrent actions. Journal of Computer Science and Technology 2004, 19(3): 364-373. 14 pages. View Details

44.  Runyao Duan, Yuan Feng, and Mingsheng Ying. An equivalence of entanglement-assisted transformation and multiple-copy entanglement transformation. 2004. Unpublished. View Details

45.  Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Probabilistic cloning and deleting of quantum states. Physical Review A 2002, 65(4): 042324. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

46.  Yuan Feng, Shengyu Zhang, and Mingsheng Ying. Universal and Original-Preserving Quantum Copying is Impossible. Physics Letters A 2002, 297:1. 9 pages. (ARC ranked B, 2008 ISI impact factor: ). View Details

47.  Yuan Feng, Shengyu Zhang, Runyao Duan, and Mingsheng Ying. Lower bound on inconclusive probability of unambiguous discrimination. Physical Review A 2002, 66(6):062313. 4 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

48.  Xiaoming Sun, Shengyu Zhang, Yuan Feng, and Mingsheng Ying. Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination. Physical Review A 2002, 65(4): 044306. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

49.  Shengyu Zhang, Yuan Feng, Xiaoming Sun, and Mingsheng Ying. Upper bound for the success probability of unambiguous discrimination among quantum states. Physical Review A 2001, 64(6): 062103. 3 pages. (ARC ranked A, 2008 ISI impact factor:2.908). View Details

Conference Papers

1.  L. Song, Y. Feng, and L. Zhang. Decentralized Bisimulation for Multiagent Systems. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-15), 209-217.View Details

2.  Y. Feng, E. M. Hahn, A. Turrini and L. Zhang. QPMC: A Model Checker for Quantum Programs and Protocols. Proceedings of the 20th International Symposium on Formal Methods (FM-15) LNCS 9109, 265-272.View Details

3.  L. Song, Y. Feng, and L. Zhang. Planning for Stochastic Games with Co-safe Objectives. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15),1682-1688.View Details

4.  C. Zhou and Y. Feng. Extend Transferable Belief Models with Probabilistic Priors. Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI-15).View Details

5.  Y. Deng, Y. Feng and U. Lago. On Coinduction and Quantum Lambda Calculi. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR-15), 427-440.View Details

6.  Y. Feng and M. Ying. Toward automatic verification of quantum cryptographic protocols. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR-15), 441-455.View Details

7.  Y. Feng, L. Zhang. When Equivalence and Bisimulation Join Forces in Probabilistic Automata. Proceedings of the 19th International Symposium on Formal Methods (FM-14), LNCS 8442, 247-262.View Details

8.  T. Chen, Y. Feng, D. Rosenblum, and G. Su. Perturbation Analysis in Verification of Discrete-Time Markov Chains. Proceedings of the 25th International Conference on Concurrency Theory (CONCUR-14), LNCS 8704, 218-233.View Details

9.  Y. Feng, L. Zhang. A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. Proceedings of the 25th International Conference on Concurrency Theory (CONCUR-14), LNCS 8704, 342-356.View Details

10.  S. Ying, Y. Feng, N. Yu, and M. Ying. Reachability probabilities of quantum Markov chains. Proceedings of the 24th International Conference on Concurrency Theory (CONCUR-13), 334-348.View Details

11.  Y. Feng, N. Yu, and M. Ying. Reachability of recursive quantum Markov chains. Proceedings of the 38th Int. Symp. on Mathematical Foundations of Computer Science (MFCS-13), 385-396.View Details

12.  M. Ying, Y. Feng, and N. Yu. Quantum information-flow security - noninterference and access control. Proceedings of IEEE 26th Computer Security Foundations Symposium (CSF-13), 130-144.View Details

13.  Y. Feng and M. Ying. Termination analysis of recursive quantum Markov chains. 12th Asian Conference on Quantum Information Science (AQIS-12), Long talk.View Details

14.  Y. Deng and Y. Feng. Open bisimulation for quantum processes. In Proc. IFIP TCS-12, LNCS. View Details

15.  Yuan Feng, Runyao Duan, and Mingsheng Ying. Bisimulation for quantum processes. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-11), 523-534.View Details

16.  Runyao Duan, Yuan Feng, and Mingsheng Ying. The Perfect distinguishability of quantum operations. AQIS'10, 10'th Asian Conference on Quantum Information Science 2010, Tokyo, Japan, August 27—31, 2010. (Long talk).View Details

17.  Runyao Duan, Yuan Feng, Yu Xin and Mingsheng Ying. Distinguishability of quantum states by separable operations. AQIS’07, 7'th Asian Conference on Quantum Information Science 2007, Kyoto, Japan, September 3 - 6, 2007. (Long talk).View Details

Book Chapters

1.  Mingsheng Ying, Runyao Duan, Yuan Feng and Zhengfeng Ji. Predicate transformer semantics of quantum programs, in S. Gay and I. Mackie (eds.), Semantic Techniques in Quantum Computation. Cambridge University Press 2009. View Details

Books