Ailun Liu

According to our database, Ailun Liu authored at least 7 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

About Bullying.

Ailun Liu

Proceedings of the 6th International Conference on Universal Village, 2022

2020

Formal analysis and verification of the PSTM architecture using CSP.

Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang

J. Syst. Softw., 2020

2017

A Proof System for mCWQ.

Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 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

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction.

Kai Chen, Hongyan Mao, Xiangyu Shi, Yuanmin Xu, Ailun Liu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Formalization and Verification of the PSTM Architecture.

Ailun Liu, Miroslav Popovic, Huibiao Zhu

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2007

Research and Application of a Hierarchical Fault Diagnosis System Based on Support Vector Machine.

Ailun Liu, Xiaoyan Yuan, Jinshou Yu

Proceedings of the Third International Conference on Natural Computation, 2007