Haiyang Bai

According to our database, Haiyang Bai authored at least 3 papers between 2016 and 2023.

Collaborative distances:

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

2023

FVLoc-NeRF : Fast Vision-Only Localization within Neural Radiation Field.

Wenzhi Guo, Haiyang Bai, Yuanqu Mou, Jia Liu, Lijun Chen

IROS, 2023

2016

基于Uppaal的实时系统AADL数据流模型的转换与验证 (Transformation and Verification Method of AADL Data Flows for Real-time System Using Uppaal).

Ningmin Shen, Jing Li, Haiyang Bai, Yi Zhuang

计算机科学, 2016

Automatic Conversion and Verification System Based on AADL Scheduling Model.

Dachuan Liang, Jing Li, Haiyang Bai, Huafeng Lin

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016