| Automatically testing web services choreography with assertions L Zhou, J Ping, H Xiao, Z Wang, G Pu, Z Ding Formal Methods and Software Engineering, 138-154, 2010 | 38 | 2010 |
| Static check of WS-CDL documents L Zhou, H Zhang, T Wang, C Yang, Z Wang, M Sun, G Pu 2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008 | 20 | 2008 |
| Web services choreography validation Z Wang, L Zhou, Y Zhao, J Ping, H Xiao, G Pu, H Zhu Service Oriented Computing and Applications 4 (4), 291-305, 2010 | 12 | 2010 |
| Efficient two-phase approaches for branch-and-bound style resource constrained scheduling M Chen, F Gu, L Zhou, G Pu, X Liu 2014 27th International Conference on VLSI Design and 2014 13th …, 2014 | 4 | 2014 |
| Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis M Chen, L Zhou, G Pu, J He 2013 International Conference on Hardware/Software Codesign and System …, 2013 | 4 | 2013 |
| Simulation and validation of Web services choreography L Zhou, H Xiao, J Ping, G Pu, H Zhang 2009 IEEE International Conference on Service-Oriented Computing and …, 2009 | 4 | 2009 |
| DART-CUDA: A PGAS runtime system for multi-GPU systems L Zhou, K Fürlinger 2015 14th International Symposium on Parallel and Distributed Computing, 110-119, 2015 | 3 | 2015 |
| Static validation of WS-CDL documents G Pu, Z Wang, L Zhou, H Zhang, T Wang, C Yang, L Peng, M Sun Simulation Modelling Practice and Theory 17 (8), 1367-1377, 2009 | 2 | 2009 |
| CDLChecker: A WS-CDL analysis tool S Jiang, L Zhou, Y Qi 2012 2nd International Conference on Consumer Electronics, Communications …, 2012 | | 2012 |
| DART-‐CUDA: A PGAS Run me System for Mul-‐GPU Systems L Zhou, K Fürlinger | | |
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
