2
Publications
30
Citations
2
H-Index
2022
Active since
Affiliations
Haoxin Tu is an author at Dalian University of Technology specializing in computer engineering, program analysis, and formal methods.
Top concepts
CompilersEngineeringVerificationFormal MethodsBinary AnalysisSoftware DesignStatic AnalysisComputer ScienceProgram AnalysisSoftware Systems
Publications per year
2022–2024
2
2
Rows per page
1–2 of 2