Oukseh Lee
Author
Alternate name Oukseh Lee
Institution Hanyang University
Past institution Hanyang University
H-index: 6
I10-index: 6
Works count: 16
Citations count: 427
Scalable Shape Analysis for Systems Code
2008 · Hongseok Yang, Oukseh Lee, et al. · Lecture notes in computer science
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
2005 · Oukseh Lee, Hongseok Yang, et al. · Lecture notes in computer science
A Practical String Analyzer by the Widening Approach
2006 · Tae-Hyoung Choi, Oukseh Lee, et al. · Lecture notes in computer science