Lei Zhou

Affiliations:

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

According to our database¹, Lei Zhou authored at least 7 papers between 2008 and 2014.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2014

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2013

Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2010

Web services choreography validation.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2010

Automatically Testing Web Services Choreography with Assertions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Static validation of WS-CDL documents.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2009

Simulation and validation of Web services choreography.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

2008

Static Check of WS-CDL Documents.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Lei Zhou

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...