Coupling of smoothed particle hydrodynamics and finite volume method for two-dimensional spouted beds. - Fuzhen Chen; Hongfu Qiang; Weiran Gao (Comput. Chem. Eng., 2015)

Model Checking Python Programs with MSVL. - Xinfeng Shu; Fengyun Gao; Weiran Gao; Lili Zhang; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2019)

An MSVL Based Model Checking Method for Multi-threaded C Programs. - Xinfeng Shu; Zhenyu Wang; Weiran Gao; Xiaobing Wang; Liang Zhao 021 (SOFL+MSVL, 2020)

Research on Military Equipment Entity Recognition and Knowledge Graph Construction Method Based on ALBERT-Bi-LSTM-CRF. - Xinfeng Shu; Jing Yan; Weiran Gao; Fan Zhang (AIPR, 2021)

A JPSL Based Model Checking Approach for Java Programs. - Xinfeng Shu; YanLin Li; Weiran Gao (SOFL+MSVL, 2022)