A Smart Movie Recommendation System. - Sang-Ki Ko; Sang-Min Choi; Hae-Sung Eom; Jeong-Won Cha; Hyunchul Cho; Laehyun Kim; Yo-Sub Han (HCI (11), 2011)

Analyzing category correlations for recommendation system. - Bernhard Scholz; Sang-Min Choi; Sang-Ki Ko; Hae-Sung Eom; Yo-Sub Han (ICUIMC, 2011)

A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule. - Yo-Sub Han; Sang-Ki Ko (CIAA, 2011)

Computing the Edit-Distance between a Regular Language and a Context-Free Language. - Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Developments in Language Theory, 2012)

A recommendation system based on a subset of raters. - Bernhard Scholz; Sang-Min Choi; Sang-Ki Ko; Hae-Sung Eom; Yo-Sub Han (ICUIMC, 2012)

A movie recommendation algorithm based on genre correlations. - Sang-Min Choi; Sang-Ki Ko; Yo-Sub Han (Expert Syst. Appl., 2012)

Analysis of a cellular automaton model for car traffic with a junction. - Yo-Sub Han; Sang-Ki Ko (Theor. Comput. Sci., 2012)

State Complexity of Subtree-Free Regular Tree Languages. - Hae-Sung Eom; Yo-Sub Han; Sang-Ki Ko (DCFS, 2013)

The Edit-Distance between a Regular Language and a Context-Free Language. - Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Int. J. Found. Comput. Sci., 2013)

State Complexity of Regular Tree Languages for Tree Pattern Matching. - Sang-Ki Ko; Ha-Rim Lee; Yo-Sub Han (DCFS, 2014)

State Complexity of Deletion. - Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Developments in Language Theory, 2014)

Top-Down Tree Edit-Distance of Regular Tree Languages. - Sang-Ki Ko; Yo-Sub Han; Kai Salomaa (LATA, 2014)

Pseudo-inversion on Formal Languages. - Da-Jung Cho; Yo-Sub Han; Shin-Dong Kang; Hwee Kim; Sang-Ki Ko; Kai Salomaa (UCNC, 2014)

Decidability of involution hypercodes. - Da-Jung Cho; Yo-Sub Han; Sang-Ki Ko (Theor. Comput. Sci., 2014)

The State Complexity of Permutations on Finite Languages over Binary Alphabets. - Alexandros Palioudakis; Da-Jung Cho; Daniel Goc; Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (DCFS, 2015)

State Complexity of Kleene-Star Operations on Regular Tree Languages. - Yo-Sub Han; Sang-Ki Ko; Xiaoxue Piao; Kai Salomaa (Acta Cybern., 2015)

Inferring a Relax NG Schema from XML Documents. - Guen-Hae Kim; Sang-Ki Ko; Yo-Sub Han (LATA, 2016)

State complexity of deletion and bipolar deletion. - Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Acta Informatica, 2016)

Matrix Semigroup Freeness Problems in SL(2,Z). - Sang-Ki Ko; Igor Potapov (CoRR, 2016)

Approximate matching between a context-free grammar and a finite-state automaton. - Sang-Ki Ko; Yo-Sub Han; Kai Salomaa (Inf. Comput., 2016)

State Complexity of Insertion. - Yo-Sub Han; Sang-Ki Ko; Timothy Ng 001; Kai Salomaa (Int. J. Found. Comput. Sci., 2016)

Operational State Complexity of Subtree-Free Regular Tree Languages. - Sang-Ki Ko; Hae-Sung Eom; Yo-Sub Han (Int. J. Found. Comput. Sci., 2016)

State Complexity of Regular Tree Languages for Tree Matching. - Sang-Ki Ko; Ha-Rim Lee; Yo-Sub Han (Int. J. Found. Comput. Sci., 2016)

Pseudo-inversion: closure properties and decidability. - Da-Jung Cho; Yo-Sub Han; Shin-Dong Kang; Hwee Kim; Sang-Ki Ko; Kai Salomaa (Nat. Comput., 2016)

State complexity of inversion operations. - Da-Jung Cho; Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Theor. Comput. Sci., 2016)

Edit-Distance Between Visibly Pushdown Languages. - Yo-Sub Han; Sang-Ki Ko (SOFSEM, 2017)

Matrix Semigroup Freeness Problems in SL (2, mathbb Z). - Sang-Ki Ko; Igor Potapov (SOFSEM, 2017)

Composition problems for braids: Membership, Identity and Freeness. - Sang-Ki Ko; Igor Potapov (CoRR, 2017)

State Complexity of k-Parallel Tree Concatenation. - Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Fundam. Informaticae, 2017)

State complexity of permutation on finite languages over a binary alphabet. - Da-Jung Cho; Daniel Goc; Yo-Sub Han; Sang-Ki Ko; Alexandros Palioudakis; Kai Salomaa (Theor. Comput. Sci., 2017)

Reachability Problems in Nondeterministic Polynomial Maps on the Integers. - Sang-Ki Ko; Reino Niskanen; Igor Potapov (DLT, 2018)

On the Identity Problem for the Special Linear Group and the Heisenberg Group. - Sang-Ki Ko; Reino Niskanen; Igor Potapov (ICALP, 2018)

Sign language recognition with recurrent neural network using human keypoint detection. - Sang-Ki Ko; Jae Gi Son; Hye Dong Jung (RACS, 2018)

Neural Sign Language Translation based on Human Keypoint Estimation. - Sang-Ki Ko; Changjo Kim; Hyedong Jung; Choong Sang Cho (CoRR, 2018)

Vector Ambiguity and Freeness Problems in SL(2, ℤ). - Sang-Ki Ko; Igor Potapov (Fundam. Informaticae, 2018)

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity. - Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (DCFS, 2019)

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

SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence. - Jun-U. Park; Sang-Ki Ko; Marco Cognetta; Yo-Sub Han (EMNLP/IJCNLP (1), 2019)

Alignment distance of regular tree languages. - Yo-Sub Han; Sang-Ki Ko (Theor. Comput. Sci., 2019)

SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction. - Ju Hyoung Lee; Sang-Ki Ko; Yo-Sub Han (AAAI, 2021)

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

MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning. - HyeonTae Seo; Yo-Sub Han; Sang-Ki Ko (EMNLP (Findings), 2021)

6MapNet: Representing Soccer Players from Tracking Data by a Triplet Network. - Hyunsung Kim 004; Jihun Kim; Dongwook Chung; Jonghyun Lee; Jinsung Yoon; Sang-Ki Ko (MLSA@PKDD/ECML, 2021)

Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. - Su-Hyeon Kim; Hyeonseung Im; Sang-Ki Ko (CIAA, 2021)

Consensus string problem for multiple regular languages. - Yo-Sub Han; Sang-Ki Ko; Timothy Ng 001; Kai Salomaa (Inf. Comput., 2021)

Reachability problems in low-dimensional nondeterministic polynomial maps over integers. - Sang-Ki Ko; Reino Niskanen; Igor Potapov (Inf. Comput., 2021)

Left is Better Than Right for Reducing Nondeterminism of NFAs. - Sang-Ki Ko; Yo-Sub Han (Int. J. Found. Comput. Sci., 2021)

Generalizations of Code Languages with Marginal Errors. - Sang-Ki Ko; Yo-Sub Han; Kai Salomaa (Int. J. Found. Comput. Sci., 2021)

Closest substring problems for regular languages. - Yo-Sub Han; Sang-Ki Ko; Timothy Ng 001; Kai Salomaa (Theor. Comput. Sci., 2021)

SoccerCPD: Formation and Role Change-Point Detection in Soccer Matches Using Spatiotemporal Tracking Data. - Hyunsung Kim 004; Bit Kim; Dongwook Chung; Jinsung Yoon; Sang-Ki Ko (KDD, 2022)

Cost-Efficient and Bias-Robust Sports Player Tracking by Integrating GPS and Video. - Hyunsung Kim 004; Changjo Kim; Minchul Jeong; Jaechan Lee; Jinsung Yoon; Sang-Ki Ko (MLSA@PKDD/ECML, 2022)

RepCoder: an automated program repair framework for probability-based program synthesis. - Suhwan Ji; Sang-Min Choi; Sang-Ki Ko; Dohyung Kim 005; Hyeonseung Im (SAC, 2022)

Modular Reinforcement Learning for Playing the Game of Tron. - Mingi Jeon; Jay Lee; Sang-Ki Ko (IEEE Access, 2022)

A Deep Learning Approach for Fatigue Prediction in Sports Using GPS Data and Rate of Perceived Exertion. - Jeongbin Kim 004; Hyunsung Kim 004; Jonghyun Lee; Jaechan Lee; Jinsung Yoon; Sang-Ki Ko (IEEE Access, 2022)

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

On the Simon's Congruence Neighborhood of Languages. - Sungmin Kim; Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (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)

Automated Grading of Regular Expressions. - Su-Hyeon Kim; Youngwook Kim; Yo-Sub Han; Hyeonseung Im; Sang-Ki Ko (ESOP, 2023)

Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM. - Hyunsung Kim 004; Han-Jun Choi; Changjo Kim; Jinsung Yoon; Sang-Ki Ko (KDD, 2023)

Smaller Representation of Compiled Regular Expressions. - Sicheol Sung; Sang-Ki Ko; Yo-Sub Han (CIAA, 2023)

Deciding path size of nondeterministic (and input-driven) pushdown automata. - Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Theor. Comput. Sci., 2023)

On Simon's congruence closure of a string. - Sungmin Kim; Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Theor. Comput. Sci., 2023)

CodeComplex: A Time-Complexity Dataset for Bilingual Source Codes. - Seung-Yeop Baik; Mingi Jeon; Joonghyuk Hahn; Jungin Kim; Yo-Sub Han; Sang-Ki Ko (CoRR, 2024)

Contextual Sprint Classification in Soccer Based on Deep Learning. - Hyunsung Kim 004; Gun-Hee Joe; Jinsung Yoon; Sang-Ki Ko (CoRR, 2024)

DBHP: Trajectory Imputation in Multi-Agent Sports Using Derivative-Based Hybrid Prediction. - Hanjun Choi; Hyunsung Kim 004; Minho Lee; Changjo Kim; Jinsung Yoon; Sang-Ki Ko (CoRR, 2024)

Towards Efficient Formal Verification of Spiking Neural Network. - Baekryun Seong; Jieung Kim; Sang-Ki Ko (CoRR, 2024)

MPruner: Optimizing Neural Network Size with CKA-Based Mutual Information Pruning. - Seungbeom Hu; ChanJun Park; Andrew Ferraiuolo; Sang-Ki Ko; Jinwoo Kim; Haein Song; Jieung Kim (CoRR, 2024)

Simon's congruence pattern matching. - Sungmin Kim; Sang-Ki Ko; Yo-Sub Han (Theor. Comput. Sci., 2024)

Advanced code time complexity prediction approach using contrastive learning. - Shinwoo Park; Joonghyuk Hahn; Elizabeth Orwig; Sang-Ki Ko; Yo-Sub Han (Eng. Appl. Artif. Intell., 2025)

Existential and universal width of alternating finite automata. - Yo-Sub Han; Sungmin Kim; Sang-Ki Ko; Kai Salomaa (Inf. Comput., 2025)

SPECTra: Scalable Multi-Agent Reinforcement Learning with Permutation-Free Networks. - Hyunwoo Park; Baekryun Seong; Sang-Ki Ko (CoRR, 2025)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming. - Sicheol Sung; Aditi; Dogyu kim; Yo-Sub Han; Sang-Ki Ko (CoRR, 2025)

SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs. - Aditi; Hyunwoo Park; Sicheol Sung; Yo-Sub Han; Sang-Ki Ko (CoRR, 2025)

EnCur: Curriculum-based in-context learning with structural encoding for code time complexity prediction. - Joonghyuk Hahn; Aditi; Seung-Yeop Baik; Shinwoo Park; Sang-Ki Ko; Yo-Sub Han (Expert Syst. Appl., 2026)

Multi-modal recommender system using text-to-image generative models and adaptive learning. - Seongmin Kim; Seona Moon; Yeongseo Lim; Sang-Min Choi; Sang-Ki Ko (Expert Syst. Appl., 2026)