論文
公開件数:82件
No. 種別 査読の有無 標題 単著・共著区分 著者 誌名 巻号頁 出版日 ISSN DOI URL
1 一般論文

Square network on a word
共著
Szilard Zsolt Fazekas and Shinnosuke Seki
Theoretical Computer Science
Not assigned yet
2021



2 一般論文

Linear bounds on the size of the conformations in greedy deterministic oritatami
共著
Szilard Zsolt Fazekas, Hwee Kim, Ryuichi Matsuoka, Reoto Morita, and Shinnosuke Seki
International Journal of Foundations of Computer Science
32/ 5, 575-596
2021



3 一般論文

Counting infinitely by oritatami co-transcriptional folding
共著
Kohei Maruyama and Shinnosuke Seki
Natural Computing
20/ 2, 329-340
2021

10.1007/s11047-021-09842-6

4 一般論文

A general architecture of oritatami systems for simulating arbitrary finite automata
共著
Yo-Sub Han, Hwee Kim, Yusei Masuda, and Shinnosuke Seki
Theoretical Computer Science
870/ 16, 29-52
2021



5 一般論文

Renewal of the major fields of New Generation Computing Vol. 38
共著
Masayuki Numao, Yutaka Matsuo, and Shinnosuke Seki
New Generation Computing
38/ 1, 1-3
2020



6 一般論文

Transcript design problem of oritatami systems
共著
Yo-Sub Han, Hwee Kim, and Shinnosuke Seki
Natural Computing
19/ 2, 323-335
2020



7 一般論文

Oritatami: a computational model for molecular co-transcriptional folding
共著
Cody Geary, Pierre-Etienne Meunier, Nicolas Schabanel, Shinnosuke Seki
International Journal of Molecular Sciences
20/ 9, 2259-
2019



8 一般論文

Self-attraction removal from oritatami systems
共著
Yo-Sub Han, Hwee Kim, Trent A. Rogers, and Shinnosuke Seki
International Journal of Foundations of Computer Science
30/ 6-7, 1047-1067
2019



9 一般論文

Nondeterministic seedless oritatami systems and hardness of testing their equivalence
共著
Yo-Sub Han, Hwee Kim, Makoto Ota, Shinnosuke Seki
Natural Computing
17/ 1, 67-79
2018



10 一般論文

The complexity of fixed-height patterned tile self-assembly
共著
Shinnosuke Seki, Andrew Winslow
International Journal of Foundations of Computer Science
28/ 5, 465-482
2017



11 一般論文

Oritatami system: a survey and the impossibility of simple simulation at small delays
共著
Trent A. Rogers, Shinnosuke Seki
Fundamenta Informaticae
154/ 1-4, 359-372
2017



12 一般論文

The extended equation of Lyndon and Schutzenberger
共著
Florin Manea, Mike Muller, Dirk Nowotka, Shinnosuke Seki
Journal of Computer and System Sciences
85, 132-167
2016/11/26



13 一般論文

Rule set design problems for oritatami system
共著
Makoto Ota and Shinnosuke Seki
Theoretical Computer Science
671, 26-35
2016/09/22



14 一般論文

Binary pattern tile set synthesis is NP-hard
共著
Lila Kari, Steffen Kopecki, Pierre-Etienne Meunier, Matthew J. Patitz, and Shinnosuke Seki
Algorithmica
78/ 1, 1-46
2016/04/26



15 一般論文

Semilinear sets and counter machines: a brief survey
共著
Oscar Ibarra, Shinnosuke Seki
Fundamenta Informaticae
138/ 1-2, 61-76
2015



16 一般論文

A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tileset synthesis
共著
Aleck Johnsen, Ming-Yang Kao, Shinnosuke Seki
Journal of Combinatorial Optimization
33/ 2, 496-529
2015/11/24



17 一般論文

Dynamic simulation of 1D cellular automata in the Active aTAM
共著
Natasa Jonoska, Daria Karpenko, Shinnosuke Seki
New Generation Computing
33/ 3, 271-295
2015/07/01



18 一般論文

Program size and temperature in self-assembly
共著
Ho-Lin Chen, David Doty, Shinnosuke Seki
Algorithmica
72/ 3, 884-899
2015/07/01



19 一般論文

3-color bounded patterned self-assembly
共著
Lila Kari, Steffen Kopecki, Shinnosuke Seki
Natural Computing
14/ 2, 279-292
2015/06/01



20 一般論文

Transfer matrix analysis of one-dimensional majority cellular automata with thermal noise
共著
Remi Lemoy, Alexander Mozeika, Shinnosuke Seki
Journal of Physics A: Mathematical and Theoretical
47/ 10, 105001-105001
2014



21 一般論文

On the open problem of Ginsburg concerning semilinear sets and related problems
共著
Oscar H. Ibarra, Shinnosuke Seki
Theoretical Computer Science
501, 11-19
2013



22 一般論文

Convering nondeterministic automata and context-free grammars into Parikh equivalent one-way and two-way deterministic automata
共著
Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
Information and Computation
228-229, 1-15
2013



23 一般論文

On the behavior of tile assembly model at high temperatures
共著
Shinnosuke Seki, Yasushi Okuno
Computability
2/ 2, 107-124
2013



24 一般論文

The power of nondeterminism in self-assembly
共著
Nathan Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
Theory of Computing
9, 1-29
2013



25 一般論文

On computational complexity of graph inference from counting
共著
Szilard Zholt Fazekas, Hiro Ito, Yasushi Okuno, Shinnosuke Seki, Kei Taneishi
Natural Computing
12/ 4, 589-603
2013



26 一般論文

Characterizations of bounded semilinear languages by one-way and two-way deterministic machines
共著
Oscar H. Ibarra, Shinnosuke Seki
International Journal of Foundations of Computer Science
23/ 6, 1291-1305
2012



27 一般論文

One-reversal counter machines and multihead automata: revisited
共著
Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki
Theoretical Computer Science
454, 81-87
2012



28 一般論文

Absoluteness of subowrd inequality is undecidable
単著
Shinnosuke Seki
Theoretical Computer Science
419, 116-120
2012



29 一般論文

On the regularity of iterated hairpin completion of a single word
共著
Lila Kari, Steffen Kopecki, Shinnosuke Seki
Fundamenta Informaticae
110/ 1-4, 201-215
2011



30 一般論文

Schema for parallel insertion and deletion: revisited
共著
Lila Kari, Shinnosuke Seki
International Journal of Foundations of Computer Science
22/ 7, 1655-1668
2011



31 一般論文

An extension of Lyndon-Schutzenberger result to pseudoperiodic words
共著
Elena Czeizler, Eugen Czeizler, Lila Kari, Shinnosuke Seki
Information and Computation
209, 717-730
2011



32 一般論文

Properties of pseudo-primitive words and their applications
共著
Benoit Masson, Lila Kari, Shinnosuke Seki
International Journal of Foundations of Computer Science
22/ 2, 447-471
2011



33 一般論文

K-comma codes and their generalizations
共著
Bo Cui, Lila Kari, Shinnosuke Seki
Fundamenta Informaticae
107, 1-18
2011



34 一般論文

Orthogonal shuffle on trajectories
共著
Mark Daley, Lila Kari, Shinnosuke Seki, Petr Sosik
International Journal of Foundations of Computer Science
22/ 1, 213-222
2011



35 一般論文

Block insertion and deletion on trajectories
共著
Bo Cui, Lila Kari, Shinnosuke Seki
Theoretical Computer Science
412/ 8-10, 714-728
2011



36 一般論文

An improved bound for an extension of Fine and Wilf's theorem and its optimality
共著
Lila Kari, Shinnosuke Seki
Fundamenta Informaticae
101/ 3, 215-236
2010



37 一般論文

On a special class of primitive words
共著
Elena Czeizler, Lila Kari, Shinnosuke Seki
Theoretical Computer Science
411, 617-630
2010



38 一般論文

On pseudoknot-bordered words and their properties
共著
Lila Kari, Shinnosuke Seki
Journal of Computer and System Sciences
75, 113-121
2009



39 一般論文

Twin-roots of words and their properties
共著
Lila Kari, Kalpana Mahalingam, Shinnosuke Seki
Theoretical Computer Science
410, 2393-2400
2009



40 一般論文

A grammatical approach to the alignment of structure-annotated strings
共著
関新之助、小林聡
電子情報通信学会誌
E88-D/ 12, 2727-2737
2005



41 招待論文

Cotranscriptional folding: A frontier in molecular engineering a challenge for computer scientists
単著
Shinnosuke Seki
SIAM News
Not assigned yet
2017/05/01



42 国際会議プロシーディングス等

Simple intrinsic simulation of cellular automata in oritatami molecular folding model
共著
Daria Pchelina, Nicolas Schabanel, Shinnosuke Seki, and Yuki Ubukata
Proceedings of the 14th Latin American Theoretical Informatics Symposium (LATIN 2020)
LNCS 12118, 425-436
2021/01/05



43 国際会議プロシーディングス等

Counting infinitely by oritatami co-transcriptional folding
共著
Kohei Maruyama and Shinnosuke Seki
Proceedings of the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020)
LNCS 12011, 566-575
2020



44 国際会議プロシーディングス等

Single-stranded architectures for computing
単著
Shinnosuke Seki
Proceedings of the 23rd International Conference on Developments in Language Theory (DLT 2019)
LNCS 11647, 41-56
2019



45 国際会議プロシーディングス等

A general architecture of oritatami systems for simulating arbitrary finite automata
共著
Yo-Sub Han, Hwee Kim, Yusei Masuda, and Shinnosuke Seki
Proceedings of the 24th International Conference on Implementation and Applications of Automata (CIAA 2019)
LNCS 11601, 146-157
2019



46 国際会議プロシーディングス等

On the power of oritatami cotranscriptional folding with unary bead sequence
共著
Szilard Zsolt Fazekas, Kohei Maruyama, Reoto Morita, and Shinnosuke Seki
Proceedings of the 15th International Conference on Theory and Applications of Models of Computation (TAMC 2019)
LNCS 11436, 188-207
2019



47 国際会議プロシーディングス等

Proving the Turing universality of oritatami co-transcriptional folding
共著
Cody Geary, Pierre-Etienne Meunier, Nicolas Schabanel, and Shinnosuke Seki
Proceedings of the 29th International Symposium on Algorithms and Computation (ISAAC2018)
LIPIcs 123, 23:1-23:13
2018



48 国際会議プロシーディングス等

Transcript design problem of oritatami systems
共著
Yo-Sub Han, Hwee Kim, and Shinnosuke Seki
Proceedings of the 24th International Conference on DNA Computing and Molecular Programming (DNA 24)
LNCS/ 11145, 139-154
2018



49 国際会議プロシーディングス等

Know when to fold 'em: Self-assembly of shapes by folding in oritatami
共著
Erik Demaine, Jacob Hendricks, Meagan Olsen, Matthew J. Patitz, Trent A. Rogers, Nicolas Schabanel, Shinnosuke Seki, and Hadley Thoams
Proceedings of the 24th International Conference on DNA Computing and Molecular Programming (DNA 24)
LNCS/ 11145, 19-36
2018



50 国際会議プロシーディングス等

Towards the algorithmic molecular self-assembly of fractals by cotranscriptional folding
共著
Yusei Masuda, Shinnosuke Seki, and Yuki Ubukata
Proceedings of the 23rd International Conference on Implementation and Applications of Automata (CIAA2018)
LNCS/ 10977, 261-273
2018



51 国際会議プロシーディングス等

Self-attraction removal from oritatami systems
共著
Yo-Sub Han, Hwee Kim, Trent A. Rogers, and Shinnosuke Seki
Proc. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017)
LNCS 10316, 164-176
2017/06/26



52 国際会議プロシーディングス等

Programming biomolecules that fold greedily during transcription
共著
Cody Geary, Pierre-Etienne Meunier, Nicolas Schabanel, and Shinnosuke Seki
MFCS 2016: 41st International Symposium on Mathematical Foundations of Computer Science
LIPIcs 58, 43:1-43:14
2016/08/22



53 国際会議プロシーディングス等

Nondeterministic seedless oritatami systems and hardness of testing their equivalence
共著
Yo-Sub Han, Hwee Kim, Makoto Ota, Shinnosuke Seki
DNA22: 22nd International Conference on DNA Computing and Molecular Programming
LNCS 9818, 19-34
2016/08/17



54 国際会議プロシーディングス等

The complexity of fixed-height patterned tile self-assembly
共著
Shinnosuke Seki and Andrew Winslow
CIAA 2016: 21st International Conference on Implementation and Application of Automata
LNCS 9705, 248-259
2016/07/01



55 国際会議プロシーディングス等

Binary pattern tile set synthesis is NP-hard
共著
Lila Kari, Steffen Kopecki, Pierre-Etienne Meunier, Matthew J. Patitz, Shinnosuke Seki
ICALP 2015: Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming
LNCS 9134, 1022-1034
2015



56 国際会議プロシーディングス等

Square-density increasing mappings
共著
Florin Manea and Shinnosuke Seki
Proc. 10th International Conference on Combinatorics on Words (WORDS 2015)
LNCS 9304, 160-169
2015/09/01



57 国際会議プロシーディングス等

Generalized Lyndon-Schutzenberger equations
共著
Florin Manea, Mike Muller, Dirk Nowotka, Shinnosuke Seki
MFCS 2014: Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science
LNCS 8634, 402-413
2014



58 国際会議プロシーディングス等

Operational state complexity under Parikh equivalence
共著
Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
DCSF 2014: Proceedings of the 16th International Workshop on Descriptional Complexity of Formal Systems
LNCS 8614, 294-305
2014



59 国際会議プロシーディングス等

Stronger square conjecture on binary words
共著
Natasha Jonoska, Florin Manea, Shinnosuke Seki
SOFSEM 2014: Proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science
LNCS 8327, 339-350
2014



60 国際会議プロシーディングス等

Computing minimum tile sets to self-assemble color patterns
共著
Aleck Johnsen, Ming-Yang Kao, Shinnosuke Seki
ISAAC 2013: Proceedings of the 24th International Symposium on Algorithms and Computation
LNCS 8283, 699-710
2013



61 国際会議プロシーディングス等

3-color bounded patterned self-assembly
共著
Lila Kari, Steffen Kopecki, Shinnosuke Seki
DNA 19: Proceedings of the 19th International Conference on DNA Computing and Molecular Programming
LNCS 8141, 105-117
2013



62 国際会議プロシーディングス等

Combinatorial optimization in pattern assembly (extended abstract)
単著
関新之助
UCNC 2013: Proceedings of the Unconventional Computation and Natural Computation - 12th International Conference
LNCS 7956, 220-231
2013



63 国際会議プロシーディングス等

On the boundedness property of semilinear sets
共著
Oscar H. Ibarra, Shinnosuke Seki
TAMC 2013: Proceedings of the 10th Annual Conference on Theory and Applications of Models of Computation
LNCS 7876, 156-168
2013



64 国際会議プロシーディングス等

Converting nondeterministic automata and context-free grammars into Parikh equivalent deterministic automata
共著
Giovanna J. Lavado, Giovanni Pighizzini, Shinnosuke Seki
DLT 2012: Proceedings of the 16th International Conference on Developments in Language Theory
LNCS 7410, 284-295
2012



65 国際会議プロシーディングス等

On the behavior of tile assembly system at high temperatures
共著
Shinnosuke Seki, Yasushi Okuno
CiE 2012: Proceedings of the Turing Centenary Conference - How the World Computes
LNCS 7318, 549-559
2012



66 国際会議プロシーディングス等

Triangular and hexagonal tile self-assembly systems
共著
Lila Kari, Shinnosuke Seki, Zhi Xu
WTCS 2012: Proceedings of the International Workshop on Theoretical Computer Science
LNCS 7160, 357-375
2012



67 国際会議プロシーディングス等

Iterated hairpin completions of non-crossing words
共著
Lila Kari, Steffen Kopecki, Shinnosuke Seki
SOFSEM 2012: Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science
LNCS 7174, 337-348
2012



68 国際会議プロシーディングス等

Program size and temperature in self-assembly
共著
Ho-Lin Chen, David Doty, Shinnosuke Seki
ISAAC 2011: Proceedings of the 22nd International Symposium on Algorithms and Computation
LNCS 7074, 445-453
2011



69 国際会議プロシーディングス等

Characterizations of bounded semilinear languages by one-way and two-way deterministic machines
共著
Oscar H. Ibarra, Shinnosuke Seki
AFL 2011: Proceedings of the 13th International Conference on Automata and Formal Languages
211-224
2011



70 国際会議プロシーディングス等

One-reversal counter machines and multihead automata: revisited
共著
Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki
SOFSEM 2011: Proceedings of the 37th International Conference on Current Trends in Theory and Practice of Computer Science
LNCS 6543, 166-177
2011



71 国際会議プロシーディングス等

The power of nondeterminism in self-assembly
共著
Nathan Bryans, Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
SODA 2011: Proceedings of ACM-SIAM Symposium on Discrete Algorithms
590-602
2011



72 国際会議プロシーディングス等

Schema for parallel insertion and deletion
共著
Lila Kari, Shinnosuke Seki
DLT 2010: Proceedings of the 14th International Conference on Developments in Language Theory
LNCS 6224, 267-278
2010



73 国際会議プロシーディングス等

Time-responsive, digital, energy-efficient, molecular circuits using DNA strand displacement
共著
Ehsan Chiniforooshan, David Doty, Lila Kari, Shinnosuke Seki
DNA 16: Proceedings of the 16th International Conference on DNA Computing and Molecular Programming
LNCS 6518, 25-36
2010



74 国際会議プロシーディングス等

Triangular tile self-assembly systems
共著
Lila Kari, Shinnosuke Seki, Zhi Xu
DNA 16: Proceedings of the 16th International Conference on DNA Computing and Molecular Programming
LNCS 6518, 89-99
2010



75 国際会議プロシーディングス等

An extension of the Lyndon-Schutzenberger result to pseudoperiodic words
共著
Elena Czeizler, Eugen Czeizler, Lila Kari, Shinnosuke Seki
DLT 2009: Proceedings of the 13th International Conference on Developments in Language Theory
LNCS 5583, 183-194
2009



76 国際会議プロシーディングス等

On the reversibility of parallel insertion, and its relation to comma codes
共著
Bo Cui, Lila Kari, Shinnosuke Seki
CAI 2009: Proceedings of the 3rd International Conference on Algebraic Informatics
LNCS 5725, 204-219
2009



77 国際会議プロシーディングス等

Duplication in DNA sequences
共著
Masami Ito, Lila Kari, Zachary Kincaid, Shinnosuke Seki
DLT 2008: Proceedings of the 12th International Conference on Developments in Language Theory
LNCS 5257, 419-430
2008



78 国際会議プロシーディングス等

On a special class of primitive words
共著
Elena Czeizler, Lila Kari, Shinnosuke Seki
MFCS 2008: Proceedings of the Mathematical Foundations of Computer Science
LNCS 5162, 265-277
2008



79 国際会議プロシーディングス等

Towards the sequence desing preventing pseudoknot formation
共著
Lila Kari, Shinnosuke Seki
IWNC 2007: Proceedings of the 2nd International Workshop on Natural Computing
PICT 1, 101-110
2007



80 国際会議プロシーディングス等

An efficient multiple alignment method for RNA secondary structures including pseudoknots
共著
関新之助、小林聡
IWNC 2007: Proceedings of the 2nd International Workshop on Natural Computing
PICT 1, 179-188
2007



81 国際会議プロシーディングス等

Hierarchical Alignment of RNA secondary structures including pseudoknots
共著
Shinnosuke Seki, Atsushi Kijima, Satoshi Kobayashi, Genichi Sanpei
GIW 2004: Proceedings of the 15th International Conference on Genome Informatics
117-1-117-2
2004



82 国際会議プロシーディングス等

Efficient learning of k-reversible context-free grammars from positive structural examples
共著
関新之助、小林聡
ICGI 2004: Proceedings of the 7th International Colloquium on Grammatical Inference
LNAI 3264, 285-287
2004