A Formal Description of SECIMOS Operating System. - Zhouyi Zhou; Bin Liang 002; Li Jiang; Wenchang Shi; Yeping He (MMM-ACNS, 2005)

A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty. - Chunyang Yuan; Yeping He; Jianbo He; Zhouyi Zhou (Inscrypt, 2006)

Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework. - Xinsong Wu; Zhouyi Zhou; Yeping He; Hongliang Liang (ISPEC, 2009)

Fidelity Evaluation based Time Dilation in Hybrid Network Emulation. - Siming Lin; Zhouyi Zhou; Wenyang Deng; Liang Chang; Chao Wang; Liang Liang (SIGSIM-PADS, 2015)

Attribute-aware heterogeneous graph network for fashion compatibility prediction. - Zhouyi Zhou; Zhuo Su 001; Ruomei Wang 001 (Neurocomputing, 2022)