48 citations · 173 across the 16 of their papers we have counts for
Showing 2005Show all
3 papers · 1 filter
cs.PL2005★ 5 cited
Proof rules for purely quantum programs
Yuan Feng, Runyao Duan, Zhengfeng Ji +1
We apply the notion of quantum predicate proposed by D'Hondt and Panangaden to analyze a purely quantum language fragment which describes the quantum part of a future quantum compu…
cs.AI2005★ 5 cited
Relational reasoning in the region connection calculus
Yongming Li, Sanjiang Li, Mingsheng Ying
This paper is mainly concerned with the relation-algebraical aspects of the well-known Region Connection Calculus (RCC). We show that the contact relation algebra (CRA) of certain…
quant-ph2005★ 5 cited
Local cloning of two product states
Zhengfeng Ji, Yuan Feng, Mingsheng Ying
Local quantum operations and classical communication (LOCC) put considerable constraints on many quantum information processing tasks such as cloning and discrimination. Surprising…