Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models. - Xianfei Tang; Changjun Jiang; Zhijun Ding (ICWS, 2007)

Achievable multicast throughput for homogeneous wireless ad hoc networks. - Cheng Wang 001; Changjun Jiang; Shaojie Tang 001; Xiang-Yang Li 001; Xianfei Tang (WCNC, 2009)

Automatic Web service composition based on Horn clauses and Petri nets. - Xianfei Tang; Changjun Jiang; Mengchu Zhou (Expert Syst. Appl., 2011)