Research and Application of a Hierarchical Fault Diagnosis System Based on Support Vector Machine. - Ailun Liu; Xiaoyan Yuan; Jinshou Yu (ICNC (2), 2007)

Formalization and Verification of the PSTM Architecture. - Ailun Liu; Miroslav Popovic; Huibiao Zhu (APSEC, 2017)

Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction. - Kai Chen; Hongyan Mao; Xiangyu Shi; Yuanmin Xu; Ailun Liu (COMPSAC (2), 2017)

Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra. - Ailun Liu; Huibiao Zhu; Yuan Fei; Shuangqing Xiang; Gang Lu; Wanling Xie (COMPSAC (1), 2017)

A Proof System for mCWQ. - Wanling Xie; Xi Wu 005; Huibiao Zhu; Gang Lu; Ailun Liu (COMPSAC (1), 2017)

Formal analysis and verification of the PSTM architecture using CSP. - Ailun Liu; Huibiao Zhu; Miroslav Popovic; Shuangqing Xiang; Lei Zhang (J. Syst. Softw., 2020)

About Bullying. - Ailun Liu (UV, 2022)