by SEUNGCHEOL SHIN, LEE OUKSEH
Year of Publication 05.07.2019

by Lee, Oukseh, Yang, Hongseok, Petersen, Rasmus
Published in Formal methods in system design (01.08.2012)

by Yang, Hongseok, Lee, Oukseh, Berdine, Josh, Calcagno, Cristiano, Cook, Byron, Distefano, Dino, O’Hearn, Peter
Published in Computer Aided Verification (2008)

by Oukseh Lee, Seung-Cheol Jung, Hyo-Cheon Ahn, Taeho Kim
Published in 2008 10th International Conference on Advanced Communication Technology (01.02.2008)

by Hyunha Kim, Tae-Hyoung Choi, Seung-Cheol Jung, Hyoung-Cheol Kim, Oukseh Lee, Kyung-Goo Doh
Published in 2008 10th International Conference on Advanced Communication Technology (01.02.2008)

by Lee, Oukseh, Yang, Hongseok, Petersen, Rasmus
Published in Computer Aided Verification (2011)

by Choi, Tae-Hyoung, Lee, Oukseh, Kim, Hyunha, Doh, Kyung-Goo
Published in Lecture notes in computer science (2006)

by Lee, Oukseh, Yang, Hongseok, Yi, Kwangkeun
Published in Lecture notes in computer science (2005)

by Lee, Oukseh, Yang, Hongseok, Yi, Kwangkeun
Published in Science of computer programming (01.10.2005)

by Eo, Hyunjun, Lee, Oukseh, Yi, Kwangkeun
Published in New generation computing (01.01.2004)

by Lee, Oukseh, Yi, Kwangkeun, Paek, Yunheung
Published in Information processing letters (28.02.2002)

by Jeong, Jin-Woo, Park, Kyung-Wook, Lee, OukSeh, Lee, Dong-Ho
Published in Multimedia Content Analysis and Mining (2007)

by Taeho Kim, Oukseh Lee, Chaedeok Lim
Published in 2006 8th International Conference Advanced Communication Technology (2006)