![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Hyeonseung Im
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c11]Su-Hyeon Kim
, Youngwook Kim
, Yo-Sub Han
, Hyeonseung Im
, Sang-Ki Ko
:
Automated Grading of Regular Expressions. ESOP 2023: 90-112 - [c10]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: 184-194 - 2022
- [j16]Seong Uk Kim
, Jihyun Roh, Hyeonseung Im
, Jongmin Kim
:
Anisotropic SpiralNet for 3D Shape Completion and Denoising. Sensors 22(17): 6457 (2022) - [c9]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: 1554-1561 - 2021
- [j15]Suhwan Ji
, Dohyung Kim
, Hyeonseung Im
:
Evaluating Countermeasures for Verifying the Integrity of Ethereum Smart Contract Applications. IEEE Access 9: 90029-90042 (2021) - [j14]Seong Uk Kim, Hanyoung Jang, Hyeonseung Im, Jongmin Kim:
Human motion reconstruction using deep transformer networks. Pattern Recognit. Lett. 150: 162-169 (2021) - [j13]Siwoon Son, Hyeonseung Im, Yang-Sae Moon
:
Stochastic distributed data stream partitioning using task locality: design, implementation, and optimization. J. Supercomput. 77(10): 11353-11389 (2021) - [c8]Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko
:
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. CIAA 2021: 65-76 - 2020
- [j12]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: 157643-157653 (2020) - [j11]Hyeonseung Im, Dohyung Kim:
An Overview of Content Poisoning in NDN: Attacks, Countermeasures, and Direction. KSII Trans. Internet Inf. Syst. 14(7): 2904-2918 (2020) - [j10]Hyeonseung Im
, Pierre Genevès, Nils Gesbert, Nabil Layaïda:
Backward type inference for XML queries. Theor. Comput. Sci. 823: 69-99 (2020)
2010 – 2019
- 2019
- [j9]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): 1168 (2019) - 2016
- [j8]Jongwuk Lee, Hyeonseung Im
, Gae-won You:
Optimizing skyline queries over incomplete data. Inf. Sci. 361-362: 14-28 (2016) - [c7]Changhee Park, Hyeonseung Im
, Sukyoung Ryu
:
Precise and scalable static analysis of jQuery using a regular expression domain. DLS 2016: 25-36 - 2015
- [c6]Giuseppe Castagna
, Hyeonseung Im
, Kim Nguyen, Véronique Benzaken
:
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. ESOP 2015: 232-256 - 2014
- [c5]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: 5-18 - 2013
- [j7]Gae-won You, Mu-Woong Lee, Hyeonseung Im
, Seung-won Hwang:
The Farthest Spatial Skyline Queries. Inf. Syst. 38(3): 286-301 (2013) - [c4]Hyeonseung Im
, Keiko Nakata, Sungwoo Park:
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types. ICALP (2) 2013: 299-311 - 2012
- [j6]Hyeonseung Im
, Sungwoo Park:
Group skyline computation. Inf. Sci. 188: 151-169 (2012) - [j5]Dongwon Kim, Hyeonseung Im
, Sungwoo Park:
Computing Exact Skyline Probabilities for Uncertain Databases. IEEE Trans. Knowl. Data Eng. 24(12): 2113-2126 (2012) - 2011
- [j4]Sungwoo Park, Hyeonseung Im
:
A modal logic internalizing normal proofs. Inf. Comput. 209(12): 1519-1535 (2011) - [j3]Hyeonseung Im
, Jonghyun Park, Sungwoo Park:
Parallel skyline computation on multicore architectures. Inf. Syst. 36(4): 808-823 (2011) - [j2]Sungwoo Park, Hyeonseung Im
:
A calculus for hardware description. J. Funct. Program. 21(1): 21-58 (2011) - [c3]Hyeonseung Im
, Keiko Nakata, Jacques Garrigue, Sungwoo Park:
A syntactic type system for recursive modules. OOPSLA 2011: 993-1012
2000 – 2009
- 2009
- [j1]Sungwoo Park, Hyeonseung Im
:
Type-safe higher-order channels with channel locality. J. Funct. Program. 19(1): 107-142 (2009) - [c2]Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, Hyeonseung Im
:
Parallel Skyline Computation on Multicore Architectures. ICDE 2009: 760-771 - 2008
- [c1]Sungwoo Park, Jinha Kim, Hyeonseung Im
:
Functional netlists. ICFP 2008: 353-366
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint