Research On Dialogue Management Model Based On A3C Algorithm. - Dejun Wang; Beier Sun; Zhihui Li; Zonghua Hu; Yuze; Duanwei (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, 2022)

K-Go: An executable formal semantics of Go language in K framework. - Can Zhao; Qin Liu; Zonghua Hu; Ze Yu; Dejun Wang; Bo Meng (IET Blockchain, 2023)