Term rewriting systems with sort priorities. - Zhiqing Shao; Guoxin Song (Int. J. Comput. Math., 1995)

An algebraic characterization of inductive soundness in proof by consistency. - Zhiqing Shao; Guoxin Song (J. Comput. Sci. Technol., 1995)

Proving Inductive Theorems Using Witnessed Test Sets. - Zhiqing Shao; Yongqiang Sun; Guoxin Song; Huiqun Yu (ICFEM, 1998)

Completeness of the accumulation calculus. - Huiqun Yu; Guoxin Song; Yongqiang Sun (J. Comput. Sci. Technol., 1998)

Deciding quasi-reducibility using witnessed test sets. - Zhiqing Shao; Yongqiang Sun; Guoxin Song; Huiqun Yu (J. Comput. Sci. Technol., 1999)

A Delegation Logic Based Authorization Mechanism for Virtual Organizations. - Chunhua Gu; Xueqin Zhang; Guoxin Song (IWAP, 2005)

An Improved FSM Method for Web-based Applications. - Xunmei Gu; Guoxin Song; Qingyi Li (CIMCA/IAWTIC, 2006)

Design of a Fuzzy Decision-Making Model and Its Application to Software Functional Size Measurement. - Xunmei Gu; Guoxin Song; Lizhong Xiao (CIMCA/IAWTIC, 2006)

Polsar Terrain Classification Based on Denoising-CNN. - Yanhe Guo; Shuang Wang 001; Guoxin Song; Yongqiang Zhao; Wenqiang Hua; Feihang Liu (IGARSS, 2019)

Semi-Supervised PolSAR Image Classification Based on Improved Tri-Training With a Minimum Spanning Tree. - Shuang Wang 001; Yanhe Guo; Wenqiang Hua; Xinan Liu; Guoxin Song; Biao Hou; Licheng Jiao (IEEE Trans. Geosci. Remote. Sens., 2020)