Ying-Jie Han

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 2

Top Topics

Computation Tree Logic

Top Venues

Publications

Ying-Jie Han, Xiao-Fei Nan, Shao-Huan Ban, Qing-Lei Zhou
Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing. BIC-TA (2) (2019)
Feng-Shan Shen, Liming Wang, Zhuo Zhang, Ying-Jie Han
Construction of Sparse Single Layer Feedforward Networks with Better Generalization Performance and Its Application to Hand Written Recognition Tasks. FSDM (2015)
Lei Shi, Ying-Jie Han, Xiaoguang Ding, Lin Wei, Zhimin Gu
An SPN-Based Integrated Model for Web Prefetching and Caching. J. Comput. Sci. Technol. 21 (4) (2006)