Automated theorem proving in temporal logic: T-resolution. - Zhaokeng Zhao; Jun Dai; Wendan Chen (J. Comput. Sci. Technol., 1994)

A Dual-Modal Vision-Based Tactile Sensor for Robotic Hand Grasping. - Bin Fang 003; Fuchun Sun 001; Chao Yang 026; Hongxiang Xue; Wendan Chen; Chun Zhang; Di Guo; Huaping Liu 001 (ICRA, 2018)