Browse by People

Han, Yo-Sub and Ko, Sang-Ki (2017) Alignment Distance of Regular Tree Languages. .

Ko, Sang-Ki and Potapov, Igor (2017) Composition problems for braids: Membership, Identity and Freeness. [Internet Publication]

Han, Yo-Sub, Ko, Sang-Ki, Ng, Timothy and Salomaa, Kai (2017) Consensus String Problem for Multiple Regular Languages. .

Han, Yo-Sub and Ko, Sang-Ki (2017) Edit-Distance Between Visibly Pushdown Languages. .

Ko, Sang-Ki and Potapov, Igor (2016) Matrix Semigroup Freeness Problems in $\mathrm{SL}(2,\mathbb{Z})$. .

Ko, Sang-Ki and Potapov, Igor (2017) Matrix Semigroup Freeness Problems in SL(2, Z). In: 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2017), 2017-1-16 - 2017-1-20, Lero – Limerick, Ireland.

Ko, Sang-Ki, Niskanen, Reino ORCID: 0000-0002-2210-1481 and Potapov, Igor (2017) On the Identity Problem for the Special Linear Group and the Heisenberg Group. [Internet Publication]

Ko, Sang-Ki, Niskanen, Reino and Potapov, Igor (2018) On the Identity Problem for the Special Linear Group and the Heisenberg Group. In: International Colloquium on Automata, Languages, and Programming (ICALP), 2018-7-9 - 2018-7-13, Prague, Czech Republic.

Ko, Sang-Ki, Niskanen, Reino ORCID: 0000-0002-2210-1481 and Potapov, Igor (2018) Reachability Problems in Nondeterministic Polynomial Maps on the Integers. In: 22nd International Conference on Developments in Language Theory (DLT 2018), 2018-9-10 - 2018-9-14, Tokyo, Japan.

Ko, Sang-Ki, Lee, Ha-Rim and Han, Yo-Sub (2016) State Complexity of Regular Tree Languages for Tree Matching. International Journal of Foundations of Computer Science, 27 (08). pp. 965-979.

Cho, Da-Jung, Goč, Daniel ORCID: 0000-0002-8265-4918, Han, Yo-Sub, Ko, Sang-Ki, Palioudakis, Alexandros ORCID: 0000-0003-3181-6072 and Salomaa, Kai (2017) State complexity of permutation on finite languages over a binary alphabet. Theoretical Computer Science, 682. pp. 67-78.

Ko, Sang-Ki and Potapov, Igor (2018) Vector Ambiguity and Freeness Problems in SL(2, Z). FUNDAMENTA INFORMATICAE, 162 (2-3). pp. 161-182.