Seung Mo Cho - Concepedia

Author

Seung Mo Cho

Korea Advanced Institute of Science and Technology

Also Known As

Mo Seung, Seung Mo Cho, The Korea Society Of Educational Studies In Mathematics

Publications

119

Citations

H-Index

Concepts

All Affiliations

Korea Advanced Institute of Science and Technology

About

Seung Mo Cho is an author at Korea Advanced Institute of Science and Technology specializing in engineering, automated reasoning, and software engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	95
2	Computer Science	2	2	79
3	Language Studies	1	1	16
4	Computer Engineering	1	1	68
5	Linguistics	1	1	16

Seung Mo Cho

Publications

Citations

H-Index

Page 1

	Year	Citations
An OpenCL framework for heterogeneous multicores with local memory Jaejin Lee, Jungwon Kim, Sangmin Seo, Cluster ComputingHeterogeneous ComputingEngineeringCompiler TechnologyComputer Architecture	2010	68
A semantics of sequence diagrams Seung Mo Cho, Hyung‐Ho Kim, Sung Deok, Information Processing Letters EngineeringDiagrammatic ReasoningOperational SemanticsAutomated ReasoningFormal Methods	2002	16
Applying model checking to concurrent object-oriented software Seung Mo Cho, Doo Hwan Bae, Sung Deok, EngineeringVerificationSoftware EngineeringConcurrent SystemModel Checking	2003	11

Page 1