Checking the consistency of Object-Z formal specification based on theorem proof. - Weiqing Wan; Yongqing Yu; Qingyan Zeng; Zhicheng Wen (J. Comput. Methods Sci. Eng., 2020)

Internet of Things-Based Agricultural Mechanization Using Neural Network Extreme Learning on Rough Set. - Jian Chen; Xiaohua Chen; Qingyan Zeng; Ishbir Singh; Amit Sharma (Int. J. Agric. Environ. Inf. Syst., 2021)

Cross-Feature Interactive Tabular Data Modeling With Multiplex Graph Neural Networks. - Mang Ye; Yi Yu 001; Ziqin Shen; Wei Yu 009; Qingyan Zeng (IEEE Trans. Knowl. Data Eng., 2024)