OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems. - Sang-Min Choi; Jiho Park 002; Quan Hoang Nguyen 001; Andre Cronje; Ki-Young Jang; Hyunjoon Cheon; Yo-Sub Han; Byung-Ik Ahn (CoRR, 2018)

The Relative Edit-Distance Between Two Input-Driven Languages. - Hyunjoon Cheon; Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (DLT, 2019)

SW Runtime Estimation using Automata Theory and Deep Learning on HPC. - Hyunjoon Cheon; Jinseung Ryu; Chan Yeol Park; Yo-Sub Han (ACSOS Companion, 2020)

Computing the Shortest String and the Edit-Distance for Parsing Expression Languages. - Hyunjoon Cheon; Yo-Sub Han (DLT, 2020)

Most Pseudo-copy Languages Are Not Context-Free. - Hyunjoon Cheon; Joonghyuk Hahn; Yo-Sub Han; Sang-Ki Ko (COCOON, 2021)

Self-Training using Rules of Grammar for Few-Shot NLU. - Joonghyuk Hahn; Hyunjoon Cheon; Kyuyeol Han; Cheongjae Lee; Junseok Kim; Yo-Sub Han (EMNLP (Findings), 2021)

How to Settle the ReDoS Problem: Back to the Classical Automata Theory. - Sicheol Sung; Hyunjoon Cheon; Yo-Sub Han (CIAA, 2022)

Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting. - Su-Hyeon Kim; Hyunjoon Cheon; Yo-Sub Han; Sang-Ki Ko (CoRR, 2022)

Weak Inverse Neighborhoods of Languages. - Hyunjoon Cheon; Yo-Sub Han (DLT, 2023)

GDA: Grammar-based Data Augmentation for Text Classification using Slot Information. - Joonghyuk Hahn; Hyunjoon Cheon; Elizabeth Orwig; Su-Hyeon Kim; Sang-Ki Ko; Yo-Sub Han (EMNLP (Findings), 2023)

M-equivalence of Parikh Matrix over a Ternary Alphabet. - Joonghyuk Hahn; Hyunjoon Cheon; Yo-Sub Han (CIAA, 2023)

ARED: automata-based runtime estimation for distributed systems using deep learning. - Hyunjoon Cheon; Jinseung Ryu; Jaecheol Ryou 001; Chan Yeol Park; Yo-Sub Han (Clust. Comput., 2023)

On the Decidability of Infix Inclusion Problem. - Hyunjoon Cheon; Joonghyuk Hahn; Yo-Sub Han (Theory Comput. Syst., 2024)