69
Publications
1.9K
Citations
25
H-Index
1994
Active since
Jin‐Young Choi is an author at Korea University specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal VerificationVerificationData SecurityFormal MethodsProgram AnalysisInformation Security
Publications per year
1994–2024
69
69
Rows per page
1–5 of 69