Model Checking for Turn-Based Probability Epistemic Game Structure. - Guocheng Zheng; Pin Wang; Xinyu Zhang; Chuan Zhang; Mengao Li; Yuxiao Yang; Weifeng Xu (HCC, 2018)

Analysis Method of Ship Detention Judgment based on optimized DBSCAN Cluster Algorithm. - Lei Han; Hanting Zhao; Mengao Li (ICMLC, 2022)

Software Technology Status Management under the Trend of Ship Informatization. - Mengao Li; Hanting Zhao; Wenxiu Zhang; Xiqiao Pang; Tao Feng (QRS Companion, 2022)