A Knowledge-Based System to Synthesize FP Programs from Examples. - Hong Zhu 002; Lingzi Jin (EPIA, 1989)

A metalanguage to express human guidance for program transformation. - Lingzi Jin; Hong Zhu 002 (TAI, 1989)

Tool support of orderly transition from informal to formal descriptions in requirements engineering. - J. Xu; Lingzi Jin; Hong Zhu 002 (IFIP World Conference on IT Tools, 1996)

Automatic Generation of Formal Specification from Requirements Definition. - Lingzi Jin; Hong Zhu 002 (ICFEM, 1997)

Adequate testing of hypertext applications. - Lingzi Jin; Hong Zhu 002; Patrick A. V. Hall (Inf. Softw. Technol., 1997)

Automating Scenario-Driven Structured Requirements Engineering. - Hong Zhu 002; Lingzi Jin (COMPSAC, 2000)

Scenario Analysis in an Automated Tool for Requirements Engineering. - Hong Zhu 002; Lingzi Jin (Requir. Eng., 2000)

Software requirements validation via task analysis. - Hong Zhu 002; Lingzi Jin; Dan Diaper; Ganghong Bai (J. Syst. Softw., 2002)

Automated Functional Testing of Search Engine. - Lingzi Jin (AST, 2009)

The Pressure Comfort Sensation of Female's Body Parts Caused by Compression Garment. - Yongrong Wang; Yu Liu; Shengli Luo; Cheng Chen; Lingzi Jin (AHFE (24), 2017)

The LSQR algorithm for inversion in synthetic aperture imaging radiometry. - Xiaocheng Yang; Jiaqi Huang; Wentao Lv; Long Wu; Mingfeng Jiang; Lingzi Jin (CISP-BMEI, 2017)

A stochastic primal-dual method for a class of nonconvex constrained optimization. - Lingzi Jin; Xiao Wang 011 (Comput. Optim. Appl., 2022)

Stochastic nested primal-dual method for nonconvex constrained composition optimization. - Lingzi Jin; Xiao Wang 011 (Math. Comput., 2024)