Hyeonseung Im

Orcid: 0000-0002-3901-0834

According to our database1, Hyeonseung Im authored at least 27 papers between 2008 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Twelve-Lead ECG Reconstruction from Single-Lead Signals Using Generative Adversarial Networks.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

Automated Grading of Regular Expressions.
Proceedings of the Programming Languages and Systems, 2023

2022
Anisotropic SpiralNet for 3D Shape Completion and Denoising.
Sensors, 2022

RepCoder: an automated program repair framework for probability-based program synthesis.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021
Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization.
J. Supercomput., 2021

Human motion reconstruction using deep transformer networks.
Pattern Recognit. Lett., 2021

Evaluating Countermeasures for Verifying the Integrity of Ethereum Smart Contract Applications.
IEEE Access, 2021

Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis.
Proceedings of the Implementation and Application of Automata, 2021

2020
Backward type inference for XML queries.
Theor. Comput. Sci., 2020

An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction.
KSII Trans. Internet Inf. Syst., 2020

Clinical Implication of Machine Learning in Predicting the Occurrence of Cardiovascular Disease Using Big Data (Nationwide Cohort Data in Korea).
IEEE Access, 2020

2019
Measurement Noise Recommendation for Efficient Kalman Filtering over a Large Amount of Sensor Data.
Sensors, 2019

2016
Optimizing skyline queries over incomplete data.
Inf. Sci., 2016

Precise and scalable static analysis of jQuery using a regular expression domain.
Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.
Proceedings of the Programming Languages and Systems, 2015

2014
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
The Farthest Spatial Skyline Queries.
Inf. Syst., 2013

Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012
Computing Exact Skyline Probabilities for Uncertain Databases.
IEEE Trans. Knowl. Data Eng., 2012

Group skyline computation.
Inf. Sci., 2012

2011
A calculus for hardware description.
J. Funct. Program., 2011

Parallel skyline computation on multicore architectures.
Inf. Syst., 2011

A modal logic internalizing normal proofs.
Inf. Comput., 2011

A syntactic type system for recursive modules.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2009
Type-safe higher-order channels with channel locality.
J. Funct. Program., 2009

Parallel Skyline Computation on Multicore Architectures.
Proceedings of the 25th International Conference on Data Engineering, 2009

2008
Functional netlists.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008


  Loading...