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 144 to 149 of 149 < previous 
Issue DateTitleAuthor(s)
 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