Ke Xu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

168 Junwei Cao, Fan Zhang, Ke Xu, Lianchen Liu, Cheng Wu: Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows. J. Comput. Sci. Technol. 26(6): 1017-1030 (2011)

123 Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu: Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis. AINA Workshops 2008: 187-194

88 Ke Xu, Lianchen Liu, Cheng Wu: A three-layered method for business processes discovery and its application in manufacturing industry. Computers in Industry 58(3): 265-278 (2007)

Selection of 3 from 227 records - Ke Xu has 247 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

168		Junwei Cao, Fan Zhang, Ke Xu, Lianchen Liu, Cheng Wu: Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows. J. Comput. Sci. Technol. 26(6): 1017-1030 (2011)
123		Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu: Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis. AINA Workshops 2008: 187-194
88		Ke Xu, Lianchen Liu, Cheng Wu: A three-layered method for business processes discovery and its application in manufacturing industry. Computers in Industry 58(3): 265-278 (2007)