Shinnosuke Seki

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 38

Top Venues

CoRR

Nat. Comput.

Theor. Comput. Sci.

Int. J. Found. Comput. Sci.

Publications

Szilárd Zsolt Fazekas, Naoya Iwano, Yu Kihara, Ryuichi Matsuoka, Shinnosuke Seki, Hinano Takeuchi
Towards composable computations by RNA co-transcriptional folding: A proof-of-concept demonstration of nested loops in oritatami. Theor. Comput. Sci. 999 (2024)
Yu Kihara, Shinnosuke Seki
Programmable single-stranded architectures for computing. Nat. Comput. 22 (3) (2023)
Szilárd Zsolt Fazekas, Shinnosuke Seki
Freezing 1-Tag Systems with States. AFL (2023)
Shin-ya Nishizaki, Shinnosuke Seki
-th Birthday Special Issue. New Gener. Comput. 40 (2) (2022)
Daria Pchelina, Nicolas Schabanel, Shinnosuke Seki, Guillaume Theyssier
Oritatami Systems Assemble Shapes No Less Complex Than Tile Assembly Model (ATAM). STACS (2022)
Szilárd Zsolt Fazekas, Hwee Kim, Ryuichi Matsuoka, Shinnosuke Seki, Hinano Takeuchi
On Algorithmic Self-Assembly of Squares by Co-Transcriptional Folding. ISAAC (2022)
Ian McQuillan, Shinnosuke Seki
Preface. Nat. Comput. 20 (2) (2021)
Szilárd Zsolt Fazekas, Hwee Kim, Ryuichi Matsuoka, Reoto Morita, Shinnosuke Seki
Linear Bounds on the Size of Conformations in Greedy Deterministic Oritatami. Int. J. Found. Comput. Sci. 32 (5) (2021)
Szilárd Zsolt Fazekas, Shinnosuke Seki
Square network on a word. Theor. Comput. Sci. 894 (2021)
Kohei Maruyama, Shinnosuke Seki
Counting infinitely by oritatami co-transcriptional folding. Nat. Comput. 20 (2) (2021)
Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki
A general architecture of oritatami systems for simulating arbitrary finite automata. Theor. Comput. Sci. 870 (2021)
Kohei Maruyama, Shinnosuke Seki
Counting Infinitely by Oritatami Co-transcriptional Folding. SOFSEM (2020)
Shinnosuke Seki
Special Issue Developments in Language Theory 2018 - Preface. Int. J. Found. Comput. Sci. 31 (6) (2020)
Daria Pchelina, Nicolas Schabanel, Shinnosuke Seki, Yuki Ubukata
Simple Intrinsic Simulation of Cellular Automata in Oritatami Molecular Folding Model. LATIN (2020)
Yo-Sub Han, Hwee Kim, Shinnosuke Seki
Transcript design problem of oritatami systems. Nat. Comput. 19 (2) (2020)
Masayuki Numao, Yutaka Matsuo, Shinnosuke Seki
Renewal of the Major Fields of New Generation Computing Vol. 38 (2020). New Gener. Comput. 38 (1) (2020)
Shinnosuke Seki
Single-Stranded Architectures for Computing. DLT (2019)
Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki
A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata. CIAA (2019)
Yo-Sub Han, Hwee Kim, Yusei Masuda, Shinnosuke Seki
A general architecture of oritatami systems for simulating arbitrary finite automata. CoRR (2019)
Szilárd Zsolt Fazekas, Kohei Maruyama, Reoto Morita, Shinnosuke Seki
On the Power of Oritatami Cotranscriptional Folding with Unary Bead Sequence. TAMC (2019)
Yo-Sub Han, Hwee Kim, Trent A. Rogers, Shinnosuke Seki
Self-Attraction Removal from Oritatami Systems. Int. J. Found. Comput. Sci. 30 (6-7) (2019)
Cody W. Geary, Pierre-Étienne Meunier, Nicolas Schabanel, Shinnosuke Seki
Proving the Turing Universality of Oritatami Co-Transcriptional Folding. ISAAC (2018)
Erik D. Demaine, Jacob Hendricks, Meagan Olsen, Matthew J. Patitz, Trent A. Rogers, Nicolas Schabanel, Shinnosuke Seki, Hadley Thomas
Know When to Fold 'Em: Self-Assembly of Shapes by Folding in Oritatami. CoRR (2018)
Yusei Masuda, Shinnosuke Seki, Yuki Ubukata
Towards the Algorithmic Molecular Self-assembly of Fractals by Cotranscriptional Folding. CIAA (2018)
Yo-Sub Han, Hwee Kim, Shinnosuke Seki
Transcript Design Problem of Oritatami Systems. DNA (2018)
Yo-Sub Han, Hwee Kim, Makoto Ota, Shinnosuke Seki
Nondeterministic seedless oritatami systems and hardness of testing their equivalence. Nat. Comput. 17 (1) (2018)
Erik D. Demaine, Jacob Hendricks, Meagan Olsen, Matthew J. Patitz, Trent A. Rogers, Nicolas Schabanel, Shinnosuke Seki, Hadley Thomas
Know When to Fold 'Em: Self-assembly of Shapes by Folding in Oritatami. DNA (2018)
Aleck C. Johnsen, Ming-Yang Kao, Shinnosuke Seki
A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tileset synthesis. J. Comb. Optim. 33 (2) (2017)
Lila Kari, Steffen Kopecki, Pierre-Étienne Meunier, Matthew J. Patitz, Shinnosuke Seki
Binary Pattern Tile Set Synthesis Is NP-Hard. Algorithmica 78 (1) (2017)
Shinnosuke Seki, Andrew Winslow
The Complexity of Fixed-Height Patterned Tile Self-Assembly. Int. J. Found. Comput. Sci. 28 (5) (2017)
Trent A. Rogers, Shinnosuke Seki
Oritatami System; a Survey and the Impossibility of Simple Simulation at Small Delays. Fundam. Informaticae 154 (1-4) (2017)
Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
The extended equation of Lyndon and Schützenberger. J. Comput. Syst. Sci. 85 (2017)
Yo-Sub Han, Hwee Kim, Trent A. Rogers, Shinnosuke Seki
Self-attraction Removal from Oritatami Systems. DCFS (2017)
Makoto Ota, Shinnosuke Seki
Rule set design problems for oritatami systems. Theor. Comput. Sci. 671 (2017)
Shinnosuke Seki, Andrew Winslow
The Complexity of Fixed-Height Patterned Tile Self-assembly. CIAA (2016)
Yo-Sub Han, Hwee Kim, Makoto Ota, Shinnosuke Seki
Nondeterministic Seedless Oritatami Systems and Hardness of Testing Their Equivalence. DNA (2016)
Cody W. Geary, Pierre-Etienne Meunier, Nicolas Schabanel, Shinnosuke Seki
Programming Biomolecules That Fold Greedily During Transcription. MFCS (2016)
Shinnosuke Seki, Andrew Winslow
The Complexity of Fixed-Height Patterned Tile Self-Assembly. CoRR (2016)
Lila Kari, Steffen Kopecki, Shinnosuke Seki
3-color bounded patterned self-assembly. Nat. Comput. 14 (2) (2015)
Cody W. Geary, Pierre-Étienne Meunier, Nicolas Schabanel, Shinnosuke Seki
Efficient Universal Computation by Greedy Molecular Folding. CoRR (2015)
Florin Manea, Shinnosuke Seki
Square-Density Increasing Mappings. WORDS (2015)
Oscar H. Ibarra, Shinnosuke Seki
Semilinear Sets and Counter Machines: a Brief Survey. Fundam. Informaticae 138 (1-2) (2015)
Natasa Jonoska, Daria Karpenko, Shinnosuke Seki
Dynamic Simulation of 1D Cellular Automata in the Active aTAM. New Gener. Comput. 33 (3) (2015)
Ho-Lin Chen, David Doty, Shinnosuke Seki
Program Size and Temperature in Self-Assembly. Algorithmica 72 (3) (2015)
Lila Kari, Steffen Kopecki, Pierre-Étienne Meunier, Matthew J. Patitz, Shinnosuke Seki
Binary Pattern Tile Set Synthesis Is NP-hard. ICALP (1) (2015)
Lila Kari, Steffen Kopecki, Pierre-Étienne Meunier, Matthew J. Patitz, Shinnosuke Seki
Binary pattern tile set synthesis is NP-hard. CoRR (2014)
Aleck C. Johnsen, Ming-Yang Kao, Shinnosuke Seki
A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tile set synthesis. CoRR (2014)
Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
Generalised Lyndon-Schützenberger Equations. MFCS (1) (2014)
Natasa Jonoska, Florin Manea, Shinnosuke Seki
A Stronger Square Conjecture on Binary Words. SOFSEM (2014)
Aleck C. Johnsen, Ming-Yang Kao, Shinnosuke Seki
Computing Minimum Tile Sets to Self-Assemble Colors Patterns. CoRR (2014)
Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
Operational State Complexity under Parikh Equivalence. DCFS (2014)
Lila Kari, Steffen Kopecki, Shinnosuke Seki
3-color Bounded Patterned Self-assembly. CoRR (2013)
Oscar H. Ibarra, Shinnosuke Seki
On the open problem of Ginsburg concerning semilinear sets and related problems. Theor. Comput. Sci. 501 (2013)
Nathaniel Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
The Power of Nondeterminism in Self-Assembly. Theory Comput. 9 (2013)
Shinnosuke Seki, Yasushi Okuno
On the Behavior of Tile Assembly System at High Temperatures. Comput. 2 (2) (2013)
Shinnosuke Seki
Combinatorial Optimization in Pattern Assembly - (Extended Abstract). UCNC (2013)
Szilárd Zsolt Fazekas, Hiro Ito, Yasushi Okuno, Shinnosuke Seki, Kei Taneishi
On computational complexity of graph inference from counting. Nat. Comput. 12 (4) (2013)
Aleck C. Johnsen, Ming-Yang Kao, Shinnosuke Seki
Computing Minimum Tile Sets to Self-Assemble Color Patterns. ISAAC (2013)
Shinnosuke Seki
Combinatorial Optimization in Pattern Assembly CoRR (2013)
Lila Kari, Steffen Kopecki, Shinnosuke Seki
3-Color Bounded Patterned Self-assembly - (Extended Abstract). DNA (2013)
Oscar H. Ibarra, Shinnosuke Seki
On the Boundedness Property of Semilinear Sets. TAMC (2013)
Rémi Lemoy, Alexander Mozeika, Shinnosuke Seki
Transfer matrix analysis of one-dimensional majority cellular automata with thermal noise. CoRR (2013)
Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
Converting nondeterministic automata and context-free grammars into Parikh equivalent one-way and two-way deterministic automata. Inf. Comput. 228 (2013)
Shinnosuke Seki, Yasushi Okuno
On the Behavior of Tile Assembly System at High Temperatures. CiE (2012)
Oscar H. Ibarra, Shinnosuke Seki
Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines. Int. J. Found. Comput. Sci. 23 (6) (2012)
Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki
One-reversal counter machines and multihead automata: Revisited. Theor. Comput. Sci. 454 (2012)
Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent One-Way and Two-Way Deterministic Automata CoRR (2012)
Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent Deterministic Automata. Developments in Language Theory (2012)
Shinnosuke Seki, Yasushi Okuno
On the behavior of tile assembly system at high temperatures CoRR (2012)
Lila Kari, Shinnosuke Seki, Zhi Xu
Triangular and Hexagonal Tile Self-assembly Systems. Computation, Physics and Beyond (2012)
Shinnosuke Seki
Absoluteness of subword inequality is undecidable. Theor. Comput. Sci. 418 (2012)
Lila Kari, Steffen Kopecki, Shinnosuke Seki
Iterated Hairpin Completions of Non-crossing Words. SOFSEM (2012)
Bo Cui, Lila Kari, Shinnosuke Seki
Block insertion and deletion on trajectories. Theor. Comput. Sci. 412 (8-10) (2011)
Oscar H. Ibarra, Shinnosuke Seki
Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines. AFL (2011)
Lila Kari, Shinnosuke Seki, Steffen Kopecki
On the Regularity of Iterated Hairpin Completion of a Single Word. Fundam. Informaticae 110 (1-4) (2011)
Bo Cui, Lila Kari, Shinnosuke Seki
K-Comma Codes and Their Generalizations. Fundam. Informaticae 107 (1) (2011)
Lila Kari, Benoît Masson, Shinnosuke Seki
Properties of Pseudo-Primitive Words and their Applications. Int. J. Found. Comput. Sci. 22 (2) (2011)
Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki
One-Reversal Counter Machines and Multihead Automata: Revisited. SOFSEM (2011)
Ho-Lin Chen, David Doty, Shinnosuke Seki
Program Size and Temperature in Self-Assembly. ISAAC (2011)
Lila Kari, Steffen Kopecki, Shinnosuke Seki
Iterated Hairpin Completions of Non-crossing Words CoRR (2011)
Elena Czeizler, Eugen Czeizler, Lila Kari, Shinnosuke Seki
An extension of the Lyndon-Schützenberger result to pseudoperiodic words. Inf. Comput. 209 (4) (2011)
Lila Kari, Shinnosuke Seki
Schema for Parallel Insertion and Deletion: Revisited. Int. J. Found. Comput. Sci. 22 (7) (2011)
Nathaniel Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
The Power of Nondeterminism in Self-Assembly. SODA (2011)
Mark Daley, Lila Kari, Shinnosuke Seki, Petr Sosík
Orthogonal Shuffle on Trajectories. Int. J. Found. Comput. Sci. 22 (1) (2011)
Shinnosuke Seki
Absoluteness of subword inequality is undecidable CoRR (2011)
Lila Kari, Steffen Kopecki, Shinnosuke Seki
On the regularity of iterated hairpin completion of a single word CoRR (2011)
Nathaniel Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
The Power of Nondeterminism in Self-Assembly. Electron. Colloquium Comput. Complex. 17 (2010)
Lila Kari, Shinnosuke Seki
Schema for Parallel Insertion and Deletion. Developments in Language Theory (2010)
Lila Kari, Shinnosuke Seki
An Improved Bound for an Extension of Fine and Wilf's Theorem and Its Optimality. Fundam. Informaticae 101 (3) (2010)
Elena Czeizler, Lila Kari, Shinnosuke Seki
On a special class of primitive words. Theor. Comput. Sci. 411 (3) (2010)
Lila Kari, Shinnosuke Seki, Zhi Xu
Triangular Self-Assembly CoRR (2010)
Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits using DNA Strand Displacement CoRR (2010)
Nathaniel Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
The Power of Nondeterminism in Self-Assembly CoRR (2010)
Lila Kari, Benoît Masson, Shinnosuke Seki
Properties of Pseudo-Primitive Words and their Applications CoRR (2010)
Lila Kari, Shinnosuke Seki, Zhi Xu
Triangular Tile Self-assembly Systems. DNA (2010)
Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits Using DNA Strand Displacement. DNA (2010)
Ho-Lin Chen, David Doty, Shinnosuke Seki, David Soloveichik
Parallelism, Program Size, Time, and Temperature in Self-Assembly CoRR (2010)
Ho-Lin Chen, David Doty, Shinnosuke Seki, David Soloveichik
Parallelism, Program Size, Time, and Temperature in Self-Assembly. Electron. Colloquium Comput. Complex. 17 (2010)
Lila Kari, Shinnosuke Seki
On pseudoknot-bordered words and their properties. J. Comput. Syst. Sci. 75 (2) (2009)
Elena Czeizler, Eugen Czeizler, Lila Kari, Shinnosuke Seki
An Extension of the Lyndon Schützenberger Result to Pseudoperiodic Words. Developments in Language Theory (2009)

Shinnosuke Seki.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shinnosuke Seki