2
Publications
110
Citations
2
H-Index
2011
Active since
Affiliations
Institute of Rock and Soil Mechanics(Current)
Lian Li is an author at Institute of Rock and Soil Mechanics specializing in formal verification, parallel computing, and parallel programming.
Top concepts
EngineeringData ScienceData ModelingFormal MethodsStatic AnalysisComputer ScienceMachine LearningProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2011–2025
2
2
Rows per page
1–2 of 2