Lingzi Jin

14 papers B 1C 1Misc 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Nonconvex Nonsmooth Multicomposite Optimization and Its Applications to Recurrent Neural Networks.
SIAM J. Optim.
Lingzi Jin, Xiao Wang, Xiaojun Chen
2024 J jnl
Stochastic nested primal-dual method for nonconvex constrained composition optimization.
Math. Comput.
Lingzi Jin, Xiao Wang
2022 J jnl
A stochastic primal-dual method for a class of nonconvex constrained optimization.
Comput. Optim. Appl.
Lingzi Jin, Xiao Wang
2017 — conf
The LSQR algorithm for inversion in synthetic aperture imaging radiometry.
CISP-BMEI
Xiaocheng Yang, Jiaqi Huang, Wentao Lv, Long Wu, Mingfeng Jiang, Lingzi Jin
2017 — conf
The Pressure Comfort Sensation of Female's Body Parts Caused by Compression Garment.
AHFE (24)
Yongrong Wang, Yu Liu, Shengli Luo, Cheng Chen, Lingzi Jin
2009 — conf
Automated Functional Testing of Search Engine.
AST@ICSE
Lingzi Jin
2002 J jnl
Software requirements validation via task analysis.
J. Syst. Softw.
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
2000 B conf
Automating Scenario-Driven Structured Requirements Engineering.
COMPSAC
Hong Zhu, Lingzi Jin
2000 J jnl
Scenario Analysis in an Automated Tool for Requirements Engineering.
Requir. Eng.
Hong Zhu, Lingzi Jin
1997 J jnl
Adequate testing of hypertext applications.
Inf. Softw. Technol.
Lingzi Jin, Hong Zhu, Patrick A. V. Hall
1997 C conf
Automatic Generation of Formal Specification from Requirements Definition.
ICFEM
Lingzi Jin, Hong Zhu
1996 — conf
Tool support of orderly transition from informal to formal descriptions in requirements engineering.
IFIP World Conference on IT Tools
J. Xu, Lingzi Jin, Hong Zhu
1989 Misc conf
A Knowledge-Based System to Synthesize FP Programs from Examples.
EPIA
Hong Zhu, Lingzi Jin
1989 — conf
A metalanguage to express human guidance for program transformation.
TAI
Lingzi Jin, Hong Zhu