Concepedia
Statistics
Publications
8
Citations
295
H-Index
Active since
2006
Affiliations
Kansas State University(Current)
Pusan National University
Sungkyunkwan University
Jooyong Lee is an author at Kansas State University specializing in computer science, computing, and systems programming.
Publications per year
2006–2022
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems
Xianghua Deng, Jooyong Lee, Robby · 2006 · 106 citations
Computing, Computer Science, Computer Systems +15
Filtering false alarms of buffer overflow analysis using SMT solvers
Youil Kim, Jooyong Lee, Hwansoo Han et al. · Information and Software Technology · 2009 · 38 citations
Computing, Computer Engineering, Computer Science +5
Towards an industrial grade IVE for Java and next generation research platform for JML
Patrice Chalin, Robby, Perry R. James et al. · International Journal on Software Tools for Technology Transfer · 2010 · 37 citations
Computing, Computer Engineering, Computer Science +10
Simulation of Bay-Shaped Shorelines after the Construction of Large-Scale Structures by Using a Parabolic Bay Shape Equation
Changbin Lim, Jooyong Lee · Journal of Marine Science and Engineering · 2021 · 33 citations · Full text
Natural Sciences, Ocean Engineering, Coastal Engineering +16
Wave attenuation prediction of artificial coral reef using machine-learning integrated with hydraulic experiment
Taeyoon Kim, Yong‐Ju Kwon, Jooyong Lee et al. · Ocean Engineering · 2022 · 29 citations · Full text
Engineering, Marine Engineering, Ocean Engineering +17
1–5 of 8