Da-Jung Cho

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 22

Top Topics

Decision Problems

Finite Automata

Distributed Computation

Top Venues

Theor. Comput. Sci.

Publications

Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
Distributed computation with continual population growth. Distributed Comput. 35 (6) (2022)
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
Distributed Computation with Continual Population Growth. DISC (2020)
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
Distributed Computation with Continual Population Growth. CoRR (2020)
Da-Jung Cho, Yo-Sub Han, Hwee Kim
Bound-decreasing duplication system. Theor. Comput. Sci. 793 (2019)
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
Site-directed insertion: Language equations and decision problems. Theor. Comput. Sci. 798 (2019)
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
Site-Directed Insertion: Decision Problems, Maximality and Minimality. CoRR (2018)
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
Site-Directed Insertion: Decision Problems, Maximality and Minimality. DCFS (2018)
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa
Site-Directed Deletion. DLT (2018)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Outfix-guided insertion. Theor. Comput. Sci. 701 (2017)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Pseudoknot-generating operation. Theor. Comput. Sci. 696 (2017)
Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis, Kai Salomaa
State complexity of permutation on finite languages over a binary alphabet. Theor. Comput. Sci. 682 (2017)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Outfix-guided insertion. CoRR (2017)
Da-Jung Cho, Yo-Sub Han, Hwee Kim
Deduplication on Finite Automata and Nested Duplication Systems. UCNC (2017)
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
Pseudo-inversion: closure properties and decidability. Nat. Comput. 15 (1) (2016)
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State complexity of inversion operations. Theor. Comput. Sci. 610 (2016)
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa
Duplications and Pseudo-Duplications. Int. J. Unconv. Comput. 12 (2-3) (2016)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Outfix-Guided Insertion - (Extended Abstract). DLT (2016)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Pseudoknot-Generating Operation. SOFSEM (2016)
Alexandros Palioudakis, Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
The State Complexity of Permutations on Finite Languages over Binary Alphabets. DCFS (2015)
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa
Duplications and Pseudo-Duplications. UCNC (2015)
Da-Jung Cho, Yo-Sub Han, Hwee Kim
Frequent Pattern Mining with Non-overlapping Inversions. LATA (2015)
Da-Jung Cho, Yo-Sub Han, Hwee Kim
Alignment with non-overlapping inversions and translocations on two strings. Theor. Comput. Sci. 575 (2015)
Da-Jung Cho, Yo-Sub Han, Hwee Kim
Alignment with Non-overlapping Inversions on Two Strings. WALCOM (2014)
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko
Decidability of involution hypercodes. Theor. Comput. Sci. 550 (2014)
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State Complexity of Inversion Operations. DCFS (2014)
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
Pseudo-inversion on Formal Languages. UCNC (2014)