Chen ZuoNing

A homegrown many-core processor architecture for high-performance computing

Zheng Fang, Xu Yong, Li Hongliang, 2015 .

A static detecting technology of software code secure vulnerability based on first-order logic

Gan Shuitao, Qin Xiaojun, Chen ZuoNing, 2014 .