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

Searching for Geometric Theorems Using Features Retrieved from Diagrams. - Wenya An; Xiaoyu Chen 001; Dongming Wang 001 (MACIS, 2015)

Evolving concurrent systems: behavioural theory and logic. - Klaus-Dieter Schewe; Flavio Ferrarotti; Loredana Tec; Qing Wang 002; Wenya An (ACSW, 2017)