Da-Jung Cho

According to our database, Da-Jung Cho authored at least 22 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages.

Da-Jung Cho, Szilárd Zsolt Fazekas, Shinnosuke Seki, Max Wiedenhöft

CoRR, April, 2025

Unsupervised Sentence Representation Learning with Syntactically Aligned Negative Samples.

Zhilan Wang, Zekai Zhi, Rize Jin, Kehui Song, He Wang, Da-Jung Cho

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2025, Albuquerque, New Mexico, USA, April 29, 2025

Programmable Co‑Transcriptional Splicing: Realizing Regular Languages via Hairpin Deletion.

Da-Jung Cho, Szilárd Zsolt Fazekas, Shinnosuke Seki, Max Wiedenhöft

Proceedings of the 31st International Conference on DNA Computing and Molecular Programming, 2025

2022

Distributed computation with continual population growth.

Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran

Distributed Comput., 2022

2019

Site-directed insertion: Language equations and decision problems.

Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith

Theor. Comput. Sci., 2019

Bound-decreasing duplication system.

Da-Jung Cho, Yo-Sub Han, Hwee Kim

Theor. Comput. Sci., 2019

2018

Site-Directed Deletion.

Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

Site-Directed Insertion: Decision Problems, Maximality and Minimality.

Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith

Proceedings of the Descriptional Complexity of Formal Systems, 2018

2017

Outfix-guided insertion.

Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa

Theor. Comput. Sci., 2017

Pseudoknot-generating operation.

Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa

Theor. Comput. Sci., 2017

State complexity of permutation on finite languages over a binary alphabet.

Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis, Kai Salomaa

Theor. Comput. Sci., 2017

Deduplication on Finite Automata and Nested Duplication Systems.

Da-Jung Cho, Yo-Sub Han, Hwee Kim

Proceedings of the Unconventional Computation and Natural Computation, 2017

2016

State complexity of inversion operations.

Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

Theor. Comput. Sci., 2016

Pseudo-inversion: closure properties and decidability.

Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa

Nat. Comput., 2016

Duplications and Pseudo-Duplications.

Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa

Int. J. Unconv. Comput., 2016

Outfix-Guided Insertion - (Extended Abstract).

Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Alignment with non-overlapping inversions and translocations on two strings.

Da-Jung Cho, Yo-Sub Han, Hwee Kim

Theor. Comput. Sci., 2015

Frequent Pattern Mining with Non-overlapping Inversions.

Da-Jung Cho, Yo-Sub Han, Hwee Kim

Proceedings of the Language and Automata Theory and Applications, 2015

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

Proceedings of the Descriptional Complexity of Formal Systems, 2015

2014

Decidability of involution hypercodes.

Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko

Theor. Comput. Sci., 2014

Alignment with Non-overlapping Inversions on Two Strings.

Da-Jung Cho, Yo-Sub Han, Hwee Kim

Proceedings of the Algorithms and Computation - 8th International Workshop, 2014

Pseudo-inversion on Formal Languages.

Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa

Proceedings of the Unconventional Computation and Natural Computation, 2014