Toward Verification and Validation of Software Requirements. - G. M. Shi; Isao Miyamoto (SEKE, 1990)

Temporal Event Analysis and Program Understanding. - William E. Howden; G. M. Shi (COMPSAC, 1995)

Linear and Structural Event Sequence Analysis. - William E. Howden; G. M. Shi (ISSTA, 1996)

Direct Design of Near Perfect Reconstruction Linear Phase Nonuniform Filter Banks with Rational Sampling Factors. - X. Y. Chen; X. M. Xie; G. M. Shi (ICASSP (3), 2006)

Design of Nonsubsampled Directional Filter Banks with Arbitrary Number of Channels. - G. M. Shi; L. L. Liang; X. M. Xie (ISCAS, 2009)