• 759 Citations
  • 14 h-Index
20052020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2020

Computing the Shortest String and the Edit-Distance for Parsing Expression Languages

Cheon, H. & Han, Y. S., 2020, Developments in Language Theory - 24th International Conference, DLT 2020, Proceedings. Jonoska, N. & Savchuk, D. (eds.). Springer, p. 43-54 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12086 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Incremental computation of infix probabilities for probabilistic finite automata

Cognetta, M., Han, Y. S. & Kwon, S. C., 2020 Jan 1, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018. Riloff, E., Chiang, D., Hockenmaier, J. & Tsujii, J. (eds.). Association for Computational Linguistics, p. 2732-2741 10 p. (Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Online infix probability computation for probabilistic finite automata

Cognetta, M., Han, Y. S. & Kwon, S. C., 2020, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 5332-5337 6 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Softregex: Generating regex from natural language descriptions using softened regex equivalence

Park, J. U., Ko, S. K., Cognetta, M. & Han, Y. S., 2020, EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics, p. 6425-6431 7 p. (EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Transcript design problem of oritatami systems

Han, Y. S., Kim, H. & Seki, S., 2020 Jun 1, In : Natural Computing. 19, 2, p. 323-335 13 p.

Research output: Contribution to journalArticle

2019

A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata

Han, Y. S., Kim, H., Masuda, Y. & Seki, S., 2019 Jan 1, Implementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings. Hospodár, M. & Jirásková, G. (eds.). Springer Verlag, p. 146-157 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11601 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Alignment distance of regular tree languages

Han, Y. S. & Ko, S. K., 2019 Oct 1, In : Theoretical Computer Science. 787, p. 127-137 11 p.

Research output: Contribution to journalArticle

Bound-decreasing duplication system

Cho, D. J., Han, Y. S. & Kim, H., 2019 Nov 12, In : Theoretical Computer Science. 793, p. 152-168 17 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

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

Han, Y. S., Ko, S. K. & Salomaa, K., 2019 Jan 1, Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Proceedings. Hospodár, M., Jirásková, G. & Konstantinidis, S. (eds.). Springer Verlag, p. 158-170 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11612 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ruleset optimization on isomorphic oritatami systems

Han, Y. S. & Kim, H., 2019 Sep 20, In : Theoretical Computer Science. 785, p. 128-139 12 p.

Research output: Contribution to journalArticle

Self-Attraction Removal from Oritatami Systems

Han, Y. S., Kim, H., Rogers, T. A. & Seki, S., 2019 Sep 1, In : International Journal of Foundations of Computer Science. 30, 6-7, p. 1047-1067 21 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Site-directed insertion: Language equations and decision problems

Cho, D. J., Han, Y. S., Salomaa, K. & Smith, T. J., 2019 Dec 17, In : Theoretical Computer Science. 798, p. 40-51 12 p.

Research output: Contribution to journalArticle

The relative edit-distance between two input-driven languages

Cheon, H., Han, Y. S., Ko, S. K. & Salomaa, K., 2019 Jan 1, Developments in Language Theory - 23rd International Conference, DLT 2019, Proceedings. Hofman, P. & Skrzypczak, M. (eds.). Springer Verlag, p. 127-139 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11647 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2018

An abusive text detection system based on enhanced abusive and non-abusive word lists

Lee, H. S., Lee, H. R., Park, J. U. & Han, Y. S., 2018 Sep, In : Decision Support Systems. 113, p. 22-31 10 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

An Efficient Video Series Decision Algorithm Based on Actor-Face Recognition

Lee, H. R., Kim, H., Han, Y. S., Seo, Y. & Im, D. H., 2018 Sep 25, 2018 International Conference on Platform Technology and Service, PlatCon 2018. Institute of Electrical and Electronics Engineers Inc., 8472744. (2018 International Conference on Platform Technology and Service, PlatCon 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Closest Substring Problems for Regular Languages

Han, Y. S., Ko, S. K., Ng, T. & Salomaa, K., 2018 Jan 1, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (eds.). Springer Verlag, p. 392-403 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11088 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Construction of geometric structure by oritatami system

Han, Y. S. & Kim, H., 2018 Jan 1, DNA Computing and Molecular Programming - 24th International Conference, DNA 24, 2018, Proceedings. Doty, D. & Dietz, H. (eds.). Springer Verlag, p. 173-188 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11145 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Growth rate of minimum branching

Palioudakis, A., Han, Y. S. & Salomaa, K., 2018 Jan 1, In : Journal of Automata, Languages and Combinatorics. 23, 1-3, p. 281-292 12 p.

Research output: Contribution to journalArticle

Nondeterministic seedless oritatami systems and hardness of testing their equivalence

Han, Y. S., Kim, H., Ota, M. & Seki, S., 2018 Mar 1, In : Natural Computing. 17, 1, p. 67-79 13 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

Online stochastic pattern matching

Cognetta, M. & Han, Y. S., 2018 Jan 1, Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Proceedings. Campeanu, C. (ed.). Springer Verlag, p. 121-132 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10977 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Site-Directed Deletion

Cho, D. J., Han, Y. S., Kim, H. & Salomaa, K., 2018 Jan 1, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (eds.). Springer Verlag, p. 219-230 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11088 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Site-directed insertion: Decision problems, maximality and minimality

Cho, D. J., Han, Y. S., Salomaa, K. & Smith, T. J., 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Konstantinidis, S. & Pighizzini, G. (eds.). Springer Verlag, p. 49-61 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10952 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Transcript design problem of oritatami systems

Han, Y. S., Kim, H. & Seki, S., 2018 Jan 1, DNA Computing and Molecular Programming - 24th International Conference, DNA 24, 2018, Proceedings. Doty, D. & Dietz, H. (eds.). Springer Verlag, p. 139-154 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11145 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2017

Alignment distance of regular tree languages

Han, Y. S. & Ko, S. K., 2017 Jan 1, Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Proceedings. Carayol, A. & Nicaud, C. (eds.). Springer Verlag, p. 126-137 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10329 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ambiguity, nondeterminism and state complexity of finite automata

Han, Y. S., Salomaa, A. & Salomaa, K., 2017 Jan 1, In : Acta Cybernetica. 23, 1, p. 141-157 17 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

Consensus string problem for multiple regular languages

Han, Y. S., Ko, S. K., Ng, T. & Salomaa, K., 2017 Jan 1, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Drewes, F., Martín-Vide, C. & Truthe, B. (eds.). Springer Verlag, p. 196-207 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Critical care admission following elective surgery was not associated with survival benefit: prospective analysis of data from 27 countries

Kahan, B. C., Koulenti, D., Arvaniti, K., Beavis, V., Campbell, D., Chan, M., Moreno, R., Pearse, R. M., Pearse, R. M., Beattie, S., Clavien, P-A., Demartines, N., Fleisher, L. A., Grocott, M., Haddow, J., Hoeft, A., Holt, P., Moreno, R., Pritchard, N., Rhodes, A. & 30 others, Wijeysundera, D., Wilson, M., Ahmed, T., Everingham, K., Hewson, R., Januszewska, M., Pearse, R. M., Phull, M-K., Lee, E., Choi, S., Chen, C., Han, Y., Yang, S., Han, K., Chen, C., Chu, S., Chung, C. K. E., Lee, C., Lee, Y. C., Lee, H. S., Lee, J. M., Choi, H-MD., Kim, C. J., Kim, S., Park, K., Chang, Y. H., Chang, J., Lee, C., Lee, G. & Kim, T., 2017, In : Intensive Care Medicine. 43, 7

Research output: Contribution to journalArticle

61 Citations (Scopus)

Deduplication on finite automata and nested duplication systems

Cho, D. J., Han, Y. S. & Kim, H., 2017 Jan 1, Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Proceedings. Patitz, M. J. & Stannett, M. (eds.). Springer Verlag, p. 194-205 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10240 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Edit-distance between visibly pushdown languages

Han, Y. S. & Ko, S. K., 2017 Jan 1, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 387-401 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10139 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Outfix-guided insertion

Cho, D. J., Han, Y. S., Ng, T. & Salomaa, K., 2017 Nov 21, In : Theoretical Computer Science. 701, p. 70-84 15 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Preface

Han, Y. S. & Salomaa, K., 2017 Aug 1, In : International Journal of Foundations of Computer Science. 28, 5, p. 437-439 3 p.

Research output: Contribution to journalEditorial

Pseudoknot-generating operation

Cho, D. J., Han, Y. S., Ng, T. & Salomaa, K., 2017 Oct 5, In : Theoretical Computer Science. 696, p. 52-64 13 p.

Research output: Contribution to journalArticle

Ruleset optimization on isomorphic oritatami systems

Han, Y. S. & Kim, H., 2017 Jan 1, DNA Computing and Molecular Programming - 23rd International Conference, DNA 23, Proceedings. Brijder, R. & Qian, L. (eds.). Springer Verlag, p. 33-45 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10467 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Self-attraction removal from oritatami systems

Han, Y. S., Kim, H., Rogers, T. A. & Seki, S., 2017 Jan 1, Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings. Pighizzini, G. & Campeanu, C. (eds.). Springer Verlag, p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10316 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

State complexity of k-parallel tree concatenation

Han, Y. S., Ko, S. K. & Salomaa, K., 2017 Jan 1, In : Fundamenta Informaticae. 154, 1-4, p. 185-199 15 p.

Research output: Contribution to journalArticle

State complexity of permutation on finite languages over a binary alphabet

Cho, D. J., Goč, D., Han, Y. S., Ko, S. K., Palioudakis, A. & Salomaa, K., 2017 Jun 19, In : Theoretical Computer Science. 682, p. 67-78 12 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Template-based pattern matching in two-dimensional arrays

Han, Y. S. & Průša, D., 2017 Jan 1, Combinatorial Image Analysis - 18th International Workshop, IWCIA 2017, Proceedings. Barneva, R. P., Brimkov, V. E. & Brimkov, V. E. (eds.). Springer Verlag, p. 79-92 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10256 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
2016

Approximate matching between a context-free grammar and a finite-state automaton

Ko, S. K., Han, Y. S. & Salomaa, K., 2016 Apr 1, In : Information and Computation. 247, p. 278-289 12 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Duplications and pseudo-duplications

Cho, D. J., Han, Y. S., Kim, H., Palioudakis, A. & Salomaa, K., 2016 Jan 1, In : International Journal of Unconventional Computing. 12, 2-3, p. 145-167 23 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Inferring a relax NG schema from XML documents

Kim, G. H., Ko, S. K. & Han, Y. S., 2016 Jan 1, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Proceedings. Truthe, B., Janoušek, J., Dediu, A-H. & Martín-Vide, C. (eds.). Springer Verlag, p. 400-411 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9618).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Nondeterministic seedless oritatami systems and hardness of testing their equivalence

Han, Y. S., Kim, H., Ota, M. & Seki, S., 2016 Jan 1, DNA Computing and Molecular Programming - 22nd International Conference, DNA 2016, Proceedings. Rondelez, Y. & Woods, D. (eds.). Springer Verlag, p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9818 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

OMPPM: Online multiple palindrome pattern matching

Kim, H. & Han, Y. S., 2016 Apr 15, In : Bioinformatics. 32, 8, p. 1151-1157 7 p.

Research output: Contribution to journalArticle

Operational State Complexity of Subtree-Free Regular Tree Languages

Ko, S. K., Eom, H. S. & Han, Y. S., 2016 Sep 1, In : International Journal of Foundations of Computer Science. 27, 6, p. 705-724 20 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Outfix-guided insertion

Cho, D. J., Han, Y. S., Ng, T. & Salomaa, K., 2016 Jan 1, Developments in Language Theory - 20th International Conference, DLT 2016, Proceedings. Reutenauer, C. & Brlek, S. (eds.). Springer Verlag, p. 102-113 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9840).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Preface

Han, Y. S. & Salomaa, K., 2016 Jan 1, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9705, p. V-VI

Research output: Contribution to journalEditorial

Pseudo-inversion: closure properties and decidability

Cho, D. J., Han, Y. S., Kang, S. D., Kim, H., Ko, S. K. & Salomaa, K., 2016 Mar 1, In : Natural Computing. 15, 1, p. 31-39 9 p.

Research output: Contribution to journalArticle

Pseudoknot-generating operation

Cho, D. J., Han, Y. S., Ng, T. & Salomaa, K., 2016 Jan 1, SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Freivalds, R. M., Engels, G. & Catania, B. (eds.). Springer Verlag, p. 241-252 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9587).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

State Complexity of Basic Operations on Non-Returning Regular Languages

Eom, H. S., Han, Y. S. & Jirásková, G., 2016 Mar 4, In : Fundamenta Informaticae. 144, 2, p. 161-182 22 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

State complexity of deletion and bipolar deletion

Han, Y. S., Ko, S. K. & Salomaa, K., 2016 Feb 1, In : Acta Informatica. 53, 1, p. 67-85 19 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

State complexity of insertion

Han, Y. S., Ko, S. K., Ng, T. & Salomaa, K., 2016 Nov 1, In : International Journal of Foundations of Computer Science. 27, 7, p. 863-878 16 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)