A bionic gait programming algorithm for hexapod robot. - Xiaohu Lv; Yongxin Liu (ICIS, 2009)

基于系统多维要素的安全关键软件验证方法 (Systemic Muti-factors Based Verification Method for Safety-critical Software). - Xiaohu Lv; Xiaodong Han; Jianglei Gong; Zhijie Wang; Xiaokun Liu (计算机科学, 2019)