Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection. - Chengcheng Ji; Masahito Kurihara; Haruhiko Sato (IEICE Trans. Inf. Syst., 2019)

Research on Muli-objective Ship Speed Optimization Considering Ship Emission Control Areas. - Ting Guo; Zhongzheng Huang; Ruimin Li; Chengcheng Ji; Xianghua Lai (IoTAAI, 2023)