Sang-Ki Ko - RankMe

105 papers A* 6A 2B 3C 18Misc 2Journal 54Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	C	`ed.`	Developments in Language Theory - 29th International Conference, DLT 2025, Seoul, South Korea, August 19-22, 2025, Proceedings DLT Sang-Ki Ko, Florin Manea
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`	Modeling Matches as Language: A Generative Transformer Approach for Counterfactual Player Valuation in Football. CoRR Miru Hong, Minho Lee, Geonhee Jo, Hyeokje Jo, Pascal Bauer, Sang-Ki Ko
2026	J	`jnl`	Multi-modal recommender system using text-to-image generative models and adaptive learning. Expert Syst. Appl. Seongmin Kim, Seona Moon, Yeongseo Lim, Sang-Min Choi, Sang-Ki Ko
2026	J	`jnl`	PathCRF: Ball-Free Soccer Event Detection via Possession Path Inference from Player Trajectories. CoRR Hyunsung Kim, Kunhee Lee, Sangwoo Seo, Sang-Ki Ko, Jinsung Yoon, Chanyoung Park
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	A*	`conf`	Timestep-Compressed Attack on Spiking Neural Networks Through Timestep-Level Backpropagation. AAAI Donghwa Kang, Doohyun Kim, Sang-Ki Ko, Jinkyu Lee, Hyeongboo Baek, Brent ByungHoon Kang
2026	J	`jnl`	VERSA: Verified Event Data Format for Reliable Soccer Analytics. CoRR Geonhee Jo, Mingu Kang, Kangmin Lee, Minho Lee, Pascal Bauer, Sang-Ki Ko
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	—	`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`	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`	Existential and universal width of alternating finite automata. Inf. Comput. Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa
2025	A	`conf`	Imputing Multi-Agent Trajectories from Event and Snapshot Data in Soccer. CIKM Geonhee Jo, Miru Hong, Han-Jun Choi, Minho Lee, Pascal Bauer, Sang-Ki Ko
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`	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`	SPECTra: Scalable Multi-Agent Reinforcement Learning with Permutation-Free Networks. CoRR Hyunwoo Park, Baekryun Seong, Sang-Ki Ko
2025	J	`jnl`	STAS: Spatio-Temporal Adaptive Computation Time for Spiking Transformers. CoRR Donghwa Kang, Doohyun Kim, Sang-Ki Ko, Jinkyu Lee, Brent ByungHoon Kang, Hyeongboo Baek
2025	J	`jnl`	ScoutGPT: Capturing Player Impact from Team Action Sequences Using GPT-Based Framework. CoRR Miru Hong, Minho Lee, Geonhee Jo, Jae-Hee So, Pascal Bauer, 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	J	`jnl`	Timestep-Compressed Attack on Spiking Neural Networks through Timestep-Level Backpropagation. CoRR Donghwa Kang, Doohyun Kim, Sang-Ki Ko, Jinkyu Lee, Hyeongboo Baek, Brent ByungHoon Kang
2025	—	`conf`	Trajectory Imputation in Multi-agent Sports with Derivative-Accumulating Self-ensemble. ECML/PKDD (10) Han-Jun Choi, Hyunsung Kim, Minho Lee, Minchul Jeong, Changjo Kim, Jinsung Yoon, Sang-Ki Ko
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`	Contextual Sprint Classification in Soccer Based on Deep Learning. CoRR Hyunsung Kim, Gun-Hee Joe, Jinsung Yoon, Sang-Ki Ko
2024	J	`jnl`	DBHP: Trajectory Imputation in Multi-Agent Sports Using Derivative-Based Hybrid Prediction. CoRR Hanjun Choi, Hyunsung Kim, Minho Lee, Changjo Kim, Jinsung Yoon, Sang-Ki Ko
2024	J	`jnl`	MPruner: Optimizing Neural Network Size with CKA-Based Mutual Information Pruning. CoRR Seungbeom Hu, Chanjun Park, Andrew Ferraiuolo, Sang-Ki Ko, Jinwoo Kim, Haein Song, Jieung Kim
2024	J	`jnl`	Simon's congruence pattern matching. Theor. Comput. Sci. Sungmin Kim, Sang-Ki Ko, Yo-Sub Han
2024	J	`jnl`	Towards Efficient Formal Verification of Spiking Neural Network. CoRR Baekryun Seong, Jieung Kim, Sang-Ki Ko
2023	A	`conf`	Automated Grading of Regular Expressions. ESOP Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko
2023	A*	`conf`	Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM. KDD Hyunsung Kim, Han-Jun Choi, Changjo Kim, Jinsung Yoon, Sang-Ki Ko
2023	J	`jnl`	Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM. CoRR Hyunsung Kim, Han-Jun Choi, Changjo Kim, Jinsung Yoon, Sang-Ki Ko
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	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
2022	J	`jnl`	A Deep Learning Approach for Fatigue Prediction in Sports Using GPS Data and Rate of Perceived Exertion. IEEE Access Jeongbin Kim, Hyunsung Kim, Jonghyun Lee, Jaechan Lee, Jinsung Yoon, Sang-Ki Ko
2022	—	`conf`	Cost-Efficient and Bias-Robust Sports Player Tracking by Integrating GPS and Video. MLSA@PKDD/ECML Hyunsung Kim, Changjo Kim, Minchul Jeong, Jaechan Lee, Jinsung Yoon, Sang-Ki Ko
2022	J	`jnl`	Modular Reinforcement Learning for Playing the Game of Tron. IEEE Access Mingi Jeon, Jay Lee, Sang-Ki Ko
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	Misc	`conf`	RepCoder: an automated program repair framework for probability-based program synthesis. SAC Suhwan Ji, Sang-Min Choi, Sang-Ki Ko, Dohyung Kim, Hyeonseung Im
2022	B	`conf`	Simon's Congruence Pattern Matching. ISAAC Sungmin Kim, Sang-Ki Ko, Yo-Sub Han
2022	A*	`conf`	SoccerCPD: Formation and Role Change-Point Detection in Soccer Matches Using Spatiotemporal Tracking Data. KDD Hyunsung Kim, Bit Kim, Dongwook Chung, Jinsung Yoon, Sang-Ki Ko
2021	—	`conf`	6MapNet: Representing Soccer Players from Tracking Data by a Triplet Network. MLSA@PKDD/ECML Hyunsung Kim, Jihun Kim, Dongwook Chung, Jonghyun Lee, Jinsung Yoon, Sang-Ki Ko
2021	J	`jnl`	6MapNet: Representing soccer players from tracking data by a triplet network. CoRR Hyunsung Kim, Jihun Kim, Dongwook Chung, Jonghyun Lee, Jinsung Yoon, Sang-Ki Ko
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	C	`conf`	Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. CIAA Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko
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`	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	J	`jnl`	Reachability problems in low-dimensional nondeterministic polynomial maps over integers. Inf. Comput. Sang-Ki Ko, Reino Niskanen, Igor Potapov
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
2019	J	`jnl`	Alignment distance of regular tree languages. Theor. Comput. Sci. Yo-Sub Han, Sang-Ki Ko
2019	—	`conf`	Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity. DCFS Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
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	C	`conf`	Closest Substring Problems for Regular Languages. DLT Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
2018	J	`jnl`	Neural Sign Language Translation based on Human Keypoint Estimation. CoRR Sang-Ki Ko, Changjo Kim, Hyedong Jung, Choong Sang Cho
2018	A*	`conf`	On the Identity Problem for the Special Linear Group and the Heisenberg Group. ICALP Sang-Ki Ko, Reino Niskanen, Igor Potapov
2018	C	`conf`	Reachability Problems in Nondeterministic Polynomial Maps on the Integers. DLT Sang-Ki Ko, Reino Niskanen, Igor Potapov
2018	—	`conf`	Sign language recognition with recurrent neural network using human keypoint detection. RACS Sang-Ki Ko, Jae Gi Son, Hye Dong Jung
2018	J	`jnl`	Vector Ambiguity and Freeness Problems in SL(2, ℤ). Fundam. Informaticae Sang-Ki Ko, Igor Potapov
2017	C	`conf`	Alignment Distance of Regular Tree Languages. CIAA Yo-Sub Han, Sang-Ki Ko
2017	J	`jnl`	Composition problems for braids: Membership, Identity and Freeness. CoRR Sang-Ki Ko, Igor Potapov
2017	C	`conf`	Consensus String Problem for Multiple Regular Languages. LATA Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
2017	B	`conf`	Edit-Distance Between Visibly Pushdown Languages. SOFSEM Yo-Sub Han, Sang-Ki Ko
2017	B	`conf`	Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). SOFSEM Sang-Ki Ko, Igor Potapov
2017	J	`jnl`	On the Identity Problem for the Special Linear Group and the Heisenberg Group. CoRR Sang-Ki Ko, Reino Niskanen, Igor Potapov
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`	Vector Ambiguity and Freeness Problems in SL (2, ℤ). TAMC Sang-Ki Ko, Igor Potapov
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	C	`conf`	Inferring a Relax NG Schema from XML Documents. LATA Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han
2016	J	`jnl`	Matrix Semigroup Freeness Problems in SL(2,Z). CoRR Sang-Ki Ko, Igor Potapov
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	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	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	C	`conf`	Generalizations of Code Languages with Marginal Errors. DLT Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
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`	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	—	`conf`	Pseudo-inversion on Formal Languages. UCNC Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
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	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`	State Complexity of Subtree-Free Regular Tree Languages. DCFS Hae-Sung Eom, Yo-Sub Han, Sang-Ki Ko
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 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	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