Tactics for Proving Separation Logic Assertion in Coq Proof Assistant. - Siran Lei; Mengqi Cheng; Jianguo Jiang (ICVISP, 2019)

Research on NetPad Teaching Mode Based on ARCS Motivational Model. - Jing Zhang 097; Jinghui Gao; Siran Lei; Ruxian Chen; Ya Li; Yongsheng Rao (ICCSE (2), 2022)

Design and Practice of Innovation Education Based on DM-DCCSE Model. - Yongsheng Rao; Ningxin Chen; Qixing Zhou; Siran Lei; Ruiqi Cai; Ruxian Chen (ICEMT, 2023)

Construction of N-ARCS Teaching Model for Deep Learning of Mathematics for Secondary School Students. - Jing Zhang 097; Siran Lei; Guoyao Xu; Jiajian Zhuo; Yongsheng Rao (ICEMT, 2023)

A Novel Concept of Level Graph in Interval-Valued Fuzzy Graphs with Application. - Yongsheng Rao; Siran Lei; Ali Asghar Talebi 001; Masomeh Mojahedfar (Symmetry, 2023)