Showing results 138 to 149 of 149
< previous
| Issue Date | Title | Author(s) |
| | 2018 | Target-triggered catalytic hairpin assembly-induced core−satellite nanostructures for high-sensitive “off-to-on” SERS detection of intracellular microRNA | Liu, Conghui; Chen, Chao; Li, Shuzhou; Dong, Haifeng; Dai, Wenhao; Xu, Tailin; Liu, Yang; Yang, Fan; Zhang, Xueji |
| | 2019 | A ternary Fe₁₋ₓS@Porous carbon nanowires/reduced graphene oxide hybrid film electrode with superior volumetric and gravimetric capacities for flexible sodium ion batteries | Liu, Yang; Fang, Yongjin; Zhao, Zhiwei; Yuan, Changzhou; Lou, David Xiong Wen |
 | 2005 | Thermal annealing effect on the band gap and dielectric functions of silicon nanocrystals embedded in SiO2 matrix | Ding, Liang; Chen, Tupei; Liu, Yang; Ng, Chi Yung; Liu, Yu Chan; Fung, Stevenson Hon Yuen |
| | 2018 | Thickness effect of nickel oxide thin films on associated solution-processed write-once-read-many-times memory devices | Wang, Xiao Lin; Liu, Zhen; Wen, Chao; Liu, Yang; Wang, Hong Zhe; Chen, Tu Pei; Zhang, Hai Yan |
| | 2018 | Towards model checking android applications | Bai, Guangdong; Ye, Quanqi; Wu, Yongzheng; Botha, Heila; Sun, Jun; Liu, Yang; Dong, Jin Song; Visser, Willem |
| | 2013 | Towards verification of computation orchestration | Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian |
| | 2012 | Using monterey phoenix to formalize and verify system architectures | Zhang, Jiexin; Liu, Yang; Auguston, Mikhail; Sun, Jun; Dong, Jin Song |
| | 2018 | A UTP semantics for communicating processes with shared variables and its formal encoding in PVS | Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao |
| | 2013 | Verifying linearizability via optimized refinement checking | Dong, Jin Song; Liu, Yanhong A.; Zhang, Shao Jie; Sun, Jun; Liu, Yang; Chen, Wei |
| 2004 | Visualizing charge transport in silicon nanocrystals embedded in SiO2 films with electrostatic force microscopy | Lau, Hon Wu; Ng, Chi Yung; Liu, Yang; Tse, Man Siu; Lim, Vanissa Sei Wei; Tan, Ooi Kiang; Chen, Tupei |
 | 2016 | Web database application design | Liu, Yang |
| 2019 | Winner-takes-all mechanism realized by memristive neural network | Wang, Jun Jie; Yu, Qi; Hu, Shao Gang; Liu, Yanchen; Guo, Rui; Chen, Tu Pei; Yin, You; Liu, Yang |
