18 citations · 22 across the 3 of their papers we have counts for
4 papers · 1 filter
Model Checking Applied to Quantum Physics
Ji Guan, Yuan Feng, Andrea Turrini +1
Model checking has been successfully applied to verification of computer hardware and software, communication systems and even biological systems. In this paper, we further push th…
The Structure of Decoherence-free Subsystems
Ji Guan, Yuan Feng, Mingsheng Ying
Decoherence-free subsystems have been successfully developed as a tool to preserve fragile quantum information against noises. In this letter, we develop a structure theory for dec…
: A Quantum Programming Environment
Shusen Liu, Xin Wang, Li Zhou +5
This paper describes a quantum programming environment, named . It is a platform embedded in the .Net language that supports quantum programming using a quantum extens…
Efficient quantum repeater in perspectives of both entanglement concentration rate and LOCC complexity
Zhaofeng Su, Ji Guan, Lvzhou Li
Quantum entanglement is an indispensable resource for many significant quantum information processing tasks. However, because of the noise in quantum channels, it is difficult to d…