Lei Zhou

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Integer Programming Problems

Tree Search Algorithm

Branch And Bound Search

Parallel Processing

Top Venues

Publications

Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu
Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. VLSI Design (2014)
Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis. CODES+ISSS (2013)
Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding
Automatically Testing Web Services Choreography with Assertions. ICFEM (2010)
Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu
Web services choreography validation. Serv. Oriented Comput. Appl. 4 (4) (2010)
Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun
Static validation of WS-CDL documents. Simul. Model. Pract. Theory 17 (8) (2009)
Lei Zhou, Hao Xiao, Jing Ping, Geguang Pu, Hanyi Zhang
Simulation and validation of Web services choreography. SOCA (2009)
Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu
Static Check of WS-CDL Documents. SOSE (2008)