Counterexample Generation for Conditional Probability in Probabilistic Model Checking. - Mingyu Ji; Di Wu; Yanmei Li; Zhiyuan Chen (J. Comput., 2013)

Verification Method of Conditional Probability Based on Automaton. - Mingyu Ji; Di Wu; Zhiyuan Chen (J. Networks, 2013)

Measurement of sentence similarity based on constituency parsing and dilated convolution. - Mingyu Ji; Chenlong Wang; Gang Liu (Int. J. Comput. Appl. Technol., 2020)

Research on semantic similarity calculation methods in Chinese financial intelligent customer service. - Mingyu Ji; Xinhai Zhang (Int. J. Comput. Appl. Technol., 2022)

Research on image to illustration translation method based on CycleGAN. - Yuhan Wei; Mingyu Ji; Jian Lv; Xinhai Zhang (Int. J. Comput. Appl. Technol., 2022)

Physical insight into the entropy-driven ion association. - Xiao Yang; Mingyu Ji; Cong Zhang; Xiaoning Yang; Zhijun Xu (J. Comput. Chem., 2022)