Browsing General by Author "Ji, Zhengfeng"

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing General by Author "Ji, Zhengfeng"

Sort by: Order: Results:

  • Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng (Association For Computing Machinery, 2009)
    We introduce an algebra qCCS of pure quantum processes in which communications by moving quantum states physically are allowed and computations are modeled by super-operators, but no classical data is explicitly involved. ...
  • Ji, Zhengfeng; Wang, Guoming; Duan, Runyao; Feng, Yuan; Ying, Mingsheng (IEEE-Inst Electrical Electronics Engineers Inc, 2008)
    The efficiency of parameter estimation of quantum channels is studied in this paper. We introduce the concept of programmable parameters to the theory of estimation. It is found that programmable parameters obey the standard ...
  • Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng (Academic Press Inc Elsevier Science, 2007)
    Modeling and reasoning about concurrent quantum systems is very important for both distributed quantum computing and quantum protocol verification. As a consequence, a general framework formally describing communication ...
  • Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng (Elsevier Science Bv, 2007)
    We apply the notion of quantum predicate proposed by D'Hondt and Panangaden to analyze a simple language fragment which may describe the quantum part of a future quantum computer in Knill's architecture. The notion of ...