Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. - Dan Song 010; Dongming Wang 001; Xiaoyu Chen 001 (ADG, 2014)

OpenGeo: An Open Geometric Knowledge Base. - Dongming Wang 001; Xiaoyu Chen 001; Wenya An; Lei Jiang; Dan Song 010 (ICMS, 2014)

Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. - Zhikun She; Dan Song 010; Meilun Li (CASC, 2015)

Automated generation of geometric theorems from images of diagrams. - Xiaoyu Chen 001; Dan Song 010; Dongming Wang 001 (Ann. Math. Artif. Intell., 2015)

Retrieving geometric information from images: the case of hand-drawn diagrams. - Dan Song 010; Dongming Wang 001; Xiaoyu Chen 001 (Data Min. Knowl. Discov., 2017)

Robust Finger-vein ROI Localization Based on the 3σ Criterion Dynamic Threshold Strategy. - Qiong Yao; Dan Song 010; Xiang Xu 002 (Sensors, 2020)

A Novel Finger Vein Recognition Method Based on Aggregation of Radon-Like Features. - Qiong Yao; Dan Song 010; Xiang Xu 002; Kun Zou (Sensors, 2021)

Visual Feature-Guided Diamond Convolutional Network for Finger Vein Recognition. - Qiong Yao; Dan Song 010; Xiang Xu 002; Kun Zou (Sensors, 2024)