| Smart Block: A visual block language and its programming environment for IoT N Bak, BM Chang, K Choi Journal of Computer Languages 60, 100999, 2020 | 41 | 2020 |
| Smart Block: A Visual Programming Environment for SmartThings N Bak, BM Chang, K Choi 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018 | 36 | 2018 |
| A Review on Exception Analysis BM Chang, K Choi Information and Software Technology, 2016 | 24 | 2016 |
| A secure application invocation mechanism in mobile phones for Near Field Communication K Choi, J Kim, S Park 2012 IEEE International Conference on Consumer Electronics (ICCE), 731-732, 2012 | 13 | 2012 |
| A theory of RPC calculi for client-server model. K Choi, BM Chang Journal of Functional Programming 29, e5, 2019 | 12 | 2019 |
| A lightweight approach to component-level exception mechanism for robust android apps K Choi, BM Chang Computer Languages, Systems & Structures 44, 283-298, 2015 | 12 | 2015 |
| A type and effect system for activation flow of components in Android programs K Choi, BM Chang Information Processing Letters 114 (11), 620-627, 2014 | 12 | 2014 |
| Compiling lazy functional programs based on the spineless tagless G-machine for the Java virtual machine K Choi, H Lim, T Han Functional and Logic Programming: 5th International Symposium, FLOPS 2001 …, 2001 | 12 | 2001 |
| A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps K Choi, M Ko, B Chang KSII Transactions on Internet and Information Systems (TIIS) 12 (9), 4248-4270, 2018 | 8 | 2018 |
| A text-based syntax completion method using LR parsing I Sasano, K Choi Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and …, 2021 | 7 | 2021 |
| SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis NY Bak, BM Chang, K Choi IET Software 14 (4), 411-422, 2020 | 7 | 2020 |
| An Evaluation of the Proguard, Obfuscation Tool for Android H Park, H Park, K Ko, K Choi, J Youn Proceedings of the Korea Information Processing Society Conference, 730-733, 2012 | 7 | 2012 |
| A polymorphic RPC calculus K Choi, J Cheney, S Fowler, S Lindley Science of Computer Programming 197, 102499, 2020 | 5 | 2020 |
| A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis BM Chang, JC Son, K Choi KSII Transactions on Internet and Information Systems 14 (6), 2354-2376, 2020 | 5 | 2020 |
| A type system for the push-enter model K Choi, T Han Information processing letters 87 (4), 205-211, 2003 | 5 | 2003 |
| A text-based syntax completion method using LR parsing and its evaluation I Sasano, K Choi Science of Computer Programming 228, 102957, 2023 | 3 | 2023 |
| A type theory for Krivine-style evaluation and compilation K Choi, A Ohori Asian Symposium on Programming Languages and Systems, 213-228, 2004 | 3 | 2004 |
| A Development of Open-Source Software for Educational Coding Environments Using Small Basic K Choi, G Kim, BM Chang KIISE Transactions on Computing Practices 24 (12), 649-661, 2018 | 2 | 2018 |
| Ranked Syntax Completion With LR Parsing K Choi, S Hwang, H Moon, I Sasano Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 1242-1251, 2024 | 1 | 2024 |
| SmartProvenance: User‐friendly provenance system for internet of things applications based on event flow graphs BM Chang, KM Lee, GY Koh, K Choi IET Software 16 (6), 576-602, 2022 | 1 | 2022 |
Byeong-Mo ChangSookmyung Women's Univ.Verified email at sookmyung.ac.kr
