Hyeonseung Im

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 14

Top Topics

Regular Expressions

Countermeasures

Deterministic Finite Automata

Skyline Queries

Top Venues

Publications

Jinho Joo, Gihun Joo, Yeji Kim, Moo-Nyun Jin, Junbeom Park, Hyeonseung Im
Twelve-Lead ECG Reconstruction from Single-Lead Signals Using Generative Adversarial Networks. MICCAI (7) (2023)
Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko
Automated Grading of Regular Expressions. ESOP (2023)
Seong Uk Kim, Jihyun Roh, Hyeonseung Im, Jongmin Kim
Anisotropic SpiralNet for 3D Shape Completion and Denoising. Sensors 22 (17) (2022)
Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im
RepCoder: an automated program repair framework for probability-based program synthesis. SAC (2022)
Seong Uk Kim, Hanyoung Jang, Hyeonseung Im, Jongmin Kim
Human motion reconstruction using deep transformer networks. Pattern Recognit. Lett. 150 (2021)
Siwoon Son, Hyeonseung Im, Yang-Sae Moon
Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization. J. Supercomput. 77 (10) (2021)
Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. CIAA (2021)
Suhwan Ji, Dohyung Kim, Hyeonseung Im
Evaluating Countermeasures for Verifying the Integrity of Ethereum Smart Contract Applications. IEEE Access 9 (2021)
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
Backward type inference for XML queries. Theor. Comput. Sci. 823 (2020)
Gihun Joo, Yeongjin Song, Hyeonseung Im, Junbeom Park
Clinical Implication of Machine Learning in Predicting the Occurrence of Cardiovascular Disease Using Big Data (Nationwide Cohort Data in Korea). IEEE Access 8 (2020)
Hyeonseung Im, Dohyung Kim
An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction. KSII Trans. Internet Inf. Syst. 14 (7) (2020)
Sebin Park, Myeong-Seon Gil, Hyeonseung Im, Yang-Sae Moon
Measurement Noise Recommendation for Efficient Kalman Filtering over a Large Amount of Sensor Data. Sensors 19 (5) (2019)
Jongwuk Lee, Hyeonseung Im, Gae-won You
Optimizing skyline queries over incomplete data. Inf. Sci. (2016)
Changhee Park, Hyeonseung Im, Sukyoung Ryu
Precise and scalable static analysis of jQuery using a regular expression domain. DLS (2016)
Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. ESOP (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. POPL (2014)
Gae-won You, Mu-Woong Lee, Hyeonseung Im, Seung-won Hwang
The Farthest Spatial Skyline Queries. Inf. Syst. 38 (3) (2013)
Hyeonseung Im, Keiko Nakata, Sungwoo Park
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types. ICALP (2) (2013)
Hyeonseung Im, Sungwoo Park
Group skyline computation. Inf. Sci. 188 (2012)
Dongwon Kim, Hyeonseung Im, Sungwoo Park
Computing Exact Skyline Probabilities for Uncertain Databases. IEEE Trans. Knowl. Data Eng. 24 (12) (2012)
Hyeonseung Im, Jonghyun Park, Sungwoo Park
Parallel skyline computation on multicore architectures. Inf. Syst. 36 (4) (2011)
Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park
A syntactic type system for recursive modules. OOPSLA (2011)
Sungwoo Park, Hyeonseung Im
A calculus for hardware description. J. Funct. Program. 21 (1) (2011)
Sungwoo Park, Hyeonseung Im
A modal logic internalizing normal proofs. Inf. Comput. 209 (12) (2011)
Sungwoo Park, Hyeonseung Im
Type-safe higher-order channels with channel locality. J. Funct. Program. 19 (1) (2009)
Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, Hyeonseung Im
Parallel Skyline Computation on Multicore Architectures. ICDE (2009)
Sungwoo Park, Jinha Kim, Hyeonseung Im
Functional netlists. ICFP (2008)