44
Publications
1.8K
Citations
25
H-Index
2008
Active since
Lingyi Liu is an author at University of Nebraska–Lincoln specializing in engineering, formal verification, and program analysis.
Top concepts
EngineeringVerificationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationBiochemistryFood ChemistryFormal Methods
Publications per year
2008–2025
44
44
Rows per page
1–5 of 44