Weiran Gao

According to our database, Weiran Gao authored at least 5 papers between 2015 and 2022.

Collaborative distances:

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

2022

A JPSL Based Model Checking Approach for Java Programs.

Xinfeng Shu, YanLin Li, Weiran Gao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

2021

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

Proceedings of the AIPR 2021: 4th International Conference on Artificial Intelligence and Pattern Recognition, Xiamen, China, September 24, 2021

2020

An MSVL Based Model Checking Method for Multi-threaded C Programs.

Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019

Model Checking Python Programs with MSVL.

Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

2015

Coupling of smoothed particle hydrodynamics and finite volume method for two-dimensional spouted beds.

Fuzhen Chen, Hongfu Qiang, Weiran Gao

Comput. Chem. Eng., 2015