Describing and Verifying Web Service Using CCS. - Li Bao; Weishi Zhang; Xiuguo Zhang (PDCAT, 2006)

Describing and Verifying Web Service by CCS on a Case Study. - Li Bao; Weishi Zhang; Xiuguo Zhang (ICNSC, 2008)

Comparison and Analysis of the Selection Mechanism in the Artificial Bee Colony Algorithm. - Li Bao; Jianchao Zeng 001 (HIS (1), 2009)

A Formal Model for Abstracting the Interaction of Web Services. - Li Bao; Weishi Zhang; Xiong Xie (J. Comput., 2010)

Real-Time Simulation of Level 1, Level 2, and Level 3 Electric Vehicle Charging Systems. - Li Bao; Lingling Fan 001; Zhixin Miao (CoRR, 2021)

IWSN: A novel method for modeling the interaction of web services. - Li Bao; Jianxiong Wan; Le Hao (J. Comput. Methods Sci. Eng., 2021)

Thermal Error Modeling of Numerical Control Machine Based on Beetle Antennae Search Back-propagation Neural Networks. - Li Bao; Yulong Xu; Qiang Zhou; Peng Gao; Xiaoxia Guo; Ziqi Liu; Hui Jiang (Int. J. Comput. Intell. Syst., 2023)

Tws-based path planning of multi-AGVs for logistics center auto-sorting. - Chunyan Liu; Li Bao; Chonglin Gu; Song Liang; Yunlong Zhao 001 (CCF Trans. Pervasive Comput. Interact., 2024)

Automated Detection of Tiny 3D Signals in Tn5-Fluorescence in Situ Hybridization Using a Scale-Free Deep Learning Model. - Zhichao Yu; Jiahui Yu; Jinfeng Guo; Simon Fong 001; Wei Luo; Li Bao; Bin Chu; Juntao Gao (ISCBI, 2025)