Hyunjoon Cheon

18 papers C 6Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A weak inverse of language neighborhoods and its properties.
Theor. Comput. Sci.
Hyunjoon Cheon, Yo-Sub Han
2026 J jnl
Characterizations of M-Equivalence and Weak M-Relation.
Int. J. Found. Comput. Sci.
Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han
2026 J jnl
ReSyn: A Generalized Recursive Regular Expression Synthesis Framework.
CoRR
Seongmin Kim, Hyunjoon Cheon, Su-Hyeon Kim, Yo-Sub Han, Sang-Ki Ko
2025 J jnl
SplitRegex: Efficient Regex Synthesis by Neural Example Splitting.
J. Autom. Lang. Comb.
Seongmin Kim, Hyunjoon Cheon, Su-Hyeon Kim, Yo-Sub Han, Sang-Ki Ko
2024 J jnl
On the Decidability of Infix Inclusion Problem.
Theory Comput. Syst.
Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han
2023 J jnl
ARED: automata-based runtime estimation for distributed systems using deep learning.
Clust. Comput.
Hyunjoon Cheon, Jinseung Ryu, JaeCheol Ryou, Chan Yeol Park, Yo-Sub Han
2023 — conf
GDA: Grammar-based Data Augmentation for Text Classification using Slot Information.
EMNLP (Findings)
Joonghyuk Hahn, Hyunjoon Cheon, Elizabeth Orwig, Su-Hyeon Kim, Sang-Ki Ko, Yo-Sub Han
2023 C conf
M-equivalence of Parikh Matrix over a Ternary Alphabet.
CIAA
Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han
2023 C conf
Weak Inverse Neighborhoods of Languages.
DLT
Hyunjoon Cheon, Yo-Sub Han
2022 C conf
How to Settle the ReDoS Problem: Back to the Classical Automata Theory.
CIAA
Sicheol Sung, Hyunjoon Cheon, Yo-Sub Han
2022 J jnl
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting.
CoRR
Su-Hyeon Kim, Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko
2022 C conf
On the Decidability of Infix Inclusion Problem.
DLT
Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han
2021 Misc conf
Most Pseudo-copy Languages Are Not Context-Free.
COCOON
Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han, Sang-Ki Ko
2021 — conf
Self-Training using Rules of Grammar for Few-Shot NLU.
EMNLP (Findings)
Joonghyuk Hahn, Hyunjoon Cheon, Kyuyeol Han, Cheongjae Lee, Junseok Kim, Yo-Sub Han
2020 C conf
Computing the Shortest String and the Edit-Distance for Parsing Expression Languages.
DLT
Hyunjoon Cheon, Yo-Sub Han
2020 — conf
SW Runtime Estimation using Automata Theory and Deep Learning on HPC.
ACSOS Companion
Hyunjoon Cheon, Jinseung Ryu, Chan Yeol Park, Yo-Sub Han
2019 C conf
The Relative Edit-Distance Between Two Input-Driven Languages.
DLT
Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2018 J jnl
OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems.
CoRR
Sang-Min Choi, Jiho Park, Quan Hoang Nguyen, Andre Cronje, Ki-Young Jang, Hyunjoon Cheon, Yo-Sub Han, Byung-Ik Ahn