An Ada-based Object-Oriented Modeling Language. - Guilan Dai; Baowen Xu (ACM SIGPLAN Notices, 1999)

A Comparison of Real/time Object-Oriented Modeling Methods ROOM and OCTOPUS. - Guilan Dai; Baowen Xu (ACM SIGPLAN Notices, 1999)

Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr. - Guilan Dai; Jinlan Tian; Suqing Zhang; Weidu Jiang; Jun Dai (ACM SIGPLAN Notices, 2002)

A study of compiler techniques for multiple targets in compiler infrastructures. - Guilan Dai; Suqing Zhang; Jinlan Tian; Weidu Jiang (ACM SIGPLAN Notices, 2002)

An abstract intermediate representation in compilation systems. - Guilan Dai; Jinlan Tian; Suqing Zhang; Weidu Jiang (ACM SIGPLAN Notices, 2003)

A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors. - Jia Chen; Shengyuan Wang 001; Yuan Dong; Guilan Dai; Yang Yang (ICESS, 2004)

A multi-agent based framework for collaborative testing on Web services. - Xiaoying Bai; Guilan Dai; Dezheng Xu; Wei-Tek Tsai (SEUS/WCCIA, 2006)

A Tuple-Space-Based Coordination Architecture for Test Agents in the MAST Framework. - Dezheng Xu; Xiaoying Bai; Guilan Dai (SOSE, 2006)

A Framework for Contract-Based Collaborative Verification and Validation of Web Services. - Xiaoying Bai; Yongbo Wang; Guilan Dai; Wei-Tek Tsai; Yinong Chen (CBSE, 2007)

Dynamic Reconfigurable Testing of Service-Oriented Architecture. - Xiaoying Bai; Dezheng Xu; Guilan Dai (COMPSAC (1), 2007)

Contract-Based Testing for Web Services. - Guilan Dai; Xiaoying Bai; Yongbo Wang; Fengjun Dai (COMPSAC (1), 2007)

A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S. - Guilan Dai; Xiaoying Bai; Chongchong Zhao (GCC, 2007)

A Framework for Model Checking Web Service Compositions Based on BPEL4WS. - Guilan Dai; Xiaoying Bai; Chongchong Zhao (ICEBE, 2007)

Timing Constraints Specification and Verification for Web Service Compositions. - Guilan Dai; Rujuan Liu; Chongchong Zhao; Changjun Hu (APSCC, 2008)

A Verification Method for Temporal Consistency of Service Flow. - Rujuan Liu; Guilan Dai; Changjun Hu; Chongchong Zhao (COMPSAC, 2008)

Contextual-LDA: A Context Coherent Latent Topic Model for Mining Large Corpora. - Peng Ding; Guilan Dai; Yong Zhang (BigMM, 2016)

A Membership-based Multi-dimension Hierarchical Deep Neural Network Approach for Fault Diagnosis. - Liangliang Li; Guilan Dai; Yong Zhang (SEKE, 2017)

Toward gradient bandit-based selection of candidate architectures in AutoGAN. - Yi Fan; Guoqiang Zhou; Jun Shen 001; Guilan Dai (Soft Comput., 2021)

A Novel Attention-Based BiLSTM-CNN Model in Valence-Arousal Space. - Guilan Dai; Jie Zhang; Xu Han (Int. J. Perform. Eng., 2022)

MMF-RNN: A Multimodal Fusion Model for Precipitation Nowcasting Using Radar and Ground Station Data. - Qian Liu; Yongxiang Xiao; Yaocheng Gui; Guilan Dai; Haoran Li; Xu Zhou 006; Aiai Ren; Guoqiang Zhou; Jun Shen 001 (IEEE Trans. Geosci. Remote. Sens., 2025)