System-level modeling and analysis of multimedia-soc platforms

by LIU YANHONG
Published 2010

Colloidal clustering of protein-coated microspheres in evaporating droplets

by Miao, Yuanhua., Liu, Yanhong., Hu, Lanying., Helseth, Lars Egil.
Published 2013

Model checking linearizability via refinement

by LIU, Yang, CHEN, Wei, LIU, Yanhong A., SUN, Jun
Published 2009

Bio-catalyzed oxidation self-charging zinc-polymer batteries

by Pan, Jun, Liu, Yanhong, Yang, Jian, Wu, Jiawen, Fan, Hong Jin
Published 2024

Diagnosis of COVID-19 Pneumonia Based on Graph Convolutional Network

by Liang, Xiaoling, Zhang, Yuexin, Wang, Jiahong, Ye, Qing, Liu, Yanhong, Tong, Jinwu
Published 2022

Formal verification of scalable nonzero indicators

by SUN, Jun, LIU, Yang, SUN, Jun, DONG, Jin Song, CHEN, Wei, LIU, Yanhong A.
Published 2009

Verifying linearizability via optimized refinement checking

by Dong, Jin Song, Liu, Yanhong A., Zhang, Shao Jie, Sun, Jun, Liu, Yang, Chen, Wei
Published 2013

Verifying linearizability via optimized refinement checking

by LIU, Yang, CHEN, Wei, LIU, Yanhong A., SUN, Jun, ZHANG, Shao Jie, DONG, Jin Song Dong
Published 2013

Responsive exosome nano-bioconjugates for synergistic cancer therapy

by Nie, Weidong, Wu, Guanghao, Zhang, Jinfeng, Huang, Li-Li, Ding, Jingjing, Jiang, Anqi, Zhang, Yahui, Liu, Yanhong, Li, Jingchao, Pu, Kanyi, Xie, Hai-Yan
Published 2022