Belief Revision over Infinite Propositional Language. - Hua Meng 001; Yayan Yuan; Jielei Chu; Hongjun Wang 002 (KSEM, 2015)

AGM信念收缩算子的拓扑式刻画 (Topological Characterization of AGM Belief Contraction Operator). - Hua Meng 001; Yayan Yuan; Jielei Chu; Hongjun Wang 002 (计算机科学, 2016)

Characterizing Consistent Smyth Powerdomains by FS-∧↑-domains. - Yayan Yuan; Hui Kou (ISDT, 2017)