Pseudo-inversion on Formal Languages. - Da-Jung Cho; Yo-Sub Han; Shin-Dong Kang; Hwee Kim; Sang-Ki Ko; Kai Salomaa (UCNC, 2014)

Alignment with Non-overlapping Inversions on Two Strings. - Da-Jung Cho; Yo-Sub Han; Hwee Kim (WALCOM, 2014)

Decidability of involution hypercodes. - Da-Jung Cho; Yo-Sub Han; Sang-Ki Ko (Theor. Comput. Sci., 2014)

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 (DCFS, 2015)

Frequent Pattern Mining with Non-overlapping Inversions. - Da-Jung Cho; Yo-Sub Han; Hwee Kim (LATA, 2015)

Alignment with non-overlapping inversions and translocations on two strings. - Da-Jung Cho; Yo-Sub Han; Hwee Kim (Theor. Comput. Sci., 2015)

Outfix-Guided Insertion - (Extended Abstract). - Da-Jung Cho; Yo-Sub Han; Timothy Ng 001; Kai Salomaa (DLT, 2016)

Duplications and Pseudo-Duplications. - Da-Jung Cho; Yo-Sub Han; Hwee Kim; Alexandros Palioudakis; Kai Salomaa (Int. J. Unconv. Comput., 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)

State complexity of inversion operations. - Da-Jung Cho; Yo-Sub Han; Sang-Ki Ko; Kai Salomaa (Theor. Comput. Sci., 2016)

Deduplication on Finite Automata and Nested Duplication Systems. - Da-Jung Cho; Yo-Sub Han; Hwee Kim (UCNC, 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)

Pseudoknot-generating operation. - Da-Jung Cho; Yo-Sub Han; Timothy Ng 001; Kai Salomaa (Theor. Comput. Sci., 2017)

Outfix-guided insertion. - Da-Jung Cho; Yo-Sub Han; Timothy Ng 001; Kai Salomaa (Theor. Comput. Sci., 2017)

Site-Directed Insertion: Decision Problems, Maximality and Minimality. - Da-Jung Cho; Yo-Sub Han; Kai Salomaa; Taylor J. Smith (DCFS, 2018)

Site-Directed Deletion. - Da-Jung Cho; Yo-Sub Han; Hwee Kim; Kai Salomaa (DLT, 2018)

Bound-decreasing duplication system. - Da-Jung Cho; Yo-Sub Han; Hwee Kim (Theor. Comput. Sci., 2019)

Site-directed insertion: Language equations and decision problems. - Da-Jung Cho; Yo-Sub Han; Kai Salomaa; Taylor J. Smith (Theor. Comput. Sci., 2019)

Distributed computation with continual population growth. - Da-Jung Cho; Matthias Függer; Corbin Hopper; Manish Kushwaha; Thomas Nowak; Quentin Soubeyran (Distributed Comput., 2022)

A Comparative Analysis of Deletion Closure Operations and Their Properties. - Da-Jung Cho; Tikhon Pshenitsyn (DLT, 2025)

Programmable Co‑Transcriptional Splicing: Realizing Regular Languages via Hairpin Deletion. - Da-Jung Cho; Szilárd Zsolt Fazekas; Shinnosuke Seki 001; Max Wiedenhöft (DNA, 2025)

Unsupervised Sentence Representation Learning with Syntactically Aligned Negative Samples. - Zhilan Wang; Zekai Zhi; Rize Jin; Kehui Song; He Wang; Da-Jung Cho (NAACL (Findings), 2025)

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages. - Da-Jung Cho; Szilárd Zsolt Fazekas; Shinnosuke Seki 001; Max Wiedenhöft (CoRR, 2025)