Sang-Ki Ko

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 62

Top Topics

Pattern Matching

Finite Automata

Formal Languages

Keypoint Detection

Top Venues

Theor. Comput. Sci.

Int. J. Found. Comput. Sci.

Publications

Seung-Yeop Baik, Mingi Jeon, Joonghyuk Hahn, Jungin Kim, Yo-Sub Han, Sang-Ki Ko
CodeComplex: A Time-Complexity Dataset for Bilingual Source Codes. CoRR (2024)
Hyunsung Kim, Gun-Hee Joe, Jinsung Yoon, Sang-Ki Ko
Contextual Sprint Classification in Soccer Based on Deep Learning. CoRR (2024)
Sungmin Kim, Sang-Ki Ko, Yo-Sub Han
Simon's congruence pattern matching. Theor. Comput. Sci. 994 (2024)
Hyunsung Kim, Han-Jun Choi, Chang Jo Kim, Jinsung Yoon, Sang-Ki Ko
Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM. KDD (2023)
Hyunsung Kim, Han-Jun Choi, Chang Jo Kim, Jinsung Yoon, Sang-Ki Ko
Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM. CoRR (2023)
Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko
Automated Grading of Regular Expressions. ESOP (2023)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
Deciding path size of nondeterministic (and input-driven) pushdown automata. Theor. Comput. Sci. 939 (2023)
Sicheol Sung, Sang-Ki Ko, Yo-Sub Han
Smaller Representation of Compiled Regular Expressions. CIAA (2023)
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
On the Simon's Congruence Neighborhood of Languages. DLT (2023)
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
On Simon's congruence closure of a string. Theor. Comput. Sci. 972 (2023)
Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa
Existential and Universal Width of Alternating Finite Automata. DCFS (2023)
Joonghyuk Hahn, Hyunjoon Cheon, Elizabeth Orwig, Su-Hyeon Kim, Sang-Ki Ko, Yo-Sub Han
GDA: Grammar-based Data Augmentation for Text Classification using Slot Information. EMNLP (Findings) (2023)
Mingi Jeon, Jay Lee, Sang-Ki Ko
Modular Reinforcement Learning for Playing the Game of Tron. IEEE Access 10 (2022)
Sungmin Kim, Sang-Ki Ko, Yo-Sub Han
Simon's Congruence Pattern Matching. ISAAC (2022)
Jeongbin Kim, Hyunsung Kim, Jonghyun Lee, Jaechan Lee, Jinsung Yoon, Sang-Ki Ko
A Deep Learning Approach for Fatigue Prediction in Sports Using GPS Data and Rate of Perceived Exertion. IEEE Access 10 (2022)
Hyunsung Kim, Bit Kim, Dongwook Chung, Jinsung Yoon, Sang-Ki Ko
SoccerCPD: Formation and Role Change-Point Detection in Soccer Matches Using Spatiotemporal Tracking Data. KDD (2022)
Su-Hyeon Kim, Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting. CoRR (2022)
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
On Simon's Congruence Closure of a String. DCFS (2022)
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)
Hyunsung Kim, Chang Jo Kim, Minchul Jeong, Jaechan Lee, Jinsung Yoon, Sang-Ki Ko
Cost-Efficient and Bias-Robust Sports Player Tracking by Integrating GPS and Video. MLSA@PKDD/ECML (2022)
Sang-Ki Ko, Yo-Sub Han
Left is Better Than Right for Reducing Nondeterminism of NFAs. Int. J. Found. Comput. Sci. 32 (5) (2021)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
Closest substring problems for regular languages. Theor. Comput. Sci. 862 (2021)
Ju Hyoung Lee, Sang-Ki Ko, Yo-Sub Han
SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction. AAAI (2021)
Hyunsung Kim, Jihun Kim, Dongwook Chung, Jonghyun Lee, Jinsung Yoon, Sang-Ki Ko
6MapNet: Representing soccer players from tracking data by a triplet network. CoRR (2021)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
Consensus string problem for multiple regular languages. Inf. Comput. 279 (2021)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
Reachability problems in low-dimensional nondeterministic polynomial maps over integers. Inf. Comput. 281 (2021)
Hyunsung Kim, Jihun Kim, Dongwook Chung, Jonghyun Lee, Jinsung Yoon, Sang-Ki Ko
6MapNet: Representing Soccer Players from Tracking Data by a Triplet Network. MLSA@PKDD/ECML (2021)
Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han, Sang-Ki Ko
Most Pseudo-copy Languages Are Not Context-Free. COCOON (2021)
Sang-Ki Ko, Yo-Sub Han, Kai Salomaa
Generalizations of Code Languages with Marginal Errors. Int. J. Found. Comput. Sci. 32 (5) (2021)
Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. CIAA (2021)
HyeonTae Seo, Yo-Sub Han, Sang-Ki Ko
MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning. EMNLP (Findings) (2021)
Yo-Sub Han, Sang-Ki Ko
Alignment distance of regular tree languages. Theor. Comput. Sci. 787 (2019)
Jun-U. Park, Sang-Ki Ko, Marco Cognetta, Yo-Sub Han
SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence. EMNLP/IJCNLP (1) (2019)
Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
The Relative Edit-Distance Between Two Input-Driven Languages. DLT (2019)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity. DCFS (2019)
Sang-Ki Ko, Igor Potapov
Vector Ambiguity and Freeness Problems in SL(2, ℤ). Fundam. Informaticae 162 (2-3) (2018)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
On the Identity Problem for the Special Linear Group and the Heisenberg Group. ICALP (2018)
Sang-Ki Ko, Jae Gi Son, Hye Dong Jung
Sign language recognition with recurrent neural network using human keypoint detection. RACS (2018)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
Closest Substring Problems for Regular Languages. DLT (2018)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
Reachability Problems in Nondeterministic Polynomial Maps on the Integers. DLT (2018)
Sang-Ki Ko, Chang Jo Kim, Hyedong Jung, Choong Sang Cho
Neural Sign Language Translation based on Human Keypoint Estimation. CoRR (2018)
Sang-Ki Ko, Igor Potapov
Vector Ambiguity and Freeness Problems in SL (2, ℤ). TAMC (2017)
Yo-Sub Han, Sang-Ki Ko
Edit-Distance Between Visibly Pushdown Languages. SOFSEM (2017)
Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis, Kai Salomaa
State complexity of permutation on finite languages over a binary alphabet. Theor. Comput. Sci. 682 (2017)
Sang-Ki Ko, Igor Potapov
Composition problems for braids: Membership, Identity and Freeness. CoRR (2017)
Sang-Ki Ko, Reino Niskanen, Igor Potapov
On the Identity Problem for the Special Linear Group and the Heisenberg Group. CoRR (2017)
Yo-Sub Han, Sang-Ki Ko
Alignment Distance of Regular Tree Languages. CIAA (2017)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
Consensus String Problem for Multiple Regular Languages. LATA (2017)
Sang-Ki Ko, Igor Potapov
Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). SOFSEM (2017)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State Complexity of k-Parallel Tree Concatenation. Fundam. Informaticae 154 (1-4) (2017)
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
Pseudo-inversion: closure properties and decidability. Nat. Comput. 15 (1) (2016)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State complexity of deletion and bipolar deletion. Acta Informatica 53 (1) (2016)
Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han
Inferring a Relax NG Schema from XML Documents. LATA (2016)
Sang-Ki Ko, Igor Potapov
Matrix Semigroup Freeness Problems in SL(2,Z). CoRR (2016)
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State complexity of inversion operations. Theor. Comput. Sci. 610 (2016)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
State Complexity of Insertion. Int. J. Found. Comput. Sci. 27 (7) (2016)
Sang-Ki Ko, Ha-Rim Lee, Yo-Sub Han
State Complexity of Regular Tree Languages for Tree Matching. Int. J. Found. Comput. Sci. 27 (8) (2016)
Sang-Ki Ko, Yo-Sub Han, Kai Salomaa
Approximate matching between a context-free grammar and a finite-state automaton. Inf. Comput. 247 (2016)
Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han
Operational State Complexity of Subtree-Free Regular Tree Languages. Int. J. Found. Comput. Sci. 27 (6) (2016)
Yo-Sub Han, Sang-Ki Ko, Xiaoxue Piao, Kai Salomaa
State Complexity of Kleene-Star Operations on Regular Tree Languages. Acta Cybern. 22 (2) (2015)
Alexandros Palioudakis, Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
The State Complexity of Permutations on Finite Languages over Binary Alphabets. DCFS (2015)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
Generalizations of Code Languages with Marginal Errors. DLT (2015)
Sang-Ki Ko, Ha-Rim Lee, Yo-Sub Han
State Complexity of Regular Tree Languages for Tree Pattern Matching. DCFS (2014)
Sang-Ki Ko, Yo-Sub Han
Left is Better than Right for Reducing Nondeterminism of NFAs. CIAA (2014)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State Complexity of Deletion. Developments in Language Theory (2014)
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko
Decidability of involution hypercodes. Theor. Comput. Sci. 550 (2014)
Sang-Ki Ko, Yo-Sub Han, Kai Salomaa
Top-Down Tree Edit-Distance of Regular Tree Languages. LATA (2014)
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State Complexity of Inversion Operations. DCFS (2014)
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
Pseudo-inversion on Formal Languages. UCNC (2014)
Hae-Sung Eom, Yo-Sub Han, Sang-Ki Ko
State Complexity of Subtree-Free Regular Tree Languages. DCFS (2013)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton. CIAA (2013)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
The Edit-Distance between a Regular Language and a Context-Free Language. Int. J. Found. Comput. Sci. 24 (7) (2013)
Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han
A recommendation system based on a subset of raters. ICUIMC (2012)
Yo-Sub Han, Sang-Ki Ko
Analysis of a cellular automaton model for car traffic with a junction. Theor. Comput. Sci. 450 (2012)
Sang-Min Choi, Sang-Ki Ko, Yo-Sub Han
A movie recommendation algorithm based on genre correlations. Expert Syst. Appl. 39 (9) (2012)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
Computing the Edit-Distance between a Regular Language and a Context-Free Language. Developments in Language Theory (2012)
Sang-Ki Ko, Sang-Min Choi, Hae-Sung Eom, Jeong-Won Cha, Hyunchul Cho, Laehyun Kim, Yo-Sub Han
A Smart Movie Recommendation System. HCI (11) (2011)
Yo-Sub Han, Sang-Ki Ko
A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule. CIAA (2011)
Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han
Analyzing category correlations for recommendation system. ICUIMC (2011)