Specification and Verification of Safe Web Service Behavior Adaptation. - Xiong Xie; Weishi Zhang; Huawei Zhai; Licheng Cui; Jinyu Shi (PAAP, 2010)

Researches on the novel methodology of traffic flow prediction based on similarity. - Licheng Cui; Weishi Zhang; Runtong Zhang; Huawei Zhai; Xiuguo Zhang; Xiong Xie (SoCPaR, 2011)

Toward formal description to metro services mechanism based on bigraph models. - Huawei Zhai; Weishi Zhang; Licheng Cui; Jinyu Shi; Hui Li (SoCPaR, 2011)

High-confidence petroleum industrial critical systems research based on bigraphical models. - Huawei Zhai; Weishi Zhang; Licheng Cui; Xiong Xie; Xiuguo Zhang (SoCPaR, 2011)

An Improved Pruning Algorithm for ELM Based on the PCA. - Licheng Cui; Huawei Zhai; Benchao Wang (ICRAI, 2017)

A Comprehensive Comparative Analysis of the Basic Theory of the Short Term Bus Passenger Flow Prediction. - Huawei Zhai; Licheng Cui; Yu Nie 002; Xiaowei Xu; Weishi Zhang (Symmetry, 2018)

Designing and Developing High-Confidence Petroleum Extraction Cyber-Physical System Using the Model-Driven Architecture. - Huawei Zhai; Licheng Cui; Weishi Zhang; Lijia Zhou; Xiuguo Zhang (ICPADS, 2019)

A Novel Orthogonal Extreme Learning Machine for Regression and Classification Problems. - Licheng Cui; Huawei Zhai; Hongfei Lin (Symmetry, 2019)

Dynamic trajectory index method based on large-scale real-time trajectory data. - Huawei Zhai; Licheng Cui; Kemal Polat; Fayadh Alenezi (PeerJ Comput. Sci., 2025)