PUBLICATION

Journal


2017

Pseudoknot-Generating Operation
Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, To appear in Theoretical Computer Science (TCS)

Outfix-Guided Insertion
Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, To appear in Theoretical Computer Science (TCS)

State Complexity of Permutation on Finite Languages over a Binary Alphabet,
Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis and Kai Salomaa, Theoretical Computer Science (TCS), Vol. 682, 67-78, June 2017 [pdf]

2016

Duplications and Pseudo-Duplications,
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis and Kai Salomaa, In International Journal of Unconventional Computing (IJUC), Vol. 12(2-3), 145–167, May 2016 [pdf]

Pseudo-Inversion: Closure Properties and Decidability,
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko and Kai Salomaa, In Natural Computing, Vol. 15, 31–39, March 2016 [pdf]

State Complexity of Inversion Operations,
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko and Kai Salomaa, In Theoretical Computer Science (TCS), Vol. 610, 2–12, January 2016 [pdf]

2015

Alignment with Non-Overlapping Inversions and Translocations on Two Strings,
Da-Jung Cho, Yo-Sub Han and Hwee Kim, In Theoretical Computer Science (TCS), Vol. 575, 90–101, April 2015 [pdf]

2014

Decidability of Involution Hypercodes,
Da-Jung Cho, Yo-Sub Han and Sang-Ki Ko, In Theoretical Computer Science (TCS), Vol. 550, 90–99, September 2014 [pdf]

 

 

Conferences


2017

Deduplication on Finite Automata and Nested Duplication Systems,
Da-Jung Cho, Yo-Sub Han, Hwee Kim, In Proceedings of the 16th International Conference on Unconventional Computation & Natural Computation (UCNC’17), LNCS 10240, 194-205, 2017 [pdf]

2016

Outfix-Guided Insertion,
Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, In Proceedings of the 20th International Conference on Developments in Language Theory (DLT’16), LNCS 9840, 102–113, 2016 [pdf]

Pseudoknot-Generating Operation,
Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa, In Proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’16), LNCS 9587, 241–252, 2016 [pdf]

2015

Duplications and Pseudo-Duplications,
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa, In Proceedings of Unconventional Computation & Natural Computation (UCNC’15), LNCS 9252, 157–168, 2015 [pdf]

The State Complexity of Permutations on Finite Languages over Binary Alphabets,
Alexandros Palioudakis, Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa, In Proceedings of the 17th International Workshop on Descriptional Complexity of Formal Systems (DCFS’15), LNCS 8977, 121–132, 2015 [pdf]

Frequent Pattern Mining with Non-overlapping Inversions,
Da-Jung Cho, Yo-Sub Han, Hwee Kim, In Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA’15), LNCS 9118, 220–230, 2015 [pdf]

2014

State Complexity of Inversion Operations,
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa, In Proceedings of the 16th International Workshop on Descriptional Complexity of Formal Systems (DCFS’14), LNCS 8614, 102–113, 2014 [pdf]

Pseudo-Inversion on Formal Languages,
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa, In Proceedings of Unconventional Computation & Natural Computation (UCNC’14), LNCS 8553, 93–104, 2014 [BEST PAPER] [pdf]

Alignment with Non-Overlapping Inversions on Two Strings,
Da-Jung Cho, Yo-Sub Han, Hwee Kim, In Proceedings of the 8th International Workshop on Algorithms and Computation (WALCOM’14), LNCS 8344 261–272, 2014 [pdf]

Click here for DBLP: Da-Jung Cho  🙂

 

Patents


 

Apparatus and Method for Determining if Site-Directed Deletion is Possible, Yo-Sub Han, Da-Jung Cho, Hwee Kim, 2017.06.15, 10-2017-0075890 (domestic)

Method for Creating Automata for Determination of Nested-Duplication, Yo-Sub Han, Da-Jung Cho, Hwee kim 2017.05.29, 10-2017-0066232 (domestic)

Device and Method for Determining Pseudoknot Structure of Biological Sequence, Yo-Sub Han, Da-Jung Cho, 2016.01.21, 10-2016-0007615 (domestic)

Method and Device for Mining Pattern on Inversion of Biological Sequence, Yo-Sub Han, Hwee Kim, Da-Jung Cho, 2016.06.28, 10-1636202 (domestic)

Da-Jung Cho