Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets. - Yanhua Du; Lifeng Ai; Chunhuang Liu (GrC, 2005)

A Penalty-Based Genetic Algorithm for QoS-Aware Web Service Composition with Inter-service Dependencies and Conflicts. - Lifeng Ai; Maolin Tang (CIMCA/IAWTIC/ISE, 2008)

QoS-Based Web Service Composition Accommodating Inter-service Dependencies Using Minimal-Conflict Hill-Climbing Repair Genetic Algorithm. - Lifeng Ai; Maolin Tang (eScience, 2008)

A hybrid genetic algorithm for the optimal constrained web service selection problem in web service composition. - Maolin Tang; Lifeng Ai (IEEE Congress on Evolutionary Computation, 2010)

QoS-oriented Resource Allocation and Scheduling of Multiple CompositeWeb Services in a Hybrid Cloud Using a Random-Key Genetic Algorithm. - Lifeng Ai; Maolin Tang; Colin J. Fidge (Aust. J. Intell. Inf. Process. Syst., 2010)

Resource Allocation and Scheduling of Multiple Composite Web Services in Cloud Computing Using Cooperative Coevolution Genetic Algorithm. - Lifeng Ai; Maolin Tang; Colin J. Fidge (ICONIP (2), 2011)

Partitioning composite web services for decentralized execution using a genetic algorithm. - Lifeng Ai; Maolin Tang; Colin J. Fidge (Future Gener. Comput. Syst., 2011)

Dynamic Selection of Services under Temporal Constraints in Cloud Computing. - Yanhua Du; Xiaofei Wang; Lifeng Ai; Xitong Li (ICEBE, 2012)