A Middleware for Open CNC Architecture. - Qiangping Tang; Yu Wu; Guorong Qin (CASE, 2006)

Model Checking Analysis of Observational Transition System with SMV. - Tao He; Huazhong Li; Guorong Qin (ICICA (2), 2011)

Research of Semantic Web Model and Reasoning Based on F-Logic. - Guorong Qin; Tao He 004; Liping Li (ICICA (1), 2011)