Formal Analysis for Security of Otway-Rees Protocol with BAN Logic. - Tingyuan Li; Xiaodong Liu; Zhiguang Qin; Xuanfang Zhang (DBTA, 2009)

QoS约束云环境下的工作流能效调度算法 (Workflow Energy-efficient Scheduling Algorithm in Cloud Environment with QoS Constraint). - Tingyuan Li; Boyan Wang (计算机科学, 2018)