A Markov chain approach to study flow disruptions on surgery in emergency care. - Xiufeng Shao; Jingshan Li; Douglas A. Wiegmann (CASE, 2013)

Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net. - Yingjiu Guo; Xuemei Liu; Xiufeng Shao (CIS, 2013)

Bottleneck Analysis to Reduce Surgical Flow Disruptions: Theory and Application. - Xiufeng Shao; Xiang Zhong; Jingshan Li; Bruce L. Gewertz; Ken Catchpole; Eric J. Ley; Jennifer Blaha; Douglas A. Wiegmann (IEEE Trans Autom. Sci. Eng., 2015)

Enhancing feasibility determination with kriging metamodels. - Xiufeng Shao; Leyuan Shi (CASE, 2016)