Duan, Runyao
152  Ergebnisse:
Personensuche X
?
2

Distinguishing unitary gates on the IBM quantum processor:

Liu, Shusen ; Li, Yinan ; Duan, Runyao
Science China Information Sciences.  62 (2019)  7 - p. , 2019
 
?
3

Implementing termination analysis on quantum programming:

Liu, Shusen ; He, Kan ; Duan, Runyao
Science China Information Sciences.  62 (2019)  12 - p. , 2019
 
?
4

$$Q|SI\rangle $$Q|SI⟩ : A Quantum Programming Environment:

, In: Lecture Notes in Computer Science; Symposium on Real-Time and Hybrid Systems,
Liu, Shusen ; Wang, Xin ; Zhou, Li... - p. 133-164 , 2018
 
?
5

Tripartite-to-Bipartite Entanglement Transformation by Stoc..:

Li, Yinan ; Qiao, Youming ; Wang, Xin.
Communications in Mathematical Physics.  358 (2018)  2 - p. 791-814 , 2018
 
?
 
?
 
?
15

Verification of quantum programs:

Ying, Mingsheng ; Yu, Nengkun ; Feng, Yuan.
Science of Computer Programming.  78 (2013)  9 - p. 1679-1700 , 2013
 
1-15