Da-Jung Cho

34 papers A 1B 4C 4Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2025 C conf
A Comparative Analysis of Deletion Closure Operations and Their Properties.
DLT
Da-Jung Cho, Tikhon Pshenitsyn
2025 J jnl
A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages.
CoRR
Da-Jung Cho, Szilárd Zsolt Fazekas, Shinnosuke Seki, Max Wiedenhöft
2025 J jnl
A formalization of co-transcriptional splicing as an operation on formal languages.
Nat. Comput.
Da-Jung Cho, Szilárd Zsolt Fazekas, Shinnosuke Seki, Max Wiedenhöft
2025 B conf
MaCSE: Multi-Agent Ranking Distillation for Contrastive Learning of Sentence Embeddings.
IJCNN
Zekai Zhi, Zhilan Wang, Rize Jin, Kehui Song, Da-Jung Cho, He Wang
2025 J jnl
Programmable Co-Transcriptional Splicing: Realizing Regular Languages via Hairpin Deletion.
CoRR
Da-Jung Cho, Szilárd Zsolt Fazekas, Shinnosuke Seki, Max Wiedenhöft
2025 B conf
Programmable Co‑Transcriptional Splicing: Realizing Regular Languages via Hairpin Deletion.
DNA
Da-Jung Cho, Szilárd Zsolt Fazekas, Shinnosuke Seki, Max Wiedenhöft
2025 — conf
Unsupervised Sentence Representation Learning with Syntactically Aligned Negative Samples.
NAACL (Findings)
Zhilan Wang, Zekai Zhi, Rize Jin, Kehui Song, He Wang, Da-Jung Cho
2024 — ed.
Unconventional Computation and Natural Computation - 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings
UCNC
Da-Jung Cho, Jongmin Kim
2022 J jnl
Distributed computation with continual population growth.
Distributed Comput.
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
2020 A conf
Distributed Computation with Continual Population Growth.
DISC
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
2020 J jnl
Distributed Computation with Continual Population Growth.
CoRR
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
2019 J jnl
Bound-decreasing duplication system.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2019 J jnl
Site-directed insertion: Language equations and decision problems.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
2018 C conf
Site-Directed Deletion.
DLT
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa
2018 — conf
Site-Directed Insertion: Decision Problems, Maximality and Minimality.
DCFS
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
2018 J jnl
Site-Directed Insertion: Decision Problems, Maximality and Minimality.
CoRR
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
2017 — conf
Deduplication on Finite Automata and Nested Duplication Systems.
UCNC
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2017 J jnl
Outfix-guided insertion.
CoRR
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2017 J jnl
Outfix-guided insertion.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2017 J jnl
Pseudoknot-generating operation.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2017 J jnl
State complexity of permutation on finite languages over a binary alphabet.
Theor. Comput. Sci.
Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis, Kai Salomaa
2016 J jnl
Duplications and Pseudo-Duplications.
Int. J. Unconv. Comput.
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa
2016 C conf
Outfix-Guided Insertion - (Extended Abstract).
DLT
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2016 J jnl
Pseudo-inversion: closure properties and decidability.
Nat. Comput.
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
2016 B conf
Pseudoknot-Generating Operation.
SOFSEM
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
2016 J jnl
State complexity of inversion operations.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2015 J jnl
Alignment with non-overlapping inversions and translocations on two strings.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2015 — conf
Duplications and Pseudo-Duplications.
UCNC
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa
2015 C conf
Frequent Pattern Mining with Non-overlapping Inversions.
LATA
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2015 — conf
The State Complexity of Permutations on Finite Languages over Binary Alphabets.
DCFS
Alexandros Palioudakis, Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
2014 B conf
Alignment with Non-overlapping Inversions on Two Strings.
WALCOM
Da-Jung Cho, Yo-Sub Han, Hwee Kim
2014 J jnl
Decidability of involution hypercodes.
Theor. Comput. Sci.
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko
2014 — conf
Pseudo-inversion on Formal Languages.
UCNC
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
2014 — conf
State Complexity of Inversion Operations.
DCFS
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa