AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning. - Kaiqiang Jiang; Ping Huang; Hui Zan; Dehui Du (Int. J. Softw. Informatics, 2016)

Research on Tujia Brocade Craft Visualization Based on Unmarked Motion Capture Technique. - Gang Zhao 004; Hui Zan; Bingbing Di; Yali Yu; Wenjuan Zhu 001 (CYBCONF, 2017)

Strategy of Modeling and Simulation for Tujia Brocade Yarn. - Gang Zhao 004; Shuai Lu; Wenjuan Zhu 001; Hui Zan; Jun Li (CYBCONF, 2017)

Design and implementation of interactive system for Tujia brocade virtual weaving based on kinect. - Gang Zhao 004; Bingbing Di; Wenjuan Zhu 001; Yali Yu; Hui Zan (ICAC, 2017)

Design and implementation of multi - Touch Tujia brocade virtual weaving system. - Gang Zhao 004; Bingbing Di; Wenjuan Zhu 001; Yali Yu; Hui Zan (SPA, 2017)