A Novel Mathematical Model to Predict the Severity of Postoperative Functional Reduction before Partial Nephrectomy: The Importance of Calculating Resected and Ischemic Volume
Shin, Tae Young, Komninos, Christos, Kim, Dong Wook, So, Keum Sook, Bang, Ki Seok, Jeong, Heon-Jae, Han, Woong Kyu, Hong, Sung Jun, Jung, Byung Ha, Lim, Sey Kiat, Lee, Sang Kon, Lee, Won Ki, Rha, Koon Ho
Published in The Journal of urology (01.02.2015)
Published in The Journal of urology (01.02.2015)
Get full text
Journal Article
Comments on "The Model Checker SPIN"
Bang, Ki-Seok, Choi, Jin-Young, Yoo, Chuck
Published in IEEE transactions on software engineering (01.06.2001)
Published in IEEE transactions on software engineering (01.06.2001)
Get full text
Journal Article
Verifying Behavior of L4 Microkernel based Mobile Phone
Ki-Seok Bang, Su-Young Lee, Ki-Hyuk Nam, Wan-Yeon Lee, Young-Woong Ko
Published in The 9th International Conference on Advanced Communication Technology (01.02.2007)
Published in The 9th International Conference on Advanced Communication Technology (01.02.2007)
Get full text
Conference Proceeding
Improvement of Rainfall Measurements by Using a Dual Tipping Bucket Rain Gauge
Choi, Jeong Hwan, Chang, Ki-Ho, Kim, Kyung-Eak, Bang, Ki Seok
Published in Asia-Pacific journal of atmospheric sciences (01.05.2023)
Published in Asia-Pacific journal of atmospheric sciences (01.05.2023)
Get full text
Journal Article
Equivalence checking of two Statechart specifications
Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang
Published in Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668) (2000)
Published in Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668) (2000)
Get full text
Conference Proceeding
A Method for Distributing Web Applications
Ki-Hyuk Nam, Ki-Seok Bang, Wan Choi
Published in 2008 10th International Conference on Advanced Communication Technology (01.02.2008)
Published in 2008 10th International Conference on Advanced Communication Technology (01.02.2008)
Get full text
Conference Proceeding
Real-Time Data Stream Management System for Large Volume of RFID Events
So Young Choi, Ho Min Jung, Ki Seok Bang, Wan Yeon Lee, Young Woong Ko
Published in 2008 International Conference on Convergence and Hybrid Information Technology (01.08.2008)
Published in 2008 International Conference on Convergence and Hybrid Information Technology (01.08.2008)
Get full text
Conference Proceeding
SSR: Statechart with shared resources
Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi
Published in IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 (2003)
Published in IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 (2003)
Get full text
Conference Proceeding