A Formalized Abstract Component Object Mode - Z-COM. - Huaikou Miao; Chuanjiang Yu; Li Li (TOOLS (36), 2000)

Z User Studio: An Integrated Support Tool for Z Specifications. - Huaikou Miao; Ling Liu; Chuanjiang Yu; Jijun Ming; Li Li (APSEC, 2001)

Enhancement of Robustness for Graph Neural Networks in AI Systems. - Dongyuan Zhang; Chuanjiang Yu; ShiJun Xu; Xinyi Gao (QRS Companion, 2023)