![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Sang-Ki Ko
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j26]Sungmin Kim, Sang-Ki Ko, Yo-Sub Han:
Simon's congruence pattern matching. Theor. Comput. Sci. 994: 114478 (2024) - [i9]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 abs/2401.08719 (2024) - [i8]Hyunsung Kim, Gun-Hee Joe, Jinsung Yoon, Sang-Ki Ko:
Contextual Sprint Classification in Soccer Based on Deep Learning. CoRR abs/2406.15659 (2024) - 2023
- [j25]Yo-Sub Han, Sang-Ki Ko, Kai Salomaa:
Deciding path size of nondeterministic (and input-driven) pushdown automata. Theor. Comput. Sci. 939: 170-181 (2023) - [j24]Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa:
On Simon's congruence closure of a string. Theor. Comput. Sci. 972: 114078 (2023) - [c44]Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa:
Existential and Universal Width of Alternating Finite Automata. DCFS 2023: 51-64 - [c43]Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa:
On the Simon's Congruence Neighborhood of Languages. DLT 2023: 168-181 - [c42]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: 7291-7306 - [c41]Su-Hyeon Kim
, Youngwook Kim
, Yo-Sub Han
, Hyeonseung Im
, Sang-Ki Ko
:
Automated Grading of Regular Expressions. ESOP 2023: 90-112 - [c40]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: 4296-4307 - [c39]Sicheol Sung, Sang-Ki Ko, Yo-Sub Han:
Smaller Representation of Compiled Regular Expressions. CIAA 2023: 290-301 - [i7]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 abs/2306.08206 (2023) - 2022
- [j23]Mingi Jeon, Jay Lee
, Sang-Ki Ko
:
Modular Reinforcement Learning for Playing the Game of Tron. IEEE Access 10: 63394-63402 (2022) - [j22]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: 103056-103064 (2022) - [c38]Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa:
On Simon's Congruence Closure of a String. DCFS 2022: 127-141 - [c37]Sungmin Kim, Sang-Ki Ko, Yo-Sub Han:
Simon's Congruence Pattern Matching. ISAAC 2022: 60:1-60:17 - [c36]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: 3146-3156 - [c35]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: 74-86 - [c34]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: 1554-1561 - [i6]Su-Hyeon Kim, Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko:
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting. CoRR abs/2205.11258 (2022) - 2021
- [j21]Yo-Sub Han, Sang-Ki Ko
, Timothy Ng, Kai Salomaa:
Consensus string problem for multiple regular languages. Inf. Comput. 279: 104615 (2021) - [j20]Sang-Ki Ko
, Reino Niskanen
, Igor Potapov:
Reachability problems in low-dimensional nondeterministic polynomial maps over integers. Inf. Comput. 281: 104785 (2021) - [j19]Sang-Ki Ko
, Yo-Sub Han, Kai Salomaa:
Generalizations of Code Languages with Marginal Errors. Int. J. Found. Comput. Sci. 32(5): 509-529 (2021) - [j18]Sang-Ki Ko
, Yo-Sub Han
:
Left is Better Than Right for Reducing Nondeterminism of NFAs. Int. J. Found. Comput. Sci. 32(5): 531-550 (2021) - [j17]Yo-Sub Han, Sang-Ki Ko
, Timothy Ng, Kai Salomaa:
Closest substring problems for regular languages. Theor. Comput. Sci. 862: 144-154 (2021) - [c33]Ju Hyoung Lee, Sang-Ki Ko, Yo-Sub Han:
SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction. AAAI 2021: 13189-13197 - [c32]Hyunjoon Cheon, Joonghyuk Hahn, Yo-Sub Han, Sang-Ki Ko
:
Most Pseudo-copy Languages Are Not Context-Free. COCOON 2021: 189-200 - [c31]HyeonTae Seo, Yo-Sub Han, Sang-Ki Ko:
MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning. EMNLP (Findings) 2021: 4850-4855 - [c30]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: 3-14 - [c29]Su-Hyeon Kim, Hyeonseung Im, Sang-Ki Ko
:
Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis. CIAA 2021: 65-76 - [e1]Yo-Sub Han
, Sang-Ki Ko
:
Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings. Lecture Notes in Computer Science 13037, Springer 2021, ISBN 978-3-030-93488-0 [contents] - [i5]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 abs/2109.04720 (2021)
2010 – 2019
- 2019
- [j16]Yo-Sub Han, Sang-Ki Ko
:
Alignment distance of regular tree languages. Theor. Comput. Sci. 787: 127-137 (2019) - [c28]Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity. DCFS 2019: 158-170 - [c27]Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
The Relative Edit-Distance Between Two Input-Driven Languages. DLT 2019: 127-139 - [c26]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: 6424-6430 - 2018
- [j15]Sang-Ki Ko
, Igor Potapov:
Vector Ambiguity and Freeness Problems in SL(2, ℤ). Fundam. Informaticae 162(2-3): 161-182 (2018) - [c25]Yo-Sub Han, Sang-Ki Ko
, Timothy Ng
, Kai Salomaa:
Closest Substring Problems for Regular Languages. DLT 2018: 392-403 - [c24]Sang-Ki Ko
, Reino Niskanen
, Igor Potapov:
Reachability Problems in Nondeterministic Polynomial Maps on the Integers. DLT 2018: 465-477 - [c23]Sang-Ki Ko
, Reino Niskanen
, Igor Potapov:
On the Identity Problem for the Special Linear Group and the Heisenberg Group. ICALP 2018: 132:1-132:15 - [c22]Sang-Ki Ko, Jae Gi Son, Hye Dong Jung:
Sign language recognition with recurrent neural network using human keypoint detection. RACS 2018: 326-328 - [i4]Sang-Ki Ko, Chang Jo Kim, Hyedong Jung, Choong Sang Cho:
Neural Sign Language Translation based on Human Keypoint Estimation. CoRR abs/1811.11436 (2018) - 2017
- [j14]Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
State Complexity of k-Parallel Tree Concatenation. Fundam. Informaticae 154(1-4): 185-199 (2017) - [j13]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: 67-78 (2017) - [c21]Yo-Sub Han, Sang-Ki Ko
, Timothy Ng
, Kai Salomaa:
Consensus String Problem for Multiple Regular Languages. LATA 2017: 196-207 - [c20]Sang-Ki Ko
, Igor Potapov:
Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). SOFSEM 2017: 268-279 - [c19]Yo-Sub Han, Sang-Ki Ko
:
Edit-Distance Between Visibly Pushdown Languages. SOFSEM 2017: 387-401 - [c18]Sang-Ki Ko
, Igor Potapov:
Vector Ambiguity and Freeness Problems in SL (2, ℤ). TAMC 2017: 373-388 - [c17]Yo-Sub Han, Sang-Ki Ko
:
Alignment Distance of Regular Tree Languages. CIAA 2017: 126-137 - [i3]Sang-Ki Ko, Reino Niskanen, Igor Potapov:
On the Identity Problem for the Special Linear Group and the Heisenberg Group. CoRR abs/1706.04166 (2017) - [i2]Sang-Ki Ko, Igor Potapov:
Composition problems for braids: Membership, Identity and Freeness. CoRR abs/1707.08389 (2017) - 2016
- [j12]Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
State complexity of deletion and bipolar deletion. Acta Informatica 53(1): 67-85 (2016) - [j11]Sang-Ki Ko
, Yo-Sub Han, Kai Salomaa:
Approximate matching between a context-free grammar and a finite-state automaton. Inf. Comput. 247: 278-289 (2016) - [j10]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): 705-724 (2016) - [j9]Yo-Sub Han, Sang-Ki Ko
, Timothy Ng
, Kai Salomaa:
State Complexity of Insertion. Int. J. Found. Comput. Sci. 27(7): 863-878 (2016) - [j8]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): 965-980 (2016) - [j7]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): 31-39 (2016) - [j6]Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
State complexity of inversion operations. Theor. Comput. Sci. 610: 2-12 (2016) - [c16]Guen-Hae Kim, Sang-Ki Ko
, Yo-Sub Han:
Inferring a Relax NG Schema from XML Documents. LATA 2016: 400-411 - [i1]Sang-Ki Ko, Igor Potapov:
Matrix Semigroup Freeness Problems in SL(2,Z). CoRR abs/1610.09834 (2016) - 2015
- [j5]Yo-Sub Han, Sang-Ki Ko
, Xiaoxue Piao, Kai Salomaa:
State Complexity of Kleene-Star Operations on Regular Tree Languages. Acta Cybern. 22(2): 403-422 (2015) - [c15]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: 220-230 - [c14]Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
Generalizations of Code Languages with Marginal Errors. DLT 2015: 264-275 - 2014
- [j4]Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko
:
Decidability of involution hypercodes. Theor. Comput. Sci. 550: 90-99 (2014) - [c13]Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
State Complexity of Inversion Operations. DCFS 2014: 102-113 - [c12]Sang-Ki Ko
, Ha-Rim Lee, Yo-Sub Han:
State Complexity of Regular Tree Languages for Tree Pattern Matching. DCFS 2014: 246-257 - [c11]Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
State Complexity of Deletion. Developments in Language Theory 2014: 37-48 - [c10]Sang-Ki Ko
, Yo-Sub Han, Kai Salomaa:
Top-Down Tree Edit-Distance of Regular Tree Languages. LATA 2014: 466-477 - [c9]Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko
, Kai Salomaa:
Pseudo-inversion on Formal Languages. UCNC 2014: 93-104 - [c8]Sang-Ki Ko
, Yo-Sub Han:
Left is Better than Right for Reducing Nondeterminism of NFAs. CIAA 2014: 238-251 - 2013
- [j3]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): 1067-1082 (2013) - [c7]Hae-Sung Eom, Yo-Sub Han, Sang-Ki Ko
:
State Complexity of Subtree-Free Regular Tree Languages. DCFS 2013: 66-77 - [c6]Yo-Sub Han, Sang-Ki Ko
, Kai Salomaa:
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton. CIAA 2013: 146-157 - 2012
- [j2]Sang-Min Choi, Sang-Ki Ko
, Yo-Sub Han:
A movie recommendation algorithm based on genre correlations. Expert Syst. Appl. 39(9): 8079-8085 (2012) - [j1]Yo-Sub Han, Sang-Ki Ko
:
Analysis of a cellular automaton model for car traffic with a junction. Theor. Comput. Sci. 450: 54-67 (2012) - [c5]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: 85-96 - [c4]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: 99:1-99:9 - 2011
- [c3]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: 558-566 - [c2]Bernhard Scholz, Sang-Min Choi, Sang-Ki Ko, Hae-Sung Eom, Yo-Sub Han:
Analyzing category correlations for recommendation system. ICUIMC 2011: 1 - [c1]Yo-Sub Han, Sang-Ki Ko
:
A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule. CIAA 2011: 154-165
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint