Study on the expert system of overhead lines icing and icing melting. - Heyun Liu; Wenbin Tang; Xiaohui Ma; Xiaosong Gu (ISKE, 2008)

Cortical Activations and BCI Performances at Different Speeds of Visual and Proprioceptive Stimulation. - Mengya Wang; Long Chen 017; Zhongpeng Wang; Lei Zhang 177; Xiaosong Gu; Dong Ming (EMBC, 2019)

A synthetical development approach for rehabilitation assistive smart product-service systems: A case study. - Guo Jia; Guiyi Zhang; Xin Yuan; Xiaosong Gu; Heshan Liu; Zhijun Fan; Lingguo Bu (Adv. Eng. Informatics, 2021)

Raft with Out-of-Order Executions. - Xiaosong Gu; Hengfeng Wei; Lei Qiao; Yu Huang 002 (Int. J. Softw. Informatics, 2021)

Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. - Xiaosong Gu; Wei Cao; Yicong Zhu; Xuan Song; Yu Huang 002; Xiaoxing Ma (SRDS, 2022)

A design method for an intelligent manufacturing and service system for rehabilitation assistive devices and special groups. - Zilin Wang; Lizhen Cui; Wei Guo 017; Lei Zhao; Xin Yuan; Xiaosong Gu; Weizhong Tang; Lingguo Bu; Weiming Huang 001 (Adv. Eng. Informatics, 2022)

Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. - Xiaosong Gu; Wei Cao; Yicong Zhu; Xuan Song; Yu Huang 002; Xiaoxing Ma (CoRR, 2022)

Differences in Muscle Activity and Mouse Behavior Data of Graphic Design Workers in Moving and Dragging Tasks with Different Targets. - Yuanyuan Bu; Xin Yuan; Ziqing Xia; Xinyi Yuan; Xiaosong Gu; Heshan Liu; Zhijun Fan; Lingguo Bu (Int. J. Hum. Comput. Interact., 2024)