Sang-Ki Ko

According to our database, Sang-Ki Ko authored at least 78 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

2025

STAS: Spatio-Temporal Adaptive Computation Time for Spiking Transformers.

Donghwa Kang, Doohyun Kim, Sang-Ki Ko, Jinkyu Lee, Brent ByungHoon Kang, Hyeongboo Baek

CoRR, August, 2025

Timestep-Compressed Attack on Spiking Neural Networks through Timestep-Level Backpropagation.

Donghwa Kang, Doohyun Kim, Sang-Ki Ko, Jinkyu Lee, Hyeongboo Baek, Brent ByungHoon Kang

CoRR, August, 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, June, 2025

SPECTra: Scalable Multi-Agent Reinforcement Learning with Permutation-Free Networks.

Hyunwoo Park, Baekryun Seong, Sang-Ki Ko

CoRR, March, 2025

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

Trajectory Imputation in Multi-agent Sports with Derivative-Accumulating Self-ensemble.

Han-Jun Choi, Hyunsung Kim, Minho Lee, Minchul Jeong, Changjo Kim, Jinsung Yoon, Sang-Ki Ko

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track and Demo Track, 2025

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming.

Sicheol Sung, Aditi, Dogyu Kim, Yo-Sub Han, Sang-Ki Ko

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

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

Towards Efficient Formal Verification of Spiking Neural Network.

Baekryun Seong, Jieung Kim, Sang-Ki Ko

CoRR, 2024

DBHP: Trajectory Imputation in Multi-Agent Sports Using Derivative-Based Hybrid Prediction.

Hanjun Choi, Hyunsung Kim, Minho Lee, Changjo Kim, Jinsung Yoon, Sang-Ki Ko

CoRR, 2024

Contextual Sprint Classification in Soccer Based on Deep Learning.

Hyunsung Kim, Gun-Hee Joe, Jinsung Yoon, Sang-Ki Ko

CoRR, 2024

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

2023

Deciding path size of nondeterministic (and input-driven) pushdown automata.

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Theor. Comput. Sci., 2023

Smaller Representation of Compiled Regular Expressions.

Sicheol Sung, Sang-Ki Ko, Yo-Sub Han

Proceedings of the Implementation and Application of Automata, 2023

Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM.

Hyunsung Kim, Han-Jun Choi, Changjo Kim, Jinsung Yoon, Sang-Ki Ko

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

Automated Grading of Regular Expressions.

Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko

Proceedings of the Programming Languages and Systems, 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

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

On the Simon's Congruence Neighborhood of Languages.

Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Developments in Language Theory - 27th International Conference, 2023

Existential and Universal Width of Alternating Finite Automata.

Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa

Proceedings of the Descriptional Complexity of Formal Systems, 2023

2022

Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting.

Su-Hyeon Kim, Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko

CoRR, 2022

A Deep Learning Approach for Fatigue Prediction in Sports Using GPS Data and Rate of Perceived Exertion.

Jeongbin Kim, Hyunsung Kim, Jonghyun Lee, Jaechan Lee, Jinsung Yoon, Sang-Ki Ko

IEEE Access, 2022

Modular Reinforcement Learning for Playing the Game of Tron.

Mingi Jeon, Jay Lee, Sang-Ki Ko

IEEE Access, 2022

RepCoder: an automated program repair framework for probability-based program synthesis.

Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Cost-Efficient and Bias-Robust Sports Player Tracking by Integrating GPS and Video.

Hyunsung Kim, Changjo Kim, Minchul Jeong, Jaechan Lee, Jinsung Yoon, Sang-Ki Ko

Proceedings of the Machine Learning and Data Mining for Sports Analytics, 2022

SoccerCPD: Formation and Role Change-Point Detection in Soccer Matches Using Spatiotemporal Tracking Data.

Hyunsung Kim, Bit Kim, Dongwook Chung, Jinsung Yoon, Sang-Ki Ko

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Simon's Congruence Pattern Matching.

Sungmin Kim, Sang-Ki Ko, Yo-Sub Han

Proceedings of the 33rd International Symposium on Algorithms and Computation, 2022

On Simon's Congruence Closure of a String.

Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Descriptional Complexity of Formal Systems, 2022

2021

Reachability problems in low-dimensional nondeterministic polynomial maps over integers.

Sang-Ki Ko, Reino Niskanen, Igor Potapov

Inf. Comput., 2021

Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis.

Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko

Proceedings of the Implementation and Application of Automata, 2021

6MapNet: Representing Soccer Players from Tracking Data by a Triplet Network.

Hyunsung Kim, Jihun Kim, Dongwook Chung, Jonghyun Lee, Jinsung Yoon, Sang-Ki Ko

Proceedings of the Machine Learning and Data Mining for Sports Analytics, 2021

MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning.

HyeonTae Seo, Yo-Sub Han, Sang-Ki Ko

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Most Pseudo-copy Languages Are Not Context-Free.

Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han, Sang-Ki Ko

Proceedings of the Computing and Combinatorics - 27th International Conference, 2021

SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction.

Ju Hyoung Lee, Sang-Ki Ko, Yo-Sub Han

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019

SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence.

Jun-U. Park, Sang-Ki Ko, Marco Cognetta, Yo-Sub Han

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

The Relative Edit-Distance Between Two Input-Driven Languages.

Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity.

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Descriptional Complexity of Formal Systems, 2019

2018

Neural Sign Language Translation based on Human Keypoint Estimation.

Sang-Ki Ko, Changjo Kim, Hyedong Jung, Choong Sang Cho

CoRR, 2018

Sign language recognition with recurrent neural network using human keypoint detection.

Sang-Ki Ko, Jae Gi Son, Hye Dong Jung

Proceedings of the 2018 Conference on Research in Adaptive and Convergent Systems, 2018

On the Identity Problem for the Special Linear Group and the Heisenberg Group.

Sang-Ki Ko, Reino Niskanen, Igor Potapov

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

Reachability Problems in Nondeterministic Polynomial Maps on the Integers.

Sang-Ki Ko, Reino Niskanen, Igor Potapov

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

Closest Substring Problems for Regular Languages.

Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

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

State Complexity of k-Parallel Tree Concatenation.

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Fundam. Informaticae, 2017

Composition problems for braids: Membership, Identity and Freeness.

Sang-Ki Ko, Igor Potapov

CoRR, 2017

Alignment Distance of Regular Tree Languages.

Yo-Sub Han, Sang-Ki Ko

Proceedings of the Implementation and Application of Automata, 2017

Vector Ambiguity and Freeness Problems in SL (2, ℤ).

Sang-Ki Ko, Igor Potapov

Proceedings of the Theory and Applications of Models of Computation, 2017

Matrix Semigroup Freeness Problems in SL (2, \mathbb Z).

Sang-Ki Ko, Igor Potapov

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Edit-Distance Between Visibly Pushdown Languages.

Yo-Sub Han, Sang-Ki Ko

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Consensus String Problem for Multiple Regular Languages.

Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa

Proceedings of the Language and Automata Theory and Applications, 2017

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 Regular Tree Languages for Tree Matching.

Sang-Ki Ko, Ha-Rim Lee, Yo-Sub Han

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 Insertion.

Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa

Int. J. Found. Comput. Sci., 2016

Matrix Semigroup Freeness Problems in SL(2,Z).

Sang-Ki Ko, Igor Potapov

CoRR, 2016

State complexity of deletion and bipolar deletion.

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Acta Informatica, 2016

Inferring a Relax NG Schema from XML Documents.

Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han

Proceedings of the Language and Automata Theory and Applications, 2016

2015

State Complexity of Kleene-Star Operations on Regular Tree Languages.

Yo-Sub Han, Sang-Ki Ko, Xiaoxue Piao, Kai Salomaa

Acta Cybern., 2015

Generalizations of Code Languages with Marginal Errors.

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

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

Proceedings of the Descriptional Complexity of Formal Systems, 2015

2014

Decidability of involution hypercodes.

Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko

Theor. Comput. Sci., 2014

Left is Better than Right for Reducing Nondeterminism of NFAs.

Sang-Ki Ko, Yo-Sub Han

Proceedings of the Implementation and Application of Automata, 2014

Pseudo-inversion on Formal Languages.

Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa

Proceedings of the Unconventional Computation and Natural Computation, 2014

Top-Down Tree Edit-Distance of Regular Tree Languages.

Sang-Ki Ko, Yo-Sub Han, Kai Salomaa

Proceedings of the Language and Automata Theory and Applications, 2014

State Complexity of Deletion.

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Developments in Language Theory - 18th International Conference, 2014

State Complexity of Regular Tree Languages for Tree Pattern Matching.

Sang-Ki Ko, Ha-Rim Lee, Yo-Sub Han

Proceedings of the Descriptional Complexity of Formal Systems, 2014

State Complexity of Inversion Operations.

Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Descriptional Complexity of Formal Systems, 2014

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

Approximate Matching between a Context-Free Grammar and a Finite-State Automaton.

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Implementation and Application of Automata, 2013

State Complexity of Subtree-Free Regular Tree Languages.

Hae-Sung Eom, Yo-Sub Han, Sang-Ki Ko

Proceedings of the Descriptional Complexity of Formal Systems, 2013

2012

Analysis of a cellular automaton model for car traffic with a junction.

Yo-Sub Han, Sang-Ki Ko

Theor. Comput. Sci., 2012

A movie recommendation algorithm based on genre correlations.

Sang-Min Choi, Sang-Ki Ko, Yo-Sub Han

Expert Syst. Appl., 2012

A recommendation system based on a subset of raters.

Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han

Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication, 2012

Computing the Edit-Distance between a Regular Language and a Context-Free Language.

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011

A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule.

Yo-Sub Han, Sang-Ki Ko

Proceedings of the Implementation and Application of Automata, 2011

Analyzing category correlations for recommendation system.

Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han

Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication, 2011

A Smart Movie Recommendation System.

Sang-Ki Ko, Sang-Min Choi, Hae-Sung Eom, Jeong-Won Cha, Hyunchul Cho, Laehyun Kim, Yo-Sub Han

Proceedings of the Human Interface and the Management of Information. Interacting with Information, 2011