Common Program Analysis of Two-Party Security Protocols Using SMV. - Yuqing Zhang 001; Suping Jia (APWeb Workshops, 2006)

Hybrid S-RAID: A Power-Aware Archival Storage Architecture. - Jingyu Liu; Yuanzhang Li 001; Suping Jia; Jiasheng Hong; Jingyong Yan; Yufeng Guo (PDCAT, 2012)