Satisfiability Degree Theory for Temporal Logic. - Jian Luo 003; Guiming Luo; Mo Xia (IJCCI (ECTA-FCTA), 2011)

An Algorithm for Satisfiability Degree Computation. - Jian Luo 003; Guiming Luo; Mo Xia (IJCCI (ECTA-FCTA), 2011)

Design and implementation of automatic verification for PLC systems. - Mo Xia; Mian Sun; Guiming Luo; Xibin Zhao (ICCI*CC, 2013)

Automatic verification of transition systems with unspecified components. - Mo Xia; Ming Jin; Guiming Luo (ISCAS, 2013)

Formal Modeling and Verification for MVB. - Mo Xia; Kueiming Lo; Shuangjia Shao; Mian Sun (J. Appl. Math., 2013)

Modeling and model checking by modular approach. - Mo Xia; Guiming Luo; Mian Sun (ICSE Companion, 2014)

Convolution Neural Network Recognition of Epileptic Foci Based on Composite Signal Processing of Electroencephalograph Data. - Mo Xia; Linfeng Sui; Xuyang Zhao; Toshihisa Tanaka 001; Jianting Cao (KES, 2021)

Frequency Modulation Based on Hyperbolic Tangent Function for Position Closed Loop Control of Stepper Motor. - Wenlin Zhou; Xin Li 062; Junzhang Qian; Mo Xia; Yi Pu; Ping Jiang; Jinlong Huang (IEEE Access, 2023)

A Tanh Control Method for the Third Mirror's Z Axis of Large Optical Telescope. - Wenlin Zhou; Kun Xie; Junzhang Qian; Mo Xia; Yi Pu; Jinlong Huang; Xin Li 062 (IEEE Access, 2023)

EEGNet Classification of Two Channels Sleep EEG for IndividualSpecialization Based on Data Augmentation. - Hongxi Xue; Mo Xia; Rui Deng; Jianting Cao (CACML, 2024)

Deep Sleep Recognition Based on CNNs and Data Augmentation. - Ruixuan Chen; Linfeng Sui; Mo Xia; Jianting Cao (AIAI (4), 2024)

Real-Time Classification of Deep and Non-Deep Sleep With Comparative Intervention Experiments. - Mo Xia; Hongxi Xue; Boning Li; Jianting Cao (IEEE Access, 2025)