Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Lei Zhou 0007

> Home > Persons

Person information

affiliation: East China Normal University, Software Engineering Institute, Shanghai Key Laboratory of Trustworthy Computing, China

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/ChenGZPL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/ChenGZPL14
Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu:
Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. VLSID 2014: 162-167
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/codes/ChenZPH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codes/ChenZPH13
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: 14:1-14:10
2010
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/soca/WangZZPXPZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soca/WangZZPXPZ10
Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu:
Web services choreography validation. Serv. Oriented Comput. Appl. 4(4): 291-305 (2010)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZhouPXWPD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZhouPXWPD10
Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding:
Automatically Testing Web Services Choreography with Assertions. ICFEM 2010: 138-154

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/simpra/PuWZZWYPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpra/PuWZZWYPS09
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): 1367-1377 (2009)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/ZhouXPPZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/ZhouXPPZ09
Lei Zhou, Hao Xiao, Jing Ping, Geguang Pu, Hanyi Zhang:
Simulation and validation of Web services choreography. SOCA 2009: 1-8
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sose/ZhouZWYWSP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sose/ZhouZWYWSP08
Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu:
Static Check of WS-CDL Documents. SOSE 2008: 142-147

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.