Browsing by Author Liu, Yang


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 138 to 149 of 149 < previous 
Issue DateTitleAuthor(s)
 2018Target-triggered catalytic hairpin assembly-induced core−satellite nanostructures for high-sensitive “off-to-on” SERS detection of intracellular microRNALiu, Conghui; Chen, Chao; Li, Shuzhou; Dong, Haifeng; Dai, Wenhao; Xu, Tailin; Liu, Yang; Yang, Fan; Zhang, Xueji
 2019A ternary Fe₁₋ₓS@Porous carbon nanowires/reduced graphene oxide hybrid film electrode with superior volumetric and gravimetric capacities for flexible sodium ion batteriesLiu, Yang; Fang, Yongjin; Zhao, Zhiwei; Yuan, Changzhou; Lou, David Xiong Wen
2005Thermal annealing effect on the band gap and dielectric functions of silicon nanocrystals embedded in SiO2 matrixDing, Liang; Chen, Tupei; Liu, Yang; Ng, Chi Yung; Liu, Yu Chan; Fung, Stevenson Hon Yuen
 2018Thickness effect of nickel oxide thin films on associated solution-processed write-once-read-many-times memory devicesWang, Xiao Lin; Liu, Zhen; Wen, Chao; Liu, Yang; Wang, Hong Zhe; Chen, Tu Pei; Zhang, Hai Yan
 2018Towards model checking android applicationsBai, Guangdong; Ye, Quanqi; Wu, Yongzheng; Botha, Heila; Sun, Jun; Liu, Yang; Dong, Jin Song; Visser, Willem
 2013Towards verification of computation orchestrationDong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian
 2012Using monterey phoenix to formalize and verify system architecturesZhang, Jiexin; Liu, Yang; Auguston, Mikhail; Sun, Jun; Dong, Jin Song
 2018A UTP semantics for communicating processes with shared variables and its formal encoding in PVSShi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao
 2013Verifying linearizability via optimized refinement checkingDong, Jin Song; Liu, Yanhong A.; Zhang, Shao Jie; Sun, Jun; Liu, Yang; Chen, Wei
2004Visualizing charge transport in silicon nanocrystals embedded in SiO2 films with electrostatic force microscopyLau, Hon Wu; Ng, Chi Yung; Liu, Yang; Tse, Man Siu; Lim, Vanissa Sei Wei; Tan, Ooi Kiang; Chen, Tupei
2016Web database application designLiu, Yang
2019Winner-takes-all mechanism realized by memristive neural networkWang, Jun Jie; Yu, Qi; Hu, Shao Gang; Liu, Yanchen; Guo, Rui; Chen, Tu Pei; Yin, You; Liu, Yang