Sang-Ki Ko

Orcid: 0000-0002-5406-5104

According to our database1, Sang-Ki Ko authored at least 65 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CodeComplex: A Time-Complexity Dataset for Bilingual Source Codes.
CoRR, 2024

2023
On Simon's congruence closure of a string.
Theor. Comput. Sci., September, 2023

Deciding path size of nondeterministic (and input-driven) pushdown automata.
Theor. Comput. Sci., 2023

Smaller Representation of Compiled Regular Expressions.
Proceedings of the Implementation and Application of Automata, 2023

Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM.
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

Automated Grading of Regular Expressions.
Proceedings of the Programming Languages and Systems, 2023

GDA: Grammar-based Data Augmentation for Text Classification using Slot Information.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

On the Simon's Congruence Neighborhood of Languages.
Proceedings of the Developments in Language Theory - 27th International Conference, 2023

Existential and Universal Width of Alternating Finite Automata.
Proceedings of the Descriptional Complexity of Formal Systems, 2023

2022
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting.
CoRR, 2022

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

Modular Reinforcement Learning for Playing the Game of Tron.
IEEE Access, 2022

RepCoder: an automated program repair framework for probability-based program synthesis.
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.
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.
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.
Proceedings of the 33rd International Symposium on Algorithms and Computation, 2022

2021
Closest substring problems for regular languages.
Theor. Comput. Sci., 2021

Generalizations of Code Languages with Marginal Errors.
Int. J. Found. Comput. Sci., 2021

Left is Better Than Right for Reducing Nondeterminism of NFAs.
Int. J. Found. Comput. Sci., 2021

Reachability problems in low-dimensional nondeterministic polynomial maps over integers.
Inf. Comput., 2021

Consensus string problem for multiple regular languages.
Inf. Comput., 2021

Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis.
Proceedings of the Implementation and Application of Automata, 2021

6MapNet: Representing Soccer Players from Tracking Data by a Triplet Network.
Proceedings of the Machine Learning and Data Mining for Sports Analytics, 2021

MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Most Pseudo-copy Languages Are Not Context-Free.
Proceedings of the Computing and Combinatorics - 27th International Conference, 2021

SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019
Alignment distance of regular tree languages.
Theor. Comput. Sci., 2019

SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence.
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.
Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity.
Proceedings of the Descriptional Complexity of Formal Systems, 2019

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

Neural Sign Language Translation based on Human Keypoint Estimation.
CoRR, 2018

Sign language recognition with recurrent neural network using human keypoint detection.
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.
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

Reachability Problems in Nondeterministic Polynomial Maps on the Integers.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

2017
State complexity of permutation on finite languages over a binary alphabet.
Theor. Comput. Sci., 2017

State Complexity of k-Parallel Tree Concatenation.
Fundam. Informaticae, 2017

Composition problems for braids: Membership, Identity and Freeness.
CoRR, 2017

Matrix Semigroup Freeness Problems in SL (2, \mathbb Z).
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Edit-Distance Between Visibly Pushdown Languages.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2016
State complexity of inversion operations.
Theor. Comput. Sci., 2016

Pseudo-inversion: closure properties and decidability.
Nat. Comput., 2016

State Complexity of Regular Tree Languages for Tree Matching.
Int. J. Found. Comput. Sci., 2016

Operational State Complexity of Subtree-Free Regular Tree Languages.
Int. J. Found. Comput. Sci., 2016

State Complexity of Insertion.
Int. J. Found. Comput. Sci., 2016

Approximate matching between a context-free grammar and a finite-state automaton.
Inf. Comput., 2016

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

State complexity of deletion and bipolar deletion.
Acta Informatica, 2016

Inferring a Relax NG Schema from XML Documents.
Proceedings of the Language and Automata Theory and Applications, 2016

2015
State Complexity of Kleene-Star Operations on Regular Tree Languages.
Acta Cybern., 2015

The State Complexity of Permutations on Finite Languages over Binary Alphabets.
Proceedings of the Descriptional Complexity of Formal Systems, 2015

2014
Decidability of involution hypercodes.
Theor. Comput. Sci., 2014

Pseudo-inversion on Formal Languages.
Proceedings of the Unconventional Computation and Natural Computation, 2014

Top-Down Tree Edit-Distance of Regular Tree Languages.
Proceedings of the Language and Automata Theory and Applications, 2014

State Complexity of Deletion.
Proceedings of the Developments in Language Theory - 18th International Conference, 2014

State Complexity of Regular Tree Languages for Tree Pattern Matching.
Proceedings of the Descriptional Complexity of Formal Systems, 2014

2013
The Edit-Distance between a Regular Language and a Context-Free Language.
Int. J. Found. Comput. Sci., 2013

State Complexity of Subtree-Free Regular Tree Languages.
Proceedings of the Descriptional Complexity of Formal Systems, 2013

2012
Analysis of a cellular automaton model for car traffic with a junction.
Theor. Comput. Sci., 2012

A movie recommendation algorithm based on genre correlations.
Expert Syst. Appl., 2012

A recommendation system based on a subset of raters.
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.
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.
Proceedings of the Implementation and Application of Automata, 2011

Analyzing category correlations for recommendation system.
Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication, 2011

A Smart Movie Recommendation System.
Proceedings of the Human Interface and the Management of Information. Interacting with Information, 2011


  Loading...