Yo-Sub Han

242 papers A* 8A 4B 15C 41Misc 5Journal 114Unranked 52
YearRankTypeTitle / Venue / Authors
2026 — conf
A Regex Minimization Benchmark: A PSPACE-Complete Challenge for Language Models.
EACL (Volume 1: Long Papers)
Hyundong Jin, Joonghyuk Hahn, Yo-Sub Han
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 — conf
DITTO: A Spoofing Attack Framework on Watermarked LLMs via Knowledge Distillation.
EACL (Volume 1: Long Papers)
Hyeseon An, Shinwoo Park, Suyeon Woo, Yo-Sub Han
2026 J jnl
EnCur: Curriculum-based in-context learning with structural encoding for code time complexity prediction.
Expert Syst. Appl.
Joonghyuk Hahn, Aditi, Seung-Yeop Baik, Shinwoo Park, Sang-Ki Ko, Yo-Sub Han
2026 J jnl
From Intuition to Expertise: Rubric-Based Cognitive Calibration for Human Detection of LLM-Generated Korean Text.
CoRR
Shinwoo Park, Yo-Sub Han
2026 J jnl
How Does the Thinking Step Influence Model Safety? An Entropy-based Safety Reminder for LRMs.
CoRR
Su-Hyeon Kim, Hyundong Jin, Yejin Lee, Yo-Sub Han
2026 — conf
Marking Code Without Breaking It: Code Watermarking for Detecting LLM-Generated Code.
EACL (Findings)
Jungin Kim, Shinwoo Park, Yo-Sub Han
2026 — conf
Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries.
EACL (Findings)
Joonghyuk Hahn, 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
2026 — conf
Repairing Regex Vulnerabilities via Localization-Guided Instructions.
EACL (Volume 1: Long Papers)
Sicheol Sung, Joonghyuk Hahn, Yo-Sub Han
2026 J jnl
Steering Language Models Before They Speak: Logit-Level Interventions.
CoRR
Hyeseon An, Shinwoo Park, Hyundong Jin, Yo-Sub Han
2026 A* conf
WaterMod: Modular Token-Rank Partitioning for Probability-Balanced LLM Watermarking.
AAAI
Shinwoo Park, Hyejin Park, Hyeseon Ahn, Yo-Sub Han
2025 J jnl
A Linguistics-Aware LLM Watermarking via Syntactic Predictability.
CoRR
Shinwoo Park, Hyejin Park, Hyeseon Ahn, Yo-Sub Han
2025 J jnl
Advanced code time complexity prediction approach using contrastive learning.
Eng. Appl. Artif. Intell.
Shinwoo Park, Joonghyuk Hahn, Elizabeth Orwig, Sang-Ki Ko, Yo-Sub Han
2025 A* conf
AmpleHate: Amplifying the Attention for Versatile Implicit Hate Detection.
EMNLP
Yejin Lee, Joonghyuk Hahn, Hyeseon Ahn, Yo-Sub Han
2025 J jnl
AmpleHate: Amplifying the Attention for Versatile Implicit Hate Detection.
CoRR
Yejin Lee, Joonghyuk Hahn, Hyeseon Ahn, Yo-Sub Han
2025 B conf
Analyzing Offensive Language Dataset Insights from Training Dynamics and Human Agreement Level.
COLING
Do Kyung Kim, Hyeseon Ahn, Youngwook Kim, Yo-Sub Han
2025 J jnl
Approximate Cartesian tree pattern matching.
Theor. Comput. Sci.
Sungmin Kim, Yo-Sub Han
2025 — conf
CodeComplex: Dataset for Worst-Case Time Complexity Prediction.
EMNLP (Findings)
Seung-Yeop Baik, Joonghyuk Hahn, Jungin Kim, Aditi, Mingi Jeon, Yo-Sub Han, Sang-Ki Ko
2025 J jnl
DITTO: A Spoofing Attack Framework on Watermarked LLMs via Knowledge Distillation.
CoRR
Hyeseon Ahn, Shinwoo Park, Yo-Sub Han
2025 J jnl
Detecting LLM-Generated Korean Text through Linguistic Feature Analysis.
CoRR
Shinwoo Park, Shubin Kim, Do-Kyung Kim, Yo-Sub Han
2025 J jnl
Detecting code paraphrased by large language models using coding style features.
Eng. Appl. Artif. Intell.
Shinwoo Park, Hyundong Jin, Jeong-Won Cha, Yo-Sub Han
2025 J jnl
Detection of LLM-Paraphrased Code and Identification of the Responsible LLM Using Coding Style Features.
CoRR
Shinwoo Park, Hyundong Jin, Jeong-Won Cha, Yo-Sub Han
2025 J jnl
Do Large Language Models Respect Contracts? Evaluating and Enforcing Contract-Adherence in Code Generation.
CoRR
Soohan Lim, Joonghyuk Hahn, Hyunwoo Park, Sang-Ki Ko, Yo-Sub Han
2025 J jnl
ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs.
CoRR
Su-Hyeon Kim, Joonghyuk Hahn, Sooyoung Cha, Yo-Sub Han
2025 J jnl
Existential and universal width of alternating finite automata.
Inf. Comput.
Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa
2025 A conf
Impact of Large Language Models of Code on Fault Localization.
ICST
Suhwan Ji, Sanghwa Lee, Changsup Lee, Yo-Sub Han, Hyeonseung Im
2025 J jnl
KOTOX: A Korean Toxic Dataset for Deobfuscation and Detoxification.
CoRR
Yejin Lee, Su-Hyeon Kim, Hyundong Jin, Dayoung Kim, Yeonsoo Kim, Yo-Sub Han
2025 — conf
KatFishNet: Detecting LLM-Generated Korean Text through Linguistic Feature Analysis.
ACL (1)
Shinwoo Park, Shubin Kim, Do-Kyung Kim, Yo-Sub Han
2025 A* conf
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming.
IJCAI
Sicheol Sung, Aditi, Dogyu Kim, Yo-Sub Han, Sang-Ki Ko
2025 J jnl
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming.
CoRR
Sicheol Sung, Aditi, Dogyu Kim, Yo-Sub Han, Sang-Ki Ko
2025 J jnl
MEC
CoRR
Joonghyuk Hahn, Soohan Lim, Yo-Sub Han
2025 J jnl
Marking Code Without Breaking It: Code Watermarking for Detecting LLM-Generated Code.
CoRR
Jungin Kim, Shinwoo Park, Yo-Sub Han
2025 A* conf
Mondrian: A Framework for Logical Abstract (Re)Structuring.
EMNLP
Elizabeth Orwig, Shinwoo Park, Hyundong Jin, Yo-Sub Han
2025 — conf
Neural Quantum Embeddings with Multiple Control Variables.
ICDEW
Seung-Yeop Baik, Yo-Sub Han
2025 C conf
Pattern Mining Under Simon's Congruence.
DLT
Sungmin Kim, Yo-Sub Han
2025 J jnl
RV-HATE: Reinforced Multi-Module Voting for Implicit Hate Speech Detection.
CoRR
Yejin Lee, Hyeseon Ahn, Yo-Sub Han
2025 J jnl
RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems.
CoRR
Hyundong Jin, Joonghyuk Hahn, Yo-Sub Han
2025 J jnl
Repairing Regex Vulnerabilities via Localization-Guided Instructions.
CoRR
Sicheol Sung, Joonghyuk Hahn, Yo-Sub Han
2025 J jnl
SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs.
CoRR
Aditi, Hyunwoo Park, Sicheol Sung, 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
2025 — conf
TCProF:Time-Complexity Prediction SSL Framework.
NAACL (Long Papers)
Joonghyuk Hahn, Hyeseon Ahn, Jungin Kim, Soohan Lim, Yo-Sub Han
2025 J jnl
TCProF:Time-Complexity Prediction SSL Framework.
CoRR
Joonghyuk Hahn, Hyeseon Ahn, Jungin Kim, Soohan Lim, Yo-Sub Han
2025 J jnl
TRAPDOC: Deceiving LLM Users by Injecting Imperceptible Phantom Tokens into Documents.
CoRR
Hyundong Jin, Sicheol Sung, Shinwoo Park, Seung-Yeop Baik, Yo-Sub Han
2025 — conf
TrapDoc: Deceiving LLM Users by Injecting Imperceptible Phantom Tokens into Documents.
EMNLP (Findings)
Hyundong Jin, Sicheol Sung, Shinwoo Park, Seung-Yeop Baik, Yo-Sub Han
2025 J jnl
URECA: The Chain of Two Minimum Set Cover Problems exists behind Adaptation to Shifts in Semantic Code Search.
CoRR
Seok-Ung Choi, Joonghyuk Hahn, Yo-Sub Han
2025 J jnl
WaterMod: Modular Token-Rank Partitioning for Probability-Balanced LLM Watermarking.
CoRR
Shinwoo Park, Hyejin Park, Hyeseon Ahn, Yo-Sub Han
2024 J jnl
A Framework for Quantum Finite-State Languages with Density Mapping.
CoRR
Seung-Yeop Baik, Sicheol Sung, Yo-Sub Han
2024 C conf
Approximate Cartesian Tree Pattern Matching.
DLT
Sungmin Kim, Yo-Sub Han
2024 C conf
Benchmarking Regular Expression Matching.
CIAA
Alexander Roodt, Brendan Keith Mark Watling, Willem Bester, Brink van der Merwe, Sicheol Sung, Yo-Sub Han
2024 J jnl
CodeComplex: A Time-Complexity Dataset for Bilingual Source Codes.
CoRR
Seung-Yeop Baik, Mingi Jeon, Joonghyuk Hahn, Jungin Kim, Yo-Sub Han, Sang-Ki Ko
2024 J jnl
Impact of Large Language Models of Code on Fault Localization.
CoRR
Suhwan Ji, Sanghwa Lee, Changsup Lee, Hyeonseung Im, Yo-Sub Han
2024 J jnl
On the Decidability of Infix Inclusion Problem.
Theory Comput. Syst.
Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han
2024 — conf
SharedCon: Implicit Hate Speech Detection using Shared Semantics.
ACL (Findings)
Hyeseon Ahn, Youngwook Kim, Jungin Kim, Yo-Sub Han
2024 J jnl
Simon's congruence pattern matching.
Theor. Comput. Sci.
Sungmin Kim, Sang-Ki Ko, Yo-Sub Han
2024 — conf
SuperST: Superficial Self-Training for Few-Shot Text Classification.
LREC/COLING
Ju Hyoung Lee, Joonghyuk Hahn, Hyeon-Tae Seo, Jiho Park, Yo-Sub Han
2024 C conf
Universal Rewriting Rules for the Parikh Matrix Injectivity Problem.
DLT
Ingyu Baek, Joonghyuk Hahn, Yo-Sub Han, Kai Salomaa
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 A* conf
ATHENA: Mathematical Reasoning with Thought Expansion.
EMNLP
JB. Kim, Hazel Kim, Joonghyuk Hahn, Yo-Sub Han
2023 J jnl
ATHENA: Mathematical Reasoning with Thought Expansion.
CoRR
JB. Kim, Hazel Kim, Joonghyuk Hahn, Yo-Sub Han
2023 J jnl
An Empirical Study on Multimodal Activity Clustering of Android Applications.
IEEE Access
Sungmin Choi, Hyeon-Tae Seo, Yo-Sub Han
2023 A conf
Automated Grading of Regular Expressions.
ESOP
Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko
2023 — conf
ConPrompt: Pre-training a Language Model with Machine-Generated Data for Implicit Hate Speech Detection.
EMNLP (Findings)
Youngwook Kim, Shinwoo Park, Youngsoo Namgoong, Yo-Sub Han
2023 A conf
Contrastive Learning with Keyword-based Data Augmentation for Code Search and Code Question Answering.
EACL
Shinwoo Park, Youngwook Kim, Yo-Sub Han
2023 J jnl
Deciding path size of nondeterministic (and input-driven) pushdown automata.
Theor. Comput. Sci.
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2023 — conf
Existential and Universal Width of Alternating Finite Automata.
DCFS
Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa
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 — conf
JIDECA: Jointly Improved Deep Embedded Clustering for Android activity.
BigComp
Sungmin Choi, Hyeon-Tae Seo, Yo-Sub Han
2023 C conf
M-equivalence of Parikh Matrix over a Ternary Alphabet.
CIAA
Joonghyuk Hahn, Hyunjoon Cheon, Yo-Sub Han
2023 J jnl
On Simon's congruence closure of a string.
Theor. Comput. Sci.
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2023 C conf
On the Simon's Congruence Neighborhood of Languages.
DLT
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2023 C conf
Smaller Representation of Compiled Regular Expressions.
CIAA
Sicheol Sung, Sang-Ki Ko, Yo-Sub Han
2023 C conf
Weak Inverse Neighborhoods of Languages.
DLT
Hyunjoon Cheon, Yo-Sub Han
2022 A* conf
ALP: Data Augmentation Using Lexicalized PCFGs for Few-Shot Text Classification.
AAAI
Hazel H. Kim, Daecheol Woo, Seong Joon Oh, Jeong-Won Cha, Yo-Sub Han
2022 B conf
Boosting Code Summarization by Embedding Code Structures.
COLING
Jikyoeng Son, Joonghyuk Hahn, Hyeontae Seo, Yo-Sub Han
2022 — ed.
Descriptional Complexity of Formal Systems - 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings
DCFS
Yo-Sub Han, György Vaszil
2022 B conf
Generalizable Implicit Hate Speech Detection Using Contrastive Learning.
COLING
Youngwook Kim, Shinwoo Park, 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
LST: Lexicon-Guided Self-Training for Few-Shot Text Classification.
CoRR
Hazel Kim, Jaeman Son, 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 — conf
On Simon's Congruence Closure of a String.
DCFS
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2022 C conf
On the Decidability of Infix Inclusion Problem.
DLT
Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han
2022 B conf
Simon's Congruence Pattern Matching.
ISAAC
Sungmin Kim, Sang-Ki Ko, Yo-Sub Han
2021 J jnl
A general architecture of oritatami systems for simulating arbitrary finite automata.
Theor. Comput. Sci.
Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki
2021 J jnl
ALP: Data Augmentation using Lexicalized PCFGs for Few-Shot Text Classification.
CoRR
Hazel Kim, Daecheol Woo, Seong Joon Oh, Jeong-Won Cha, Yo-Sub Han
2021 J jnl
Closest substring problems for regular languages.
Theor. Comput. Sci.
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
2021 J jnl
Consensus string problem for multiple regular languages.
Inf. Comput.
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
2021 — ed.
Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings
DCFS
Yo-Sub Han, Sang-Ki Ko
2021 A conf
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs.
ECOOP
Xiaodong Gu, Yo-Sub Han, Sunghun Kim, Hongyu Zhang
2021 J jnl
Generalizations of Code Languages with Marginal Errors.
Int. J. Found. Comput. Sci.
Sang-Ki Ko, Yo-Sub Han, Kai Salomaa
2021 J jnl
Impossibility of strict assembly of infinite fractals by oritatami.
Nat. Comput.
Yo-Sub Han, Hwee Kim
2021 J jnl
Left is Better Than Right for Reducing Nondeterminism of NFAs.
Int. J. Found. Comput. Sci.
Sang-Ki Ko, 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
MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning.
EMNLP (Findings)
Hyeontae Seo, Yo-Sub Han, Sang-Ki Ko
2021 A* conf
SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction.
AAAI
Ju Hyoung Lee, Sang-Ki Ko, Yo-Sub Han
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
2020 J jnl
Transcript design problem of oritatami systems.
Nat. Comput.
Yo-Sub Han, Hwee Kim, Shinnosuke Seki
2019 C conf
A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata.
CIAA
Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki
2019 J jnl
A general architecture of oritatami systems for simulating arbitrary finite automata.
CoRR
Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki
2019 J jnl
Alignment distance of regular tree languages.
Theor. Comput. Sci.
Yo-Sub Han, Sang-Ki Ko
2019 J jnl
Bound-decreasing duplication system.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2019 J jnl
Cyclic Oritatami Systems Cannot Fold Infinite Fractal Curves.
CoRR
Yo-Sub Han, Hwee Kim
2019 — conf
Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity.
DCFS
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2019 — conf
Online Infix Probability Computation for Probabilistic Finite Automata.
ACL (1)
Marco Cognetta, Yo-Sub Han, Soon Chan Kwon
2019 J jnl
Ruleset optimization on isomorphic oritatami systems.
Theor. Comput. Sci.
Yo-Sub Han, Hwee Kim
2019 J jnl
Self-Attraction Removal from Oritatami Systems.
Int. J. Found. Comput. Sci.
Yo-Sub Han, Hwee Kim, Trent A. Rogers, Shinnosuke Seki
2019 J jnl
Site-directed insertion: Language equations and decision problems.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
2019 — conf
SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence.
EMNLP/IJCNLP (1)
Jun-U. Park, Sang-Ki Ko, Marco Cognetta, 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
An abusive text detection system based on enhanced abusive and non-abusive word lists.
Decis. Support Syst.
Ho-Suk Lee, Hong-Rae Lee, Jun-U. Park, Yo-Sub Han
2018 C conf
Closest Substring Problems for Regular Languages.
DLT
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
2018 B conf
Construction of Geometric Structure by Oritatami System.
DNA
Yo-Sub Han, Hwee Kim
2018 J jnl
Growth Rate of Minimum Branching.
J. Autom. Lang. Comb.
Alexandros Palioudakis, Yo-Sub Han, Kai Salomaa
2018 A* conf
Incremental Computation of Infix Probabilities for Probabilistic Finite Automata.
EMNLP
Marco Cognetta, Yo-Sub Han, Soon Chan Kwon
2018 J jnl
Nondeterministic seedless oritatami systems and hardness of testing their equivalence.
Nat. Comput.
Yo-Sub Han, Hwee Kim, Makoto Ota, Shinnosuke Seki
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
2018 C conf
Online Stochastic Pattern Matching.
CIAA
Marco Cognetta, Yo-Sub Han
2018 C conf
Site-Directed Deletion.
DLT
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa
2018 — conf
Site-Directed Insertion: Decision Problems, Maximality and Minimality.
DCFS
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
2018 J jnl
Site-Directed Insertion: Decision Problems, Maximality and Minimality.
CoRR
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
2018 B conf
Transcript Design Problem of Oritatami Systems.
DNA
Yo-Sub Han, Hwee Kim, Shinnosuke Seki
2017 C conf
Alignment Distance of Regular Tree Languages.
CIAA
Yo-Sub Han, Sang-Ki Ko
2017 J jnl
Ambiguity, Nondeterminism and State Complexity of Finite Automata.
Acta Cybern.
Yo-Sub Han, Arto Salomaa, Kai Salomaa
2017 C conf
Consensus String Problem for Multiple Regular Languages.
LATA
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
2017 — conf
Deduplication on Finite Automata and Nested Duplication Systems.
UCNC
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2017 B conf
Edit-Distance Between Visibly Pushdown Languages.
SOFSEM
Yo-Sub Han, Sang-Ki Ko
2017 J jnl
Outfix-guided insertion.
CoRR
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2017 J jnl
Outfix-guided insertion.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2017 J jnl
Preface.
Int. J. Found. Comput. Sci.
Yo-Sub Han, Kai Salomaa
2017 J jnl
Pseudoknot-generating operation.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2017 B conf
Ruleset Optimization on Isomorphic Oritatami Systems.
DNA
Yo-Sub Han, Hwee Kim
2017 — conf
Self-attraction Removal from Oritatami Systems.
DCFS
Yo-Sub Han, Hwee Kim, Trent A. Rogers, Shinnosuke Seki
2017 J jnl
State Complexity of k-Parallel Tree Concatenation.
Fundam. Informaticae
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2017 J jnl
State complexity of permutation on finite languages over a binary alphabet.
Theor. Comput. Sci.
Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis, Kai Salomaa
2017 C conf
Template-Based Pattern Matching in Two-Dimensional Arrays.
IWCIA
Yo-Sub Han, Daniel Prusa
2016 J jnl
Approximate matching between a context-free grammar and a finite-state automaton.
Inf. Comput.
Sang-Ki Ko, Yo-Sub Han, Kai Salomaa
2016 J jnl
Duplications and Pseudo-Duplications.
Int. J. Unconv. Comput.
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa
2016 C ed.
Implementation and Application of Automata - 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
CIAA
Yo-Sub Han, Kai Salomaa
2016 C conf
Inferring a Relax NG Schema from XML Documents.
LATA
Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han
2016 B conf
Nondeterministic Seedless Oritatami Systems and Hardness of Testing Their Equivalence.
DNA
Yo-Sub Han, Hwee Kim, Makoto Ota, Shinnosuke Seki
2016 J jnl
OMPPM: online multiple palindrome pattern matching.
Bioinform.
Hwee Kim, Yo-Sub Han
2016 J jnl
Operational State Complexity of Subtree-Free Regular Tree Languages.
Int. J. Found. Comput. Sci.
Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han
2016 C conf
Outfix-Guided Insertion - (Extended Abstract).
DLT
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2016 J jnl
Pseudo-inversion: closure properties and decidability.
Nat. Comput.
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
2016 B conf
Pseudoknot-Generating Operation.
SOFSEM
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2016 J jnl
State Complexity of Basic Operations on Non-Returning Regular Languages.
Fundam. Informaticae
Hae-Sung Eom, Yo-Sub Han, Galina Jirásková
2016 J jnl
State Complexity of Insertion.
Int. J. Found. Comput. Sci.
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
2016 J jnl
State Complexity of Regular Tree Languages for Tree Matching.
Int. J. Found. Comput. Sci.
Sang-Ki Ko, Ha-Rim Lee, Yo-Sub Han
2016 J jnl
State complexity of deletion and bipolar deletion.
Acta Informatica
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2016 J jnl
State complexity of inversion operations.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2015 J jnl
A Recommendation Model Using the Bandwagon Effect for E-Marketing Purposes in IoT.
Int. J. Distributed Sens. Networks
Sang-Min Choi, Hyein Lee, Yo-Sub Han, Ka Lok Man, Woon Kian Chong
2015 J jnl
Alignment with non-overlapping inversions and translocations on two strings.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2015 — conf
Duplications and Pseudo-Duplications.
UCNC
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa
2015 C conf
Frequent Pattern Mining with Non-overlapping Inversions.
LATA
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2015 C conf
Generalizations of Code Languages with Marginal Errors.
DLT
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2015 J jnl
Non-overlapping inversion on strings and languages.
Theor. Comput. Sci.
Hwee Kim, Yo-Sub Han
2015 J jnl
State Complexity of
Int. J. Found. Comput. Sci.
Hae-Sung Eom, Yo-Sub Han, Kai Salomaa
2015 J jnl
State Complexity of Boundary of Prefix-Free Regular Languages.
Int. J. Found. Comput. Sci.
Hae-Sung Eom, Yo-Sub Han
2015 J jnl
State Complexity of Kleene-Star Operations on Regular Tree Languages.
Acta Cybern.
Yo-Sub Han, Sang-Ki Ko, Xiaoxue Piao, Kai Salomaa
2015 — conf
The State Complexity of Permutations on Finite Languages over Binary Alphabets.
DCFS
Alexandros Palioudakis, Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2014 J jnl
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments.
Int. J. Parallel Program.
Yousun Ko, Minyoung Jung, Yo-Sub Han, Bernd Burgstaller
2014 B conf
Alignment with Non-overlapping Inversions on Two Strings.
WALCOM
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2014 — conf
Analyzing Item Features for Cold-Start Problems in Recommendation Systems.
IIH-MSP
Soryoung Kim, Sang-Min Choi, Yo-Sub Han, Ka Lok Man, Kaiyu Wan
2014 J jnl
Decidability of involution hypercodes.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko
2014 C conf
Left is Better than Right for Reducing Nondeterminism of NFAs.
CIAA
Sang-Ki Ko, Yo-Sub Han
2014 C conf
Online Multiple Palindrome Pattern Matching.
SPIRE
Hwee Kim, Yo-Sub Han
2014 C conf
Parallel CYK Membership Test on GPUs.
NPC
Kyoung-Hwan Kim, Sang-Min Choi, Hyein Lee, Ka Lok Man, Yo-Sub Han
2014 — conf
Pseudo-inversion on Formal Languages.
UCNC
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
2014 Misc conf
Space-Efficient Approximate String Matching Allowing Inversions in Fast Average Time.
FAW
Hwee Kim, Yo-Sub Han
2014 — conf
State Complexity of Combined Operations for Prefix-Free Regular Languages.
Discrete Mathematics and Computer Science
Hae-Sung Eom, Yo-Sub Han, Kai Salomaa, Sheng Yu
2014 C conf
State Complexity of Deletion.
Developments in Language Theory
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2014 — conf
State Complexity of Inversion Operations.
DCFS
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2014 — conf
State Complexity of Regular Tree Languages for Tree Pattern Matching.
DCFS
Sang-Ki Ko, Ha-Rim Lee, Yo-Sub Han
2014 C conf
Top-Down Tree Edit-Distance of Regular Tree Languages.
LATA
Sang-Ki Ko, Yo-Sub Han, Kai Salomaa
2013 J jnl
An Improved Prefix-Free Regular-Expression Matching.
Int. J. Found. Comput. Sci.
Yo-Sub Han
2013 C conf
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton.
CIAA
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2013 — conf
Identifying representative ratings for a new item in recommendation system.
ICUIMC
Sang-Min Choi, Yo-Sub Han
2013 J jnl
Representative reviewers for Internet social media.
Expert Syst. Appl.
Sang-Min Choi, Yo-Sub Han
2013 — conf
State Complexity of Basic Operations on Non-returning Regular Languages.
DCFS
Hae-Sung Eom, Yo-Sub Han, Galina Jirásková
2013 — conf
State Complexity of Subtree-Free Regular Tree Languages.
DCFS
Hae-Sung Eom, Yo-Sub Han, Sang-Ki Ko
2013 — conf
State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages.
DCFS
Hae-Sung Eom, Yo-Sub Han, Kai Salomaa
2013 J jnl
State Elimination Heuristics for Short Regular Expressions.
Fundam. Informaticae
Yo-Sub Han
2013 J jnl
State complexity of combined operations for suffix-free regular languages.
Theor. Comput. Sci.
Hae-Sung Eom, Yo-Sub Han
2013 J jnl
The Edit-Distance between a Regular Language and a Context-Free Language.
Int. J. Found. Comput. Sci.
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2012 J jnl
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments
CoRR
Yousun Ko, Minyoung Jung, Yo-Sub Han, Bernd Burgstaller
2012 J jnl
A movie recommendation algorithm based on genre correlations.
Expert Syst. Appl.
Sang-Min Choi, Sang-Ki Ko, Yo-Sub Han
2012 — conf
A recommendation system based on a subset of raters.
ICUIMC
Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han
2012 J jnl
Analysis of a cellular automaton model for car traffic with a junction.
Theor. Comput. Sci.
Yo-Sub Han, Sang-Ki Ko
2012 J jnl
Computing User Reputation in a Social Network of Web 2.0.
Comput. Informatics
Yo-Sub Han, Laehyun Kim, Jeong-Won Cha
2012 C conf
Computing the Edit-Distance between a Regular Language and a Context-Free Language.
Developments in Language Theory
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2011 C conf
A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule.
CIAA
Yo-Sub Han, Sang-Ki Ko
2011 — conf
A Smart Movie Recommendation System.
HCI (11)
Sang-Ki Ko, Sang-Min Choi, Hae-Sung Eom, Jeong-Won Cha, Hyunchul Cho, Laehyun Kim, Yo-Sub Han
2011 — conf
Analyzing category correlations for recommendation system.
ICUIMC
Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han
2011 C conf
Generalized One-Unambiguity.
Developments in Language Theory
Pascal Caron, Yo-Sub Han, Ludovic Mignot
2011 J jnl
Overlap-Free Languages and solid Codes.
Int. J. Found. Comput. Sci.
Yo-Sub Han, Kai Salomaa
2010 — conf
Identifying Representative Reviewers in Internet Social Media.
ICCCI (2)
Sang-Min Choi, Jeong-Won Cha, Yo-Sub Han
2010 — conf
Nondeterministic State Complexity for Suffix-Free Regular Languages
DCFS
Yo-Sub Han, Kai Salomaa
2010 J jnl
On the Linear Number of Matching Substrings.
J. Univers. Comput. Sci.
Yo-Sub Han
2009 J jnl
Adaptability in an agent-based virtual organisation.
Int. J. Agent Oriented Softw. Eng.
Grzegorz Frackowiak, Maria Ganzha, Maciej Gawinecki, Marcin Paprzycki, Michal Szymczak, Costin Badica, Yo-Sub Han, Myon-Woong Park
2009 — ch.
Considering Resource Management in Agent-Based Virtual Organization.
Intelligent Agents in the Evolution of Web and Applications
Grzegorz Frackowiak, Maria Ganzha, Maciej Gawinecki, Marcin Paprzycki, Michal Szymczak, Myon-Woong Park, Yo-Sub Han
2009 — conf
Evaluation of User Reputation on YouTube.
HCI (12)
Yo-Sub Han, Laehyun Kim, Jeong-Won Cha
2009 C conf
Implementation of State Elimination Using Heuristics.
CIAA
Jae-Hee Ahn, Yo-Sub Han
2009 J jnl
Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages.
Fundam. Informaticae
Yo-Sub Han, Kai Salomaa, Derick Wood
2009 J jnl
Nondeterministic state complexity of nested word automata.
Theor. Comput. Sci.
Yo-Sub Han, Kai Salomaa
2009 — conf
Operational State Complexity of Prefix-Free Regular Languages.
Automata, Formal Languages, and Related Topics
Yo-Sub Han, Kai Salomaa, Derick Wood
2009 C conf
State Complexity of Combined Operations for Prefix-Free Regular Languages.
LATA
Yo-Sub Han, Kai Salomaa, Sheng Yu
2009 J jnl
State complexity of basic operations on suffix-free regular languages.
Theor. Comput. Sci.
Yo-Sub Han, Kai Salomaa
2009 — conf
User Reputation Evaluation Using Co-occurrence Feature and Collective Intelligence.
HCI (12)
Jeong-Won Cha, Hyunwoo Lee, Yo-Sub Han, Laehyun Kim
2008 — conf
A ranking algorithm for user-generated video contents based on social activities.
ICDIM
Lisa Wiyartanti, Yo-Sub Han, Laehyun Kim
2008 — conf
Adaptability in an Agent-Based Virtual Organization - Towards Implementation.
WEBIST (Selected Papers)
Grzegorz Frackowiak, Maria Ganzha, Marcin Paprzycki, Michal Szymczak, Yo-Sub Han, Myon-Woong Park
2008 — conf
Adaptive Information Provisioning in an Agent-Based Virtual Organization-Ontologies in the System.
KES-AMSTA
Michal Szymczak, Grzegorz Frackowiak, Maciej Gawinecki, Maria Ganzha, Marcin Paprzycki, Myon-Woong Park, Yo-Sub Han, Young Tae Sohn
2008 J jnl
Generalizations of 1-deterministic regular languages.
Inf. Comput.
Yo-Sub Han, Derick Wood
2008 B conf
Generic Framework for Agent Adaptability and Utilization in a Virtual Organization - Preliminary Considerations.
ENASE
Maria Ganzha, Maciej Gawinecki, Michal Szymczak, Grzegorz Frackowiak, Marcin Paprzycki, Myon-Woong Park, Yo-Sub Han, Young Tae Sohn
2008 — conf
Generic Framework for Agent Adaptability and Utilization in a Virtual Organization - Preliminary Considerations.
WEBIST (1)
Maria Ganzha, Maciej Gawinecki, Michal Szymczak, Grzegorz Frackowiak, Marcin Paprzycki, Myon-Woong Park, Yo-Sub Han, Young Tae Sohn
2008 Misc conf
Infrastructure for Ontological Resource Matching in a Virtual Organization.
IDC
Michal Szymczak, Grzegorz Frackowiak, Maria Ganzha, Marcin Paprzycki, Sang Keun Rhee, Myon-Woong Park, Yo-Sub Han, Young Tae Sohn, Jihye Lee, Jae Kwan Kim
2008 Misc conf
On Resource Profiling and Matching in an Agent-Based Virtual Organization.
ICAISC
Grzegorz Frackowiak, Maria Ganzha, Maciej Gawinecki, Marcin Paprzycki, Michal Szymczak, Myon-Woong Park, Yo-Sub Han
2008 — conf
Ontological matchmaking in a Duty Trip Support application in a virtual organization.
IMCSIT
Michal Szymczak, Grzegorz Frackowiak, Maria Ganzha, Marcin Paprzycki, Sang Keun Rhee, Jihye Lee, Young Tae Sohn, Jae Kwan Kim, Yo-Sub Han, Myon-Woong Park
2008 J jnl
State Complexity of Union and Intersection of Finite Languages.
Int. J. Found. Comput. Sci.
Yo-Sub Han, Kai Salomaa
2007 J jnl
Decision Algorithms for Subfamilies of Regular Languages using State-Pair Graphs.
Bull. EATCS
Yo-Sub Han
2007 C conf
Generalizations of One-Deterministic Regular Languages.
LATA
Yo-Sub Han, Derick Wood
2007 J jnl
Intercode Regular Languages.
Fundam. Informaticae
Yo-Sub Han, Kai Salomaa, Derick Wood
2007 J jnl
Obtaining shorter regular expressions from finite-state automata.
Theor. Comput. Sci.
Yo-Sub Han, Derick Wood
2007 J jnl
On the existence of prime decompositions.
Theor. Comput. Sci.
Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu
2007 J jnl
Outfix-Free Regular Languages and Prime Outfix-Free Decomposition.
Fundam. Informaticae
Yo-Sub Han, Derick Wood
2007 J jnl
Prefix-free regular languages and pattern matching.
Theor. Comput. Sci.
Yo-Sub Han, Yajun Wang, Derick Wood
2007 J jnl
Simple-Regular Expressions and Languages.
J. Autom. Lang. Comb.
Yo-Sub Han, Gerhard Trippen, Derick Wood
2007 B conf
State Complexity of Basic Operations on Suffix-Free Regular Languages.
MFCS
Yo-Sub Han, Kai Salomaa
2007 C conf
State Complexity of Union and Intersection of Finite Languages.
Developments in Language Theory
Yo-Sub Han, Kai Salomaa
2006 J jnl
Infix-free Regular Expressions and Languages.
Int. J. Found. Comput. Sci.
Yo-Sub Han, Yajun Wang, Derick Wood
2006 Misc conf
Overlap-Free Regular Languages.
COCOON
Yo-Sub Han, Derick Wood
2006 C conf
Prime Decompositions of Regular Languages.
Developments in Language Theory
Yo-Sub Han, Kai Salomaa, Derick Wood
2006 — conf
State Complexity of Prefix-Free Regular Languages.
DCFS
Yo-Sub Han, Kai Salomaa, Derick Wood
2005 B conf
A New Linearizing Restriction in the Pattern Matching Problem.
FCT
Yo-Sub Han, Derick Wood
2005 C conf
Outfix-Free Regular Languages and Prime Outfix-Free Decomposition.
ICTAC
Yo-Sub Han, Derick Wood
2005 B conf
Prefix-Free Regular-Expression Matching.
CPM
Yo-Sub Han, Yajun Wang, Derick Wood
2005 C conf
Shorter Regular Expressions from Finite-State Automata.
CIAA
Yo-Sub Han, Derick Wood
2005 — conf
Simple-Regular Expressions and Languages.
DCFS
Yo-Sub Han, Gerhard Trippen, Derick Wood
2005 J jnl
The generalization of generalized automata: expression automata.
Int. J. Found. Comput. Sci.
Yo-Sub Han, Derick Wood
2004 C conf
The Generalization of Generalized Automata: Expression Automata.
CIAA
Yo-Sub Han, Derick Wood