A Method to Search Fallible Branch in FPGA Programs. - Haixu Li; Yunyi Yan; Baolong Guo 001 (IIH-MSP, 2015)

A Fuzzy Human Pilot Model of Longitudinal Control for a Carrier Landing Task. - Chen Chen; Wenqian Tan; Xiangju Qu; Haixu Li (IEEE Trans. Aerosp. Electron. Syst., 2018)

Benchmarking Biomedical Relation Knowledge in Large Language Models. - Fenghui Zhang; Kuo Yang; Chenqian Zhao; Haixu Li; Xin Dong 016; Haoyu Tian; Xuezhong Zhou (ISBRA (2), 2024)

Safe Dispatch Corridor: Toward Efficient Trajectory Planning for Carrier Aircraft Traction System on Flight Deck. - Xinwei Wang; Zhilong Deng; Haixu Li; Lei Wang 035; Junhong Jin; Xichao Su (IEEE Trans. Aerosp. Electron. Syst., 2025)