Design and Development of a Teaching System Based on Super Sketchpad. - Mao Chen 002; Guotao Hu; Chao Yu; Xicheng Peng (ISCID (2), 2009)

Characterizing Concept Conveying in Interactions between MOOC Students and Assistants. - Tai Wang; Zhi Liu 011; Xiao-Xiao Wu; Yun Tang; Xicheng Peng; Sanya Liu (TALE, 2018)

An iterated local search algorithm for the University Course Timetabling Problem. - Ting Song; Sanya Liu; Xiangyang Tang; Xicheng Peng; Mao Chen 002 (Appl. Soft Comput., 2018)

Greedy heuristic algorithm for packing equal circles into a circular container. - Mao Chen 002; Xiangyang Tang; Ting Song; Zhizhong Zeng; Xicheng Peng; Sanya Liu (Comput. Ind. Eng., 2018)

An efficient deterministic heuristic algorithm for the rectangular packing problem. - Mao Chen 002; Chao Wu; Xiangyang Tang; Xicheng Peng; Zhizhong Zeng; Sanya Liu (Comput. Ind. Eng., 2019)

Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity. - Jingzhong Zhang; Xicheng Peng; Mao Chen 002 (J. Syst. Sci. Complex., 2019)

A Tabu search algorithm with controlled randomization for constructing feasible university course timetables. - Mao Chen 002; Xiangyang Tang; Ting Song; Chao Wu; Sanya Liu; Xicheng Peng (Comput. Oper. Res., 2020)

Automated Discovery of Geometric Theorems Based on Vector Equations. - Xicheng Peng; Qihang Chen; Jingzhong Zhang; Mao Chen 002 (J. Autom. Reason., 2021)

Knowledge graph-based multi-context-aware recommendation algorithm. - Chao Wu; Sannyuya Liu; Zeyu Zeng; Mao Chen 002; Adi Alhudhaif; Xiangyang Tang; Fayadh Alenezi; Norah Alnaim; Xicheng Peng (Inf. Sci., 2022)

Task-driven cleaning and pruning of noisy knowledge graph. - Chao Wu; Zeyu Zeng; Yajing Yang; Mao Chen 002; Xicheng Peng; Sannyuya Liu (Inf. Sci., 2023)

Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity. - Xicheng Peng; Jingzhong Zhang; Mao Chen 002; Sannyuya Liu (J. Autom. Reason., 2023)

A filtered beam search based heuristic algorithm for packing unit circles into a circular container. - Mao Chen 002; Yajing Yang; Zeyu Zeng; Xiangyang Tang; Xicheng Peng; Sannuya Liu (Comput. Oper. Res., 2024)

Automated Generation of Geometry Proof Problems Based on Point Geometry Identity. - Lei Li; Zongkai Yang; Mao Chen 002; Xicheng Peng; Jianwen Sun; Zhonghua Yan; Sannyuya Liu (J. Autom. Reason., 2024)

An explainable graph-based course recommendation model based on multiple interest factors. - Yajing Yang; Xicheng Peng; Mao Chen 002; Sannyuya Liu (Expert Syst. Appl., 2025)