7 citations · 7 across the 4 of their papers we have counts for
6 papers
Deterministic Bandwidth of Finite Languages
Da-Jung Cho, Szilárd Zsolt Fazekas, Max Wiedenhöft
Bandwidth restricts how far transitions can move under an ordering of the states in an automaton. While every finite language admits a bandwidth-2 NFA representation, the determini…
Bandwidth of Nondeterministic Finite Automata
Da-Jung Cho, Szilárd Zsolt Fazekas, Daihei Ise +3
Co-transcriptional splicing generates RNA sequences from a DNA template by deleting subsequences nondeterministically. Recent work showed how to encode an NFA into such a template,…
Symplectic Criteria on Stratified Uniruledness of Affine Varieties and Applications
Dahye Cho
We develop criteria for affine varieties to admit uniruled subvarieties of certain dimensions. The measurements are from long exact sequences of versions of symplectic cohomology,…
Distributed Computation with Continual Population Growth
Da-Jung Cho, Matthias Függer, Corbin Hopper +3
Computing with synthetically engineered bacteria is a vibrant and active field with numerous applications in bio-production, bio-sensing, and medicine. Motivated by the lack of rob…
Site-Directed Insertion: Decision Problems, Maximality and Minimality
Da-Jung Cho, Yo-Sub Han, Kai Salomaa +1
Site-directed insertion is an overlapping insertion operation that can be viewed as analogous to the overlap assembly or chop operations that concatenate strings by overlapping a s…
Outfix-guided insertion
Da-Jung Cho, Yo-Sub Han, Timothy Ng +1
Motivated by work on bio-operations on DNA strings, we consider an outfix-guided insertion operation that can be viewed as a generalization of the overlap assembly operation on str…