Statistics
Publications
3
Citations
95
H-Index
3
Active since
2002
Affiliations
Seung Mo Cho is an author at Korea Advanced Institute of Science and Technology specializing in computer science, computing, and formal methods.
Publications per year
2002–2010
3
3
An OpenCL framework for heterogeneous multicores with local memory
Jaejin Lee, Jungwon Kim, Sangmin Seo et al. · 2010 · 68 citations
A semantics of sequence diagrams
Seung Mo Cho, Hyung‐Ho Kim, Sung Deok et al. · Information Processing Letters · 2002 · 16 citations
Applying model checking to concurrent object-oriented software
Seung Mo Cho, Doo Hwan Bae, Sung Deok et al. · 2003 · 11 citations
1–3 of 3