2
Publications
35
Citations
2
H-Index
2020
Active since
Affiliations
Ji-Hee Park is an author at Korea Advanced Institute of Science and Technology specializing in program analysis, engineering, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal MethodsStatic AnalysisSystem SoftwareFormal SemanticsSoftware TestingHardware SecuritySoftware Analysis
Publications per year
2020–2023
2
2
Jihyeok Park, Ji-Hee Park, Seungmin An et al. · 2020 · 19 citations
Rows per page
1–2 of 2