The Parallel Numerical Method of Mechanical Theorem Proving. - Jingzhong Zhang; Lu Yang; Mike Deng (Theor. Comput. Sci., 1990)

Image registration based on harris corner and mutual information. - Juan Kang; Chuangbai Xiao; Mike Deng; Jing Yu 005; Haifeng Liu (EMEIT, 2011)

An improved best bin first algorithm for fast image registration. - Haifeng Liu; Mike Deng; Chuangbai Xiao (EMEIT, 2011)

Projection onto convex sets super-resolution image reconstruction based on wavelet bi-cubic interpolation. - Zhifei Tang; Mike Deng; Chuangbai Xiao; Jing Yu 005 (EMEIT, 2011)

A Classification Algorithm to Distinguish Image as Haze or Non-haze. - Xiaoliang Yu; Chuangbai Xiao; Mike Deng; Li Peng (ICIG, 2011)