Automatic Conversion and Verification System Based on AADL Scheduling Model. - Dachuan Liang; Jing Li; Haiyang Bai; Huafeng Lin (TASE, 2016)

基于Uppaal的实时系统AADL数据流模型的转换与验证 (Transformation and Verification Method of AADL Data Flows for Real-time System Using Uppaal). - Ningmin Shen; Jing Li 077; Haiyang Bai; Yi Zhuang 002 (计算机科学, 2016)

FVLoc-NeRF : Fast Vision-Only Localization within Neural Radiation Field. - Wenzhi Guo; Haiyang Bai; Yuanqu Mou; Jia Liu 008; Lijun Chen 006 (IROS, 2023)

How Classification Baseline Works for Deep Metric Learning: A Perspective of Metric Space. - Yuanqu Mou; Zhengxue Jian; Haiyang Bai; Chang Gou (ACML, 2024)

3D Shape Classification by Registration: Neural-Network-Free and Training-Free. - Chang Gou; Yuanqu Mou; Wenjie Li 002; Neetesh Purohit; Suneel Yadav; Haiyang Bai; Xu Zhang; Lijun Chen 006 (ICASSP, 2025)

GaRe: Relightable 3D Gaussian Splatting for Outdoor Scenes from Unconstrained Photo Collections. - Haiyang Bai; Jiaqi Zhu; Songru Jiang; Wei Huang; Tao Lu; Yuanqi Li; Jie Guo 001; Runze Fu; Yanwen Guo 001; Lijun Chen (CoRR, 2025)