Deng, Yu-Xin
36109  results:
Search for persons X
?
1

Qubit Mapping Based on Tabu Search:

Jiang, Hui ; Deng, Yu-Xin ; Xu, Ming
Journal of Computer Science and Technology.  39 (2024)  2 - p. 421-433 , 2024
 
?
4

Symbolic Reasoning About Quantum Circuits in Coq:

Shi, Wen-Jun ; Cao, Qin-Xiang ; Deng, Yu-Xin..
Journal of Computer Science and Technology.  36 (2021)  6 - p. 1291-1306 , 2021
 
?
6

Reachability of Patterned Conditional Pushdown Systems:

Li, Xin ; Gardy, Patrick ; Deng, Yu-Xin.
Journal of Computer Science and Technology.  35 (2020)  6 - p. 1295-1311 , 2020
 
?
 
?
8

Construction of half-sandwich rhodium- and iridium-based me..:

Deng, Yu-Xin ; Zhang, Hai-Ning ; Lin, Yue-Jian.
Journal of Coordination Chemistry.  71 (2018)  11-13 - p. 1959-1970 , 2018
 
?
10

On real reward testing:

Yang, Wei-zhong ; Deng, Yu-xin
Journal of Shanghai Jiaotong University (Science).  16 (2011)  4 - p. 479-484 , 2011
 
?
11

Finite axiomatization for symbolic probabilistic π-calculus:

Song, Lei ; Deng, Yu-xin
Journal of Shanghai Jiaotong University (Science).  14 (2009)  5 - p. 536-541 , 2009
 
?
13

Boosted Activity for Toluene Selective Photooxidation over ..:

Deng, Xin-Xin ; Tian, Sheng ; Chai, Zhao-Ming...
Industrial & Engineering Chemistry Research.  59 (2020)  30 - p. 13528-13538 , 2020
 
?
14

Early-onset androgenetic alopecia in China: a descriptive s..:

Ding, Qi ; Xu, Yu-Xuan ; Sun, Wei-Ling...
Journal of International Medical Research.  48 (2020)  3 - p. 030006051989719 , 2020
 
1-15