Circuit delay computation based on ITTPN. - Shuangjia Shao; Guiming Luo; Jian Luo 003; Xibin Zhao (ICCI*CC, 2013)

Formal Modeling and Verification for MVB. - Mo Xia; Kueiming Lo; Shuangjia Shao; Mian Sun (J. Appl. Math., 2013)