603 citations · 1.2k across the 70 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
quant-ph2017★ 56 cited
Experimental entanglement of 25 individually accessible atomic quantum interfaces
Y. -F. Pu, Y. -K. Wu, N. Jiang +4
Quantum interface links stationary qubits in quantum memory with flying photonic qubits in optical transmission channels and constitutes a critical element for future quantum inter…
quant-ph2017★ 2 cited
Formal verification of quantum communication protocols using Petri nets
Sheng Zhang, Yonghui Ma, Chunning Meng +1
This paper presents a new formal method for verification of quantum communication protocols. By extending the symbolic system of Petri nets, we can define quantum pure states in Pe…