| Issue Date | Title | Author(s) |
| 2003 | Building a Web Thesaurus from Web Link Structure | Chen, Zheng; Liu, Shengping; Wenyin, Liu; Pu, Geguang; Ma, Wei-Ying |
| 1-Apr-2023 | Characterizing and Finding System Setting-Related Defects in Android Apps | Sun, Jingling; Su, Ting; Liu, Kai; Peng, Chao; Zhang, Zhao; Pu, Geguang; Xie, Tao; Su, Zhendong |
| 2006 | A formal model for Web Service Choreography Description Language (WS-CDL) | Yang, Hongli; Zhao, Xiangpeng; Qiu, Zongyan; Pu, Geguang; Wang, Shuling |
| 2006 | A hybrid heuristic algorithm for HW-SW partitioning within timed automata | Pu, Geguang; Chong, Zhang; Qiu, Zongyan; Lin, Zuoquan; He Jifeng |
| 2006 | A hybrid heuristic algorithm for HW-SW partitioning within timed automata | Pu, Geguang; Chong, Zhang; Qiu, Zongyan; Lin, Zuoquan; Jifeng, He |
| 2005 | Integrating Time and Resource into Circus | Pu, Geguang; Qiu, Zongyan; He, Jifeng |
| 2006 | Integrating timed automata into tabu algorithm for HW-SW partitioning | Pu, Geguang; Chong, Zhang; Qiu, Zongyan; He, Jifeng; Yi, Wang |
| 2006 | An optimal lower-bound algorithm for the high-level synthesis scheduling problem | Pu, Geguang; He, Jifeng; Qiu, Zongyan |
| 2007 | Patterns with algebraic properties in BPEL0 | Pu, Geguang; Zhu, Huibiao; He, Jifeng; Qiu, Zongyan; Yang, Hongli; Zhao, Xiangpeng |
| 2005 | Semantics of BPEL4WS-like fault and compensation handling | Qiu, Zongyan; Wang, Shuling; Pu, Geguang; Zhao, Xiangpeng |
| 2009 | Static validation of WS-CDL documents | Pu, Geguang; Wang, Zheng; Zhou, Lei; Zhang, Hanyi; Wang, Tao; Yang, Chuchao; Peng, Liyang; Sun, Meng |
| 2006 | Theoretical foundations of scope-based compensable flow language for web service | Pu, Geguang; Zhu, Huibiao; Qiu, Zongyan; Wang, Shuling; Zhao, Xiangpeng; He, Jifeng |
| 2007 | Tool support for BPEL verification in ActiveBPEL engine | Qian, Yi; Xu, Yuming; Wang, Zheng; Pu, Geguang; Zhu, Huibiao; Cai, Chao |
| 2009 | Towards scalable compositional test generation | Sun, Tao; Wang, Zheng; Pu, Geguang; Yu, Xiao; Qiu, Zongyan; Gu, Bin |
| 2006 | Type checking choreography description language | Yang, Hongli; Zhao, Xiangpeng; Qiu, Zongyan; Cai, Chao; Pu, Geguang |
| 2021 | Understanding and Finding System Setting-Related Defects in Android Apps | Sun, Jingling; Su, Ting; Li, Junxin; Dong, Zhen; Pu, Geguang; Xie, Tao; Su, Zhendong |
| 2009 | Verification of channel passing in choreography with model checking | Peng, Liyang; Cai, Chao; Zongyan, Qiu; Pu, Geguang |
