International Conferences and Journals
- Predicting the Progression of Mild Cognitive Impairment to Alzheimer’s Dementia Using Recurrent Neural Networks With a Series of Neuropsychological Tests
Chaeyoon Park, Gihun Joo, Minji Roh, Seunghun Shin, Sujin Yum, Na Young Yeo, Sang Won Park, Jae-Won Jang, Hyeonseung Im
Journal of Clinical Neurology. Published online. August 2024 [PDF]
사사: 융합보안, DS, RIS - Medical Data Analysis Using AutoML Frameworks
Seunghun Shin*, Dongyoung Park*, Suhwan Ji, Gihun Joo, Hyeonseung Im (* equal contributions)
Journal of Electrical Engineering & Technology. Published online. June 2024 [PDF] [GitHub]
사사: 지역지능화, BRL후속, DS, RIS - Design and Implementation of a Blockchain-Based Open Peer Review System Using Hyperledger Fabric
Suhwan Ji*, Seong-U Kim*, Dohyung Kim, Hyeonseung Im (* equal contributions)
Journal of Electrical Engineering & Technology. Published online. May 2024 [PDF] [GitHub]
사사: 블록체인, 지역지능화, RIS - Prediction of osteoporosis in patients with rheumatoid arthritis using machine learning
Chaewon Lee, Gihun Joo, Seunghun Shin, Hyeonseung Im, Ki Won Moon
Scientific Reports. 13:21800, December 2023 [PDF] [GitHub]
사사: 지역지능화, DS, RIS - Twelve-Lead ECG Reconstruction from Single-Lead Signals Using Generative Adversarial Networks
Jinho Joo*, Gihun Joo*, Yeji Kim, Moo-Nyun Jin, Junbeom Park, Hyeonseung Im (* equal contributions)
MICCAI 2023: International Conference on Medical Image Computing and Computer Assisted Intervention. 8-12 October 2023 [DOI] [GitHub]
사사: BRL후속, DS, RIS - Clinical Applicability of an Artificial Intelligence Prediction Algorithm for Early Prediction of Non-persistent Atrial Fibrillation
Yeji Kim*, Gihun Joo*, Bo-Kyung Jeon, Dong-Hyeon Kim, Tae Young Shin, Hyeonseung Im, Junbeom Park (* equal contributions)
Frontiers in Cardiovascular Medicine. 10:1168054, September 2023 [PDF]
사사: 융합보안, RIS - Automated Grading of Regular Expressions
Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko
ESOP 2023: 32nd European Symposium on Programming. 22-27 April 2023 [PDF]
사사: BRL - Anisotropic SpiralNet for 3D Shape Completion and Denoising
Seong Uk Kim, Jihyun Roh, Hyeonseung Im, Jongmin Kim
Sensors. 22(17): 6457 (2022) [PDF] - Predicting Progression to Dementia with “Comprehensive Visual Rating Scale” and Machine Learning Algorithms
Chaeyoon Park, Jae-Won Jang, Gihun Joo, Yeshin Kim, Seongheon Kim, Gihwan Byeon, Sang Won Park, Payam Hosseinzadeh Kasani, Sujin Yum, Jung-Min Pyun, Young Ho Park, Jae-Sung Lim, Young Chul Youn, Hyun-Soo Choi, Chihyun Park, Hyeonseung Im, SangYun Kim
Frontiers in Neurology. 13:906257, August 2022 [Paper] - RepCoder: An Automated Program Repair Framework for Probability-Based Program Synthesis
Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im
SAC 2022: 37th ACM/SIGAPP Symposium on Applied Computing. 25-29 April 2022 [DOI] [GitHub] - Human Motion Reconstruction Using Deep Transformer Networks
Seong Uk Kim, Hanyoung Jang, Hyeonseung Im, Jongmin Kim
Pattern Recognition Letters. vol. 150, pp. 162-169, October 2021 [PDF][DOI] - Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization
Siwoon Son, Hyeonseung Im, Yang-Sae Moon
The Journal of Supercomputing. vol. 77, pp. 11353–11389, October 2021 [PDF][DOI] (Published 24 March 2021) - Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis
Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko
CIAA 2021: International Conference on Implementation and Application of Automata. 19-23 July 2021 [DOI] - Evaluating countermeasures for verifying the integrity of Ethereum smart contract applications
Suhwan Ji, Dohyung Kim, Hyeonseung Im
IEEE Access. vol. 9, pp. 90029-90042, June 2021 [PDF][GitHub] - On Correspondence between Selective CPS Transformation and Selective Double Negation Translation
Hyeonseung Im
Mathematics. 9(4): 385 (2021) [PDF] - Clinical Implication of Machine Learning in Predicting the Occurrence of Cardiovascular Disease Using Big Data
(Nationwide Cohort Data in Korea)
Gihun Joo, Yeongjin Song, Hyeonseung Im, Junbeom Park
IEEE Access. vol. 8, pp. 157643-157653, September 2020 [PDF] - An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction
Hyeonseung Im, Dohyung Kim
KSII Transactions on Internet and Information Systems. vol. 14, no. 7, pp. 2904-2918, July 2020 [PDF] - Backward Type Inference for XML Queries
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
Theoretical Computer Science. Volume 823, 2 July 2020, pp. 69-99 [PDF][DOI] - A Comparative Study of Bitcoin Price Prediction Using Deep Learning
Suhwan Ji, Jongmin Kim, Hyeonseung Im
Mathematics. 7(10): 898 (2019) [PDF] - Measurement Noise Recommendation for Efficient Kalman Filtering over a Large Amount of Sensor Data
Sebin Park, Myeong-Seon Gil, Hyeonseung Im, Yang-Sae Moon
Sensors. 19(5): 1168 (2019) [PDF] - Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Changhee Park, Hyeonseung Im, Sukyoung Ryu
DLS 2016: Dynamic Language Symposium. 1 Nov 2016 [PDF]
ACM SIGPLAN Notices – DLS ’16. Volume 52 Issue 2, February 2017, pp. 25-36 - Optimizing skyline queries over incomplete data
Jongwuk Lee, Hyeonseung Im, Gae-won You
Information Sciences. 361-362: 14-28 (2016) - A Core Calculus for XQuery 3.0 – Combining Navigational and Pattern Matching Approaches
Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
ESOP 2015: European Symposium on Programming. 14-16 April 2015, pp. 232-256 - Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation
Giuseppe Castagna, Kim Nguyễn, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
POPL 2014: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 5-18 - Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types
Hyeonseung Im, Keiko Nakata, Sungwoo Park
ICALP 2013: International Colloquium on Automata, Languages, and Programming. Part II. pp. 299-311 - The Farthest Spatial Skyline Queries
Gae-won You, Mu-Woong Lee, Hyeonseung Im, Seung-won Hwang
Information Systems. 38(3): 286-301 (2013) - Computing Exact Skyline Probabilities for Uncertain Databases
Dongwon Kim, Hyeonseung Im, Sungwoo ParkIEEE Transactions on Knowledge and Data Engineering. 24(12): 2113-2126 (2012)
-
A modal logic internalizing normal proofs
Sungwoo Park, Hyeonseung Im
Information and Computation. 209(12): 1519-1535 (2011) -
A syntactic type system for recursive modules
Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park
OOPSLA 2011: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. pp. 993-1012 -
Parallel skyline computation on multicore architectures
Hyeonseung Im, Jonghyun Park, Sungwoo Park
Information Systems. 36(4): 808-823 (2011) -
A calculus for hardware description
Sungwoo Park, Hyeonseung Im
Journal of Functional Programming. 21(1): 21-58 (2011) - A module system independent of base languages
Hyeonseung Im, Sungwoo Park
MLPA 2009: Workshop on Modules and Libraries for Proof Assistants, pp. 24-29 - Parallel Skyline Computation on Multicore Architectures
Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, Hyeonseung Im
ICDE 2009: International Conference on Data Engineering. pp. 760-771 - Type-safe higher-order channels with channel locality
Sungwoo Park, Hyeonseung Im
Journal of Functional Programming. 19(1): 107-142 (2009) - Functional netlists
Sungwoo Park, Jinha Kim, Hyeonseung Im
ICFP 2008: ACM SIGPLAN International Conference on Functional Programming. pp. 353-366
Drafts
- Impact of Large Language Models of Code on Fault Localization
Suhwan Ji, Sanghwa Lee, Changsup Lee, Hyeonseung Im, Yo-Sub Han
Draft, August 2024 [PDF] - A Bidirectional Decision Procedure for Intuitionistic Modal Logic IS5
Hyungchul Park, Hyeonseung Im, Sungwoo Park
Draft, April 2018 [PDF][Webpage][GitHub]