BibTeX records: Shinnosuke Seki

download as .bib file

@article{DBLP:journals/nc/KiharaS23,
  author       = {Yu Kihara and
                  Shinnosuke Seki},
  title        = {Programmable single-stranded architectures for computing},
  journal      = {Nat. Comput.},
  volume       = {22},
  number       = {3},
  pages        = {563--585},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11047-023-09963-0},
  doi          = {10.1007/S11047-023-09963-0},
  timestamp    = {Fri, 06 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/KiharaS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02753,
  author       = {Szil{\'{a}}rd Zsolt Fazekas and
                  Shinnosuke Seki},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Freezing 1-Tag Systems with States},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {82--95},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.8},
  doi          = {10.4204/EPTCS.386.8},
  timestamp    = {Wed, 25 Oct 2023 16:09:20 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02753.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/NishizakiS22,
  author       = {Shin{-}ya Nishizaki and
                  Shinnosuke Seki},
  title        = {Preface to Hagiya-sensei's 2\({}^{\mbox{6}}\)-th Birthday Special
                  Issue},
  journal      = {New Gener. Comput.},
  volume       = {40},
  number       = {2},
  pages        = {399--402},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00354-022-00184-0},
  doi          = {10.1007/S00354-022-00184-0},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/NishizakiS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/FazekasKMST22,
  author       = {Szil{\'{a}}rd Zsolt Fazekas and
                  Hwee Kim and
                  Ryuichi Matsuoka and
                  Shinnosuke Seki and
                  Hinano Takeuchi},
  editor       = {Sang Won Bae and
                  Heejin Park},
  title        = {On Algorithmic Self-Assembly of Squares by Co-Transcriptional Folding},
  booktitle    = {33rd International Symposium on Algorithms and Computation, {ISAAC}
                  2022, December 19-21, 2022, Seoul, Korea},
  series       = {LIPIcs},
  volume       = {248},
  pages        = {37:1--37:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ISAAC.2022.37},
  doi          = {10.4230/LIPICS.ISAAC.2022.37},
  timestamp    = {Wed, 14 Dec 2022 11:53:14 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/FazekasKMST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/PchelinaSST22,
  author       = {Daria Pchelina and
                  Nicolas Schabanel and
                  Shinnosuke Seki and
                  Guillaume Theyssier},
  editor       = {Petra Berenbrink and
                  Benjamin Monmege},
  title        = {Oritatami Systems Assemble Shapes No Less Complex Than Tile Assembly
                  Model {(ATAM)}},
  booktitle    = {39th International Symposium on Theoretical Aspects of Computer Science,
                  {STACS} 2022, March 15-18, 2022, Marseille, France (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {219},
  pages        = {51:1--51:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2022.51},
  doi          = {10.4230/LIPICS.STACS.2022.51},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/PchelinaSST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FazekasKMMS21,
  author       = {Szil{\'{a}}rd Zsolt Fazekas and
                  Hwee Kim and
                  Ryuichi Matsuoka and
                  Reoto Morita and
                  Shinnosuke Seki},
  title        = {Linear Bounds on the Size of Conformations in Greedy Deterministic
                  Oritatami},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {32},
  number       = {5},
  pages        = {575--596},
  year         = {2021},
  url          = {https://doi.org/10.1142/S0129054121410082},
  doi          = {10.1142/S0129054121410082},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/FazekasKMMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/McQuillanS21,
  author       = {Ian McQuillan and
                  Shinnosuke Seki},
  title        = {Preface},
  journal      = {Nat. Comput.},
  volume       = {20},
  number       = {2},
  pages        = {191--192},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11047-020-09832-0},
  doi          = {10.1007/S11047-020-09832-0},
  timestamp    = {Mon, 21 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/McQuillanS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/MaruyamaS21,
  author       = {Kohei Maruyama and
                  Shinnosuke Seki},
  title        = {Counting infinitely by oritatami co-transcriptional folding},
  journal      = {Nat. Comput.},
  volume       = {20},
  number       = {2},
  pages        = {329--340},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11047-021-09842-6},
  doi          = {10.1007/S11047-021-09842-6},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/MaruyamaS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HanKMS21,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Yusei Masuda and
                  Shinnosuke Seki},
  title        = {A general architecture of oritatami systems for simulating arbitrary
                  finite automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {870},
  pages        = {29--52},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2020.12.014},
  doi          = {10.1016/J.TCS.2020.12.014},
  timestamp    = {Tue, 25 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/HanKMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FazekasS21,
  author       = {Szil{\'{a}}rd Zsolt Fazekas and
                  Shinnosuke Seki},
  title        = {Square network on a word},
  journal      = {Theor. Comput. Sci.},
  volume       = {894},
  pages        = {121--134},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2021.08.004},
  doi          = {10.1016/J.TCS.2021.08.004},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FazekasS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Seki20,
  author       = {Shinnosuke Seki},
  title        = {Special Issue Developments in Language Theory 2018 - Preface},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {31},
  number       = {6},
  pages        = {663--665},
  year         = {2020},
  url          = {https://doi.org/10.1142/S0129054120020025},
  doi          = {10.1142/S0129054120020025},
  timestamp    = {Wed, 09 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/Seki20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/HanKS20,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Shinnosuke Seki},
  title        = {Transcript design problem of oritatami systems},
  journal      = {Nat. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {323--335},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11047-019-09776-0},
  doi          = {10.1007/S11047-019-09776-0},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/HanKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/NumaoMS20,
  author       = {Masayuki Numao and
                  Yutaka Matsuo and
                  Shinnosuke Seki},
  title        = {Renewal of the Major Fields of New Generation Computing Vol. 38 {(2020)}},
  journal      = {New Gener. Comput.},
  volume       = {38},
  number       = {1},
  pages        = {1--3},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00354-020-00091-2},
  doi          = {10.1007/S00354-020-00091-2},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/NumaoMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/PchelinaSSU20,
  author       = {Daria Pchelina and
                  Nicolas Schabanel and
                  Shinnosuke Seki and
                  Yuki Ubukata},
  editor       = {Yoshiharu Kohayakawa and
                  Fl{\'{a}}vio Keidi Miyazawa},
  title        = {Simple Intrinsic Simulation of Cellular Automata in Oritatami Molecular
                  Folding Model},
  booktitle    = {{LATIN} 2020: Theoretical Informatics - 14th Latin American Symposium,
                  S{\~{a}}o Paulo, Brazil, January 5-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12118},
  pages        = {425--436},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-61792-9\_34},
  doi          = {10.1007/978-3-030-61792-9\_34},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/PchelinaSSU20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MaruyamaS20,
  author       = {Kohei Maruyama and
                  Shinnosuke Seki},
  editor       = {Alexander Chatzigeorgiou and
                  Riccardo Dondi and
                  Herodotos Herodotou and
                  Christos A. Kapoutsis and
                  Yannis Manolopoulos and
                  George A. Papadopoulos and
                  Florian Sikora},
  title        = {Counting Infinitely by Oritatami Co-transcriptional Folding},
  booktitle    = {{SOFSEM} 2020: Theory and Practice of Computer Science - 46th International
                  Conference on Current Trends in Theory and Practice of Informatics,
                  {SOFSEM} 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12011},
  pages        = {566--575},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-38919-2\_46},
  doi          = {10.1007/978-3-030-38919-2\_46},
  timestamp    = {Tue, 21 Jan 2020 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/MaruyamaS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/HanKRS19,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Trent A. Rogers and
                  Shinnosuke Seki},
  title        = {Self-Attraction Removal from Oritatami Systems},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {30},
  number       = {6-7},
  pages        = {1047--1067},
  year         = {2019},
  url          = {https://doi.org/10.1142/S0129054119400288},
  doi          = {10.1142/S0129054119400288},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/HanKRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Seki19,
  author       = {Shinnosuke Seki},
  editor       = {Piotrek Hofman and
                  Michal Skrzypczak},
  title        = {Single-Stranded Architectures for Computing},
  booktitle    = {Developments in Language Theory - 23rd International Conference, {DLT}
                  2019, Warsaw, Poland, August 5-9, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11647},
  pages        = {41--56},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24886-4\_3},
  doi          = {10.1007/978-3-030-24886-4\_3},
  timestamp    = {Fri, 27 Mar 2020 08:49:52 +0100},
  biburl       = {https://dblp.org/rec/conf/dlt/Seki19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/FazekasMMS19,
  author       = {Szil{\'{a}}rd Zsolt Fazekas and
                  Kohei Maruyama and
                  Reoto Morita and
                  Shinnosuke Seki},
  editor       = {T. V. Gopal and
                  Junzo Watada},
  title        = {On the Power of Oritatami Cotranscriptional Folding with Unary Bead
                  Sequence},
  booktitle    = {Theory and Applications of Models of Computation - 15th Annual Conference,
                  {TAMC} 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11436},
  pages        = {188--207},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-14812-6\_12},
  doi          = {10.1007/978-3-030-14812-6\_12},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/FazekasMMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HanKMS19,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Yusei Masuda and
                  Shinnosuke Seki},
  editor       = {Michal Hospod{\'{a}}r and
                  Galina Jir{\'{a}}skov{\'{a}}},
  title        = {A General Architecture of Oritatami Systems for Simulating Arbitrary
                  Finite Automata},
  booktitle    = {Implementation and Application of Automata - 24th International Conference,
                  {CIAA} 2019, Ko{\v{s}}ice, Slovakia, July 22-25, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11601},
  pages        = {146--157},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-23679-3\_12},
  doi          = {10.1007/978-3-030-23679-3\_12},
  timestamp    = {Mon, 08 Jul 2019 14:39:10 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HanKMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uc/2019,
  editor       = {Ian McQuillan and
                  Shinnosuke Seki},
  title        = {Unconventional Computation and Natural Computation - 18th International
                  Conference, {UCNC} 2019, Tokyo, Japan, June 3-7, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11493},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-19311-9},
  doi          = {10.1007/978-3-030-19311-9},
  isbn         = {978-3-030-19310-2},
  timestamp    = {Mon, 27 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uc/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-10174,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Yusei Masuda and
                  Shinnosuke Seki},
  title        = {A general architecture of oritatami systems for simulating arbitrary
                  finite automata},
  journal      = {CoRR},
  volume       = {abs/1904.10174},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.10174},
  eprinttype    = {arXiv},
  eprint       = {1904.10174},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-10174.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/HanKOS18,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Makoto Ota and
                  Shinnosuke Seki},
  title        = {Nondeterministic seedless oritatami systems and hardness of testing
                  their equivalence},
  journal      = {Nat. Comput.},
  volume       = {17},
  number       = {1},
  pages        = {67--79},
  year         = {2018},
  url          = {https://doi.org/10.1007/s11047-017-9661-y},
  doi          = {10.1007/S11047-017-9661-Y},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/HanKOS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/DemaineHOPRSST18,
  author       = {Erik D. Demaine and
                  Jacob Hendricks and
                  Meagan Olsen and
                  Matthew J. Patitz and
                  Trent A. Rogers and
                  Nicolas Schabanel and
                  Shinnosuke Seki and
                  Hadley Thomas},
  editor       = {David Doty and
                  Hendrik Dietz},
  title        = {Know When to Fold 'Em: Self-assembly of Shapes by Folding in Oritatami},
  booktitle    = {{DNA} Computing and Molecular Programming - 24th International Conference,
                  {DNA} 24, Jinan, China, October 8-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11145},
  pages        = {19--36},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00030-1\_2},
  doi          = {10.1007/978-3-030-00030-1\_2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/DemaineHOPRSST18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/HanKS18,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Shinnosuke Seki},
  editor       = {David Doty and
                  Hendrik Dietz},
  title        = {Transcript Design Problem of Oritatami Systems},
  booktitle    = {{DNA} Computing and Molecular Programming - 24th International Conference,
                  {DNA} 24, Jinan, China, October 8-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11145},
  pages        = {139--154},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00030-1\_9},
  doi          = {10.1007/978-3-030-00030-1\_9},
  timestamp    = {Mon, 08 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/HanKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GearyMSS18,
  author       = {Cody W. Geary and
                  Pierre{-}{\'{E}}tienne Meunier and
                  Nicolas Schabanel and
                  Shinnosuke Seki},
  editor       = {Wen{-}Lian Hsu and
                  Der{-}Tsai Lee and
                  Chung{-}Shou Liao},
  title        = {Proving the Turing Universality of Oritatami Co-Transcriptional Folding},
  booktitle    = {29th International Symposium on Algorithms and Computation, {ISAAC}
                  2018, December 16-19, 2018, Jiaoxi, Yilan, Taiwan},
  series       = {LIPIcs},
  volume       = {123},
  pages        = {23:1--23:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.ISAAC.2018.23},
  doi          = {10.4230/LIPICS.ISAAC.2018.23},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/GearyMSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MasudaSU18,
  author       = {Yusei Masuda and
                  Shinnosuke Seki and
                  Yuki Ubukata},
  editor       = {Cezar C{\^{a}}mpeanu},
  title        = {Towards the Algorithmic Molecular Self-assembly of Fractals by Cotranscriptional
                  Folding},
  booktitle    = {Implementation and Application of Automata - 23rd International Conference,
                  {CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10977},
  pages        = {261--273},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94812-6\_22},
  doi          = {10.1007/978-3-319-94812-6\_22},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/MasudaSU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2018,
  editor       = {Mizuho Hoshi and
                  Shinnosuke Seki},
  title        = {Developments in Language Theory - 22nd International Conference, {DLT}
                  2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11088},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98654-8},
  doi          = {10.1007/978-3-319-98654-8},
  isbn         = {978-3-319-98653-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-04682,
  author       = {Erik D. Demaine and
                  Jacob Hendricks and
                  Meagan Olsen and
                  Matthew J. Patitz and
                  Trent A. Rogers and
                  Nicolas Schabanel and
                  Shinnosuke Seki and
                  Hadley Thomas},
  title        = {Know When to Fold 'Em: Self-Assembly of Shapes by Folding in Oritatami},
  journal      = {CoRR},
  volume       = {abs/1807.04682},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.04682},
  eprinttype    = {arXiv},
  eprint       = {1807.04682},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-04682.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KariKMPS17,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Pierre{-}{\'{E}}tienne Meunier and
                  Matthew J. Patitz and
                  Shinnosuke Seki},
  title        = {Binary Pattern Tile Set Synthesis Is NP-Hard},
  journal      = {Algorithmica},
  volume       = {78},
  number       = {1},
  pages        = {1--46},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00453-016-0154-7},
  doi          = {10.1007/S00453-016-0154-7},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithmica/KariKMPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RogersS17,
  author       = {Trent A. Rogers and
                  Shinnosuke Seki},
  title        = {Oritatami System; a Survey and the Impossibility of Simple Simulation
                  at Small Delays},
  journal      = {Fundam. Informaticae},
  volume       = {154},
  number       = {1-4},
  pages        = {359--372},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1571},
  doi          = {10.3233/FI-2017-1571},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RogersS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/SekiW17,
  author       = {Shinnosuke Seki and
                  Andrew Winslow},
  title        = {The Complexity of Fixed-Height Patterned Tile Self-Assembly},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {28},
  number       = {5},
  pages        = {465--482},
  year         = {2017},
  url          = {https://doi.org/10.1142/S0129054117400020},
  doi          = {10.1142/S0129054117400020},
  timestamp    = {Thu, 18 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/SekiW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/JohnsenKS17,
  author       = {Aleck C. Johnsen and
                  Ming{-}Yang Kao and
                  Shinnosuke Seki},
  title        = {A manually-checkable proof for the NP-hardness of 11-color pattern
                  self-assembly tileset synthesis},
  journal      = {J. Comb. Optim.},
  volume       = {33},
  number       = {2},
  pages        = {496--529},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10878-015-9975-6},
  doi          = {10.1007/S10878-015-9975-6},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jco/JohnsenKS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ManeaMNS17,
  author       = {Florin Manea and
                  Mike M{\"{u}}ller and
                  Dirk Nowotka and
                  Shinnosuke Seki},
  title        = {The extended equation of Lyndon and Sch{\"{u}}tzenberger},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {85},
  pages        = {132--167},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jcss.2016.11.003},
  doi          = {10.1016/J.JCSS.2016.11.003},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/ManeaMNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OtaS17,
  author       = {Makoto Ota and
                  Shinnosuke Seki},
  title        = {Rule set design problems for oritatami systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {671},
  pages        = {26--35},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2016.09.010},
  doi          = {10.1016/J.TCS.2016.09.010},
  timestamp    = {Thu, 04 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/OtaS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/HanKRS17,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Trent A. Rogers and
                  Shinnosuke Seki},
  editor       = {Giovanni Pighizzini and
                  Cezar C{\^{a}}mpeanu},
  title        = {Self-attraction Removal from Oritatami Systems},
  booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10316},
  pages        = {164--176},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60252-3\_13},
  doi          = {10.1007/978-3-319-60252-3\_13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/HanKRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/HanKOS16,
  author       = {Yo{-}Sub Han and
                  Hwee Kim and
                  Makoto Ota and
                  Shinnosuke Seki},
  editor       = {Yannick Rondelez and
                  Damien Woods},
  title        = {Nondeterministic Seedless Oritatami Systems and Hardness of Testing
                  Their Equivalence},
  booktitle    = {{DNA} Computing and Molecular Programming - 22nd International Conference,
                  {DNA} 22, Munich, Germany, September 4-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9818},
  pages        = {19--34},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-43994-5\_2},
  doi          = {10.1007/978-3-319-43994-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/HanKOS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GearyMSS16,
  author       = {Cody W. Geary and
                  Pierre{-}Etienne Meunier and
                  Nicolas Schabanel and
                  Shinnosuke Seki},
  editor       = {Piotr Faliszewski and
                  Anca Muscholl and
                  Rolf Niedermeier},
  title        = {Programming Biomolecules That Fold Greedily During Transcription},
  booktitle    = {41st International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
  series       = {LIPIcs},
  volume       = {58},
  pages        = {43:1--43:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2016.43},
  doi          = {10.4230/LIPICS.MFCS.2016.43},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/GearyMSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/SekiW16,
  author       = {Shinnosuke Seki and
                  Andrew Winslow},
  editor       = {Yo{-}Sub Han and
                  Kai Salomaa},
  title        = {The Complexity of Fixed-Height Patterned Tile Self-assembly},
  booktitle    = {Implementation and Application of Automata - 21st International Conference,
                  {CIAA} 2016, Seoul, South Korea, July 19-22, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9705},
  pages        = {248--259},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40946-7\_21},
  doi          = {10.1007/978-3-319-40946-7\_21},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/SekiW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/Seki16,
  author       = {Shinnosuke Seki},
  title        = {Patterned Self-Assembly Tile Set Synthesis},
  booktitle    = {Encyclopedia of Algorithms},
  pages        = {1542--1545},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-1-4939-2864-4\_666},
  doi          = {10.1007/978-1-4939-2864-4\_666},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/algo/Seki16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SekiW16,
  author       = {Shinnosuke Seki and
                  Andrew Winslow},
  title        = {The Complexity of Fixed-Height Patterned Tile Self-Assembly},
  journal      = {CoRR},
  volume       = {abs/1604.07190},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.07190},
  eprinttype    = {arXiv},
  eprint       = {1604.07190},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SekiW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/ChenDS15,
  author       = {Ho{-}Lin Chen and
                  David Doty and
                  Shinnosuke Seki},
  title        = {Program Size and Temperature in Self-Assembly},
  journal      = {Algorithmica},
  volume       = {72},
  number       = {3},
  pages        = {884--899},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00453-014-9879-3},
  doi          = {10.1007/S00453-014-9879-3},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithmica/ChenDS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/IbarraS15,
  author       = {Oscar H. Ibarra and
                  Shinnosuke Seki},
  title        = {Semilinear Sets and Counter Machines: a Brief Survey},
  journal      = {Fundam. Informaticae},
  volume       = {138},
  number       = {1-2},
  pages        = {61--76},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1198},
  doi          = {10.3233/FI-2015-1198},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/IbarraS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/KariKS15,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Shinnosuke Seki},
  title        = {3-color bounded patterned self-assembly},
  journal      = {Nat. Comput.},
  volume       = {14},
  number       = {2},
  pages        = {279--292},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11047-014-9434-9},
  doi          = {10.1007/S11047-014-9434-9},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/KariKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/JonoskaKS15,
  author       = {Natasa Jonoska and
                  Daria Karpenko and
                  Shinnosuke Seki},
  title        = {Dynamic Simulation of 1D Cellular Automata in the Active aTAM},
  journal      = {New Gener. Comput.},
  volume       = {33},
  number       = {3},
  pages        = {271--295},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00354-015-0302-7},
  doi          = {10.1007/S00354-015-0302-7},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/JonoskaKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwords/ManeaS15,
  author       = {Florin Manea and
                  Shinnosuke Seki},
  editor       = {Florin Manea and
                  Dirk Nowotka},
  title        = {Square-Density Increasing Mappings},
  booktitle    = {Combinatorics on Words - 10th International Conference, {WORDS} 2015,
                  Kiel, Germany, September 14-17, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9304},
  pages        = {160--169},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23660-5\_14},
  doi          = {10.1007/978-3-319-23660-5\_14},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cwords/ManeaS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KariKMPS15,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Pierre{-}{\'{E}}tienne Meunier and
                  Matthew J. Patitz and
                  Shinnosuke Seki},
  editor       = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Kazuo Iwama and
                  Naoki Kobayashi and
                  Bettina Speckmann},
  title        = {Binary Pattern Tile Set Synthesis Is NP-hard},
  booktitle    = {Automata, Languages, and Programming - 42nd International Colloquium,
                  {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9134},
  pages        = {1022--1034},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-47672-7\_83},
  doi          = {10.1007/978-3-662-47672-7\_83},
  timestamp    = {Fri, 27 Mar 2020 09:02:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/KariKMPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GearyMSS15,
  author       = {Cody W. Geary and
                  Pierre{-}{\'{E}}tienne Meunier and
                  Nicolas Schabanel and
                  Shinnosuke Seki},
  title        = {Efficient Universal Computation by Greedy Molecular Folding},
  journal      = {CoRR},
  volume       = {abs/1508.00510},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.00510},
  eprinttype    = {arXiv},
  eprint       = {1508.00510},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GearyMSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/LavadoPS14,
  author       = {Giovanna J. Lavado and
                  Giovanni Pighizzini and
                  Shinnosuke Seki},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Operational State Complexity under Parikh Equivalence},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {294--305},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_26},
  doi          = {10.1007/978-3-319-09704-6\_26},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/LavadoPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ManeaMNS14,
  author       = {Florin Manea and
                  Mike M{\"{u}}ller and
                  Dirk Nowotka and
                  Shinnosuke Seki},
  editor       = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
                  Martin Dietzfelbinger and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Generalised Lyndon-Sch{\"{u}}tzenberger Equations},
  booktitle    = {Mathematical Foundations of Computer Science 2014 - 39th International
                  Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8634},
  pages        = {402--413},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44522-8\_34},
  doi          = {10.1007/978-3-662-44522-8\_34},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ManeaMNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JonoskaMS14,
  author       = {Natasa Jonoska and
                  Florin Manea and
                  Shinnosuke Seki},
  editor       = {Viliam Geffert and
                  Bart Preneel and
                  Branislav Rovan and
                  Julius Stuller and
                  A Min Tjoa},
  title        = {A Stronger Square Conjecture on Binary Words},
  booktitle    = {{SOFSEM} 2014: Theory and Practice of Computer Science - 40th International
                  Conference on Current Trends in Theory and Practice of Computer Science,
                  Nov{\'{y}} Smokovec, Slovakia, January 26-29, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8327},
  pages        = {339--350},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-04298-5\_30},
  doi          = {10.1007/978-3-319-04298-5\_30},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/JonoskaMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KariKMPS14,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Pierre{-}{\'{E}}tienne Meunier and
                  Matthew J. Patitz and
                  Shinnosuke Seki},
  title        = {Binary pattern tile set synthesis is NP-hard},
  journal      = {CoRR},
  volume       = {abs/1404.0967},
  year         = {2014},
  url          = {http://arxiv.org/abs/1404.0967},
  eprinttype    = {arXiv},
  eprint       = {1404.0967},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KariKMPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JohnsenKS14,
  author       = {Aleck C. Johnsen and
                  Ming{-}Yang Kao and
                  Shinnosuke Seki},
  title        = {Computing Minimum Tile Sets to Self-Assemble Colors Patterns},
  journal      = {CoRR},
  volume       = {abs/1404.2962},
  year         = {2014},
  url          = {http://arxiv.org/abs/1404.2962},
  eprinttype    = {arXiv},
  eprint       = {1404.2962},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/JohnsenKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JohnsenKS14a,
  author       = {Aleck C. Johnsen and
                  Ming{-}Yang Kao and
                  Shinnosuke Seki},
  title        = {A manually-checkable proof for the NP-hardness of 11-color pattern
                  self-assembly tile set synthesis},
  journal      = {CoRR},
  volume       = {abs/1409.1619},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.1619},
  eprinttype    = {arXiv},
  eprint       = {1409.1619},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/JohnsenKS14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/SekiO13,
  author       = {Shinnosuke Seki and
                  Yasushi Okuno},
  title        = {On the Behavior of Tile Assembly System at High Temperatures},
  journal      = {Comput.},
  volume       = {2},
  number       = {2},
  pages        = {107--124},
  year         = {2013},
  url          = {https://doi.org/10.3233/COM-13020},
  doi          = {10.3233/COM-13020},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/SekiO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LavadoPS13,
  author       = {Giovanna J. Lavado and
                  Giovanni Pighizzini and
                  Shinnosuke Seki},
  title        = {Converting nondeterministic automata and context-free grammars into
                  Parikh equivalent one-way and two-way deterministic automata},
  journal      = {Inf. Comput.},
  volume       = {228},
  pages        = {1--15},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.06.003},
  doi          = {10.1016/J.IC.2013.06.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LavadoPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/FazekasIOST13,
  author       = {Szil{\'{a}}rd Zsolt Fazekas and
                  Hiro Ito and
                  Yasushi Okuno and
                  Shinnosuke Seki and
                  Kei Taneishi},
  title        = {On computational complexity of graph inference from counting},
  journal      = {Nat. Comput.},
  volume       = {12},
  number       = {4},
  pages        = {589--603},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11047-012-9349-2},
  doi          = {10.1007/S11047-012-9349-2},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nc/FazekasIOST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraS13,
  author       = {Oscar H. Ibarra and
                  Shinnosuke Seki},
  title        = {On the open problem of Ginsburg concerning semilinear sets and related
                  problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {501},
  pages        = {11--19},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.025},
  doi          = {10.1016/J.TCS.2013.07.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/IbarraS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toc/BryansCDKS13,
  author       = {Nathaniel Bryans and
                  Ehsan Chiniforooshan and
                  David Doty and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {The Power of Nondeterminism in Self-Assembly},
  journal      = {Theory Comput.},
  volume       = {9},
  pages        = {1--29},
  year         = {2013},
  url          = {https://doi.org/10.4086/toc.2013.v009a001},
  doi          = {10.4086/TOC.2013.V009A001},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toc/BryansCDKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KariKS13,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Shinnosuke Seki},
  editor       = {David Soloveichik and
                  Bernard Yurke},
  title        = {3-Color Bounded Patterned Self-assembly - (Extended Abstract)},
  booktitle    = {{DNA} Computing and Molecular Programming - 19th International Conference,
                  {DNA} 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8141},
  pages        = {105--117},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-01928-4\_8},
  doi          = {10.1007/978-3-319-01928-4\_8},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/KariKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/JohnsenKS13,
  author       = {Aleck C. Johnsen and
                  Ming{-}Yang Kao and
                  Shinnosuke Seki},
  editor       = {Leizhen Cai and
                  Siu{-}Wing Cheng and
                  Tak Wah Lam},
  title        = {Computing Minimum Tile Sets to Self-Assemble Color Patterns},
  booktitle    = {Algorithms and Computation - 24th International Symposium, {ISAAC}
                  2013, Hong Kong, China, December 16-18, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8283},
  pages        = {699--710},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45030-3\_65},
  doi          = {10.1007/978-3-642-45030-3\_65},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/JohnsenKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/IbarraS13,
  author       = {Oscar H. Ibarra and
                  Shinnosuke Seki},
  editor       = {T.{-}H. Hubert Chan and
                  Lap Chi Lau and
                  Luca Trevisan},
  title        = {On the Boundedness Property of Semilinear Sets},
  booktitle    = {Theory and Applications of Models of Computation, 10th International
                  Conference, {TAMC} 2013, Hong Kong, China, May 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7876},
  pages        = {156--168},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38236-9\_15},
  doi          = {10.1007/978-3-642-38236-9\_15},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/IbarraS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/Seki13,
  author       = {Shinnosuke Seki},
  editor       = {Giancarlo Mauri and
                  Alberto Dennunzio and
                  Luca Manzoni and
                  Antonio E. Porreca},
  title        = {Combinatorial Optimization in Pattern Assembly - (Extended Abstract)},
  booktitle    = {Unconventional Computation and Natural Computation - 12th International
                  Conference, {UCNC} 2013, Milan, Italy, July 1-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7956},
  pages        = {220--231},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39074-6\_21},
  doi          = {10.1007/978-3-642-39074-6\_21},
  timestamp    = {Sat, 09 Apr 2022 12:39:24 +0200},
  biburl       = {https://dblp.org/rec/conf/uc/Seki13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3771,
  author       = {Shinnosuke Seki},
  title        = {Combinatorial Optimization in Pattern Assembly},
  journal      = {CoRR},
  volume       = {abs/1301.3771},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.3771},
  eprinttype    = {arXiv},
  eprint       = {1301.3771},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-3771.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KariKS13,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Shinnosuke Seki},
  title        = {3-color Bounded Patterned Self-assembly},
  journal      = {CoRR},
  volume       = {abs/1306.3257},
  year         = {2013},
  url          = {http://arxiv.org/abs/1306.3257},
  eprinttype    = {arXiv},
  eprint       = {1306.3257},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KariKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LemoyMS13,
  author       = {R{\'{e}}mi Lemoy and
                  Alexander Mozeika and
                  Shinnosuke Seki},
  title        = {Transfer matrix analysis of one-dimensional majority cellular automata
                  with thermal noise},
  journal      = {CoRR},
  volume       = {abs/1311.4388},
  year         = {2013},
  url          = {http://arxiv.org/abs/1311.4388},
  eprinttype    = {arXiv},
  eprint       = {1311.4388},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LemoyMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/IbarraS12,
  author       = {Oscar H. Ibarra and
                  Shinnosuke Seki},
  title        = {Characterizations of Bounded semilinear Languages by One-Way and Two-Way
                  Deterministic Machines},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {23},
  number       = {6},
  pages        = {1291--1306},
  year         = {2012},
  url          = {https://doi.org/10.1142/S0129054112400539},
  doi          = {10.1142/S0129054112400539},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/IbarraS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Seki12,
  author       = {Shinnosuke Seki},
  title        = {Absoluteness of subword inequality is undecidable},
  journal      = {Theor. Comput. Sci.},
  volume       = {418},
  pages        = {116--120},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.10.017},
  doi          = {10.1016/J.TCS.2011.10.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Seki12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChiniforooshanDIKS12,
  author       = {Ehsan Chiniforooshan and
                  Mark Daley and
                  Oscar H. Ibarra and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {One-reversal counter machines and multihead automata: Revisited},
  journal      = {Theor. Comput. Sci.},
  volume       = {454},
  pages        = {81--87},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.04.002},
  doi          = {10.1016/J.TCS.2012.04.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChiniforooshanDIKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KariSX12,
  author       = {Lila Kari and
                  Shinnosuke Seki and
                  Zhi Xu},
  editor       = {Michael J. Dinneen and
                  Bakhadyr Khoussainov and
                  Andr{\'{e}} Nies},
  title        = {Triangular and Hexagonal Tile Self-assembly Systems},
  booktitle    = {Computation, Physics and Beyond - International Workshop on Theoretical
                  Computer Science, {WTCS} 2012, Dedicated to Cristian S. Calude on
                  the Occasion of His 60th Birthday, Auckland, New Zealand, February
                  21-24, 2012, Revised Selected and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7160},
  pages        = {357--375},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27654-5\_28},
  doi          = {10.1007/978-3-642-27654-5\_28},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KariSX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/SekiO12,
  author       = {Shinnosuke Seki and
                  Yasushi Okuno},
  editor       = {S. Barry Cooper and
                  Anuj Dawar and
                  Benedikt L{\"{o}}we},
  title        = {On the Behavior of Tile Assembly System at High Temperatures},
  booktitle    = {How the World Computes - Turing Centenary Conference and 8th Conference
                  on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7318},
  pages        = {549--559},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30870-3\_55},
  doi          = {10.1007/978-3-642-30870-3\_55},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/SekiO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LavadoPS12,
  author       = {Giovanna J. Lavado and
                  Giovanni Pighizzini and
                  Shinnosuke Seki},
  editor       = {Hsu{-}Chun Yen and
                  Oscar H. Ibarra},
  title        = {Converting Nondeterministic Automata and Context-Free Grammars into
                  Parikh Equivalent Deterministic Automata},
  booktitle    = {Developments in Language Theory - 16th International Conference, {DLT}
                  2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7410},
  pages        = {284--295},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31653-1\_26},
  doi          = {10.1007/978-3-642-31653-1\_26},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/LavadoPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KariKS12,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Shinnosuke Seki},
  editor       = {M{\'{a}}ria Bielikov{\'{a}} and
                  Gerhard Friedrich and
                  Georg Gottlob and
                  Stefan Katzenbeisser and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {Iterated Hairpin Completions of Non-crossing Words},
  booktitle    = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
                  on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
                  Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7147},
  pages        = {337--348},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27660-6\_28},
  doi          = {10.1007/978-3-642-27660-6\_28},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/KariKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/nc/KariSS12,
  author       = {Lila Kari and
                  Shinnosuke Seki and
                  Petr Sos{\'{\i}}k},
  editor       = {Grzegorz Rozenberg and
                  Thomas B{\"{a}}ck and
                  Joost N. Kok},
  title        = {{DNA} Computing - Foundations and Implications},
  booktitle    = {Handbook of Natural Computing},
  pages        = {1073--1127},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-540-92910-9\_33},
  doi          = {10.1007/978-3-540-92910-9\_33},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/nc/KariSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4949,
  author       = {Shinnosuke Seki and
                  Yasushi Okuno},
  title        = {On the behavior of tile assembly system at high temperatures},
  journal      = {CoRR},
  volume       = {abs/1211.4949},
  year         = {2012},
  url          = {http://arxiv.org/abs/1211.4949},
  eprinttype    = {arXiv},
  eprint       = {1211.4949},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-4949.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1346,
  author       = {Giovanna J. Lavado and
                  Giovanni Pighizzini and
                  Shinnosuke Seki},
  title        = {Converting Nondeterministic Automata and Context-Free Grammars into
                  Parikh Equivalent One-Way and Two-Way Deterministic Automata},
  journal      = {CoRR},
  volume       = {abs/1212.1346},
  year         = {2012},
  url          = {http://arxiv.org/abs/1212.1346},
  eprinttype    = {arXiv},
  eprint       = {1212.1346},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-1346.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CuiKS11,
  author       = {Bo Cui and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {K-Comma Codes and Their Generalizations},
  journal      = {Fundam. Informaticae},
  volume       = {107},
  number       = {1},
  pages        = {1--18},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-390},
  doi          = {10.3233/FI-2011-390},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CuiKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KariSK11,
  author       = {Lila Kari and
                  Shinnosuke Seki and
                  Steffen Kopecki},
  title        = {On the Regularity of Iterated Hairpin Completion of a Single Word},
  journal      = {Fundam. Informaticae},
  volume       = {110},
  number       = {1-4},
  pages        = {201--215},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-538},
  doi          = {10.3233/FI-2011-538},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KariSK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CzeizlerCKS11,
  author       = {Elena Czeizler and
                  Eugen Czeizler and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {An extension of the Lyndon-Sch{\"{u}}tzenberger result to pseudoperiodic
                  words},
  journal      = {Inf. Comput.},
  volume       = {209},
  number       = {4},
  pages        = {717--730},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.ic.2011.01.001},
  doi          = {10.1016/J.IC.2011.01.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CzeizlerCKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DaleyKSS11,
  author       = {Mark Daley and
                  Lila Kari and
                  Shinnosuke Seki and
                  Petr Sos{\'{\i}}k},
  title        = {Orthogonal Shuffle on Trajectories},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {22},
  number       = {1},
  pages        = {213--222},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0129054111007964},
  doi          = {10.1142/S0129054111007964},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/DaleyKSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KariMS11,
  author       = {Lila Kari and
                  Beno{\^{\i}}t Masson and
                  Shinnosuke Seki},
  title        = {Properties of Pseudo-Primitive Words and their Applications},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {22},
  number       = {2},
  pages        = {447--471},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0129054111008131},
  doi          = {10.1142/S0129054111008131},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/KariMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KariS11,
  author       = {Lila Kari and
                  Shinnosuke Seki},
  title        = {Schema for Parallel Insertion and Deletion: Revisited},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {22},
  number       = {7},
  pages        = {1655--1668},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0129054111008945},
  doi          = {10.1142/S0129054111008945},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/KariS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CuiKS11,
  author       = {Bo Cui and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {Block insertion and deletion on trajectories},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {8-10},
  pages        = {714--728},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2010.11.009},
  doi          = {10.1016/J.TCS.2010.11.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CuiKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/IbarraS11,
  author       = {Oscar H. Ibarra and
                  Shinnosuke Seki},
  editor       = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
                  Szabolcs Iv{\'{a}}n},
  title        = {Characterizations of Bounded Semilinear Languages by One-Way and Two-way
                  Deterministic Machines},
  booktitle    = {Automata and Formal Languages, 13th International Conference, {AFL}
                  2011, Debrecen, Hungary, August 17-22, 2011, Proceedings},
  pages        = {211--224},
  year         = {2011},
  timestamp    = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl       = {https://dblp.org/rec/conf/afl/IbarraS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ChenDS11,
  author       = {Ho{-}Lin Chen and
                  David Doty and
                  Shinnosuke Seki},
  editor       = {Takao Asano and
                  Shin{-}Ichi Nakano and
                  Yoshio Okamoto and
                  Osamu Watanabe},
  title        = {Program Size and Temperature in Self-Assembly},
  booktitle    = {Algorithms and Computation - 22nd International Symposium, {ISAAC}
                  2011, Yokohama, Japan, December 5-8, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7074},
  pages        = {445--453},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25591-5\_46},
  doi          = {10.1007/978-3-642-25591-5\_46},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ChenDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/BryansCDKS11,
  author       = {Nathaniel Bryans and
                  Ehsan Chiniforooshan and
                  David Doty and
                  Lila Kari and
                  Shinnosuke Seki},
  editor       = {Dana Randall},
  title        = {The Power of Nondeterminism in Self-Assembly},
  booktitle    = {Proceedings of the Twenty-Second Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2011, San Francisco, California, USA, January 23-25,
                  2011},
  pages        = {590--602},
  publisher    = {{SIAM}},
  year         = {2011},
  url          = {https://doi.org/10.1137/1.9781611973082.46},
  doi          = {10.1137/1.9781611973082.46},
  timestamp    = {Tue, 02 Feb 2021 17:07:23 +0100},
  biburl       = {https://dblp.org/rec/conf/soda/BryansCDKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChiniforooshanDIKS11,
  author       = {Ehsan Chiniforooshan and
                  Mark Daley and
                  Oscar H. Ibarra and
                  Lila Kari and
                  Shinnosuke Seki},
  editor       = {Ivana Cern{\'{a}} and
                  Tibor Gyim{\'{o}}thy and
                  Juraj Hromkovic and
                  Keith G. Jeffery and
                  Rastislav Kr{\'{a}}lovic and
                  Marko Vukolic and
                  Stefan Wolf},
  title        = {One-Reversal Counter Machines and Multihead Automata: Revisited},
  booktitle    = {{SOFSEM} 2011: Theory and Practice of Computer Science - 37th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 22-28, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6543},
  pages        = {166--177},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18381-2\_14},
  doi          = {10.1007/978-3-642-18381-2\_14},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/ChiniforooshanDIKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2385,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Shinnosuke Seki},
  title        = {On the regularity of iterated hairpin completion of a single word},
  journal      = {CoRR},
  volume       = {abs/1104.2385},
  year         = {2011},
  url          = {http://arxiv.org/abs/1104.2385},
  eprinttype    = {arXiv},
  eprint       = {1104.2385},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1104-2385.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-2758,
  author       = {Shinnosuke Seki},
  title        = {Absoluteness of subword inequality is undecidable},
  journal      = {CoRR},
  volume       = {abs/1108.2758},
  year         = {2011},
  url          = {http://arxiv.org/abs/1108.2758},
  eprinttype    = {arXiv},
  eprint       = {1108.2758},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2758.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0760,
  author       = {Lila Kari and
                  Steffen Kopecki and
                  Shinnosuke Seki},
  title        = {Iterated Hairpin Completions of Non-crossing Words},
  journal      = {CoRR},
  volume       = {abs/1110.0760},
  year         = {2011},
  url          = {http://arxiv.org/abs/1110.0760},
  eprinttype    = {arXiv},
  eprint       = {1110.0760},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-0760.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KariS10,
  author       = {Lila Kari and
                  Shinnosuke Seki},
  title        = {An Improved Bound for an Extension of Fine and Wilf's Theorem and
                  Its Optimality},
  journal      = {Fundam. Informaticae},
  volume       = {101},
  number       = {3},
  pages        = {215--236},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-285},
  doi          = {10.3233/FI-2010-285},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KariS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CzeizlerKS10,
  author       = {Elena Czeizler and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {On a special class of primitive words},
  journal      = {Theor. Comput. Sci.},
  volume       = {411},
  number       = {3},
  pages        = {617--630},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.tcs.2009.09.037},
  doi          = {10.1016/J.TCS.2009.09.037},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CzeizlerKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KariS10,
  author       = {Lila Kari and
                  Shinnosuke Seki},
  editor       = {Yuan Gao and
                  Hanlin Lu and
                  Shinnosuke Seki and
                  Sheng Yu},
  title        = {Schema for Parallel Insertion and Deletion},
  booktitle    = {Developments in Language Theory, 14th International Conference, {DLT}
                  2010, London, ON, Canada, August 17-20, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6224},
  pages        = {267--278},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14455-4\_25},
  doi          = {10.1007/978-3-642-14455-4\_25},
  timestamp    = {Thu, 19 Mar 2020 15:28:05 +0100},
  biburl       = {https://dblp.org/rec/conf/dlt/KariS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/ChiniforooshanDKS10,
  author       = {Ehsan Chiniforooshan and
                  David Doty and
                  Lila Kari and
                  Shinnosuke Seki},
  editor       = {Yasubumi Sakakibara and
                  Yongli Mi},
  title        = {Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits
                  Using {DNA} Strand Displacement},
  booktitle    = {{DNA} Computing and Molecular Programming - 16th International Conference,
                  {DNA} 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6518},
  pages        = {25--36},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18305-8\_3},
  doi          = {10.1007/978-3-642-18305-8\_3},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/ChiniforooshanDKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/KariSX10,
  author       = {Lila Kari and
                  Shinnosuke Seki and
                  Zhi Xu},
  editor       = {Yasubumi Sakakibara and
                  Yongli Mi},
  title        = {Triangular Tile Self-assembly Systems},
  booktitle    = {{DNA} Computing and Molecular Programming - 16th International Conference,
                  {DNA} 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6518},
  pages        = {89--99},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18305-8\_9},
  doi          = {10.1007/978-3-642-18305-8\_9},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/KariSX10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2010,
  editor       = {Yuan Gao and
                  Hanlin Lu and
                  Shinnosuke Seki and
                  Sheng Yu},
  title        = {Developments in Language Theory, 14th International Conference, {DLT}
                  2010, London, ON, Canada, August 17-20, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6224},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14455-4},
  doi          = {10.1007/978-3-642-14455-4},
  isbn         = {978-3-642-14454-7},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlt/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-4084,
  author       = {Lila Kari and
                  Beno{\^{\i}}t Masson and
                  Shinnosuke Seki},
  title        = {Properties of Pseudo-Primitive Words and their Applications},
  journal      = {CoRR},
  volume       = {abs/1002.4084},
  year         = {2010},
  url          = {http://arxiv.org/abs/1002.4084},
  eprinttype    = {arXiv},
  eprint       = {1002.4084},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1002-4084.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-4996,
  author       = {Lila Kari and
                  Shinnosuke Seki and
                  Zhi Xu},
  title        = {Triangular Self-Assembly},
  journal      = {CoRR},
  volume       = {abs/1002.4996},
  year         = {2010},
  url          = {http://arxiv.org/abs/1002.4996},
  eprinttype    = {arXiv},
  eprint       = {1002.4996},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1002-4996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-3275,
  author       = {Ehsan Chiniforooshan and
                  David Doty and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits
                  using {DNA} Strand Displacement},
  journal      = {CoRR},
  volume       = {abs/1003.3275},
  year         = {2010},
  url          = {http://arxiv.org/abs/1003.3275},
  eprinttype    = {arXiv},
  eprint       = {1003.3275},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-3275.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-2897,
  author       = {Nathaniel Bryans and
                  Ehsan Chiniforooshan and
                  David Doty and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {The Power of Nondeterminism in Self-Assembly},
  journal      = {CoRR},
  volume       = {abs/1006.2897},
  year         = {2010},
  url          = {http://arxiv.org/abs/1006.2897},
  eprinttype    = {arXiv},
  eprint       = {1006.2897},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-2897.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-3493,
  author       = {Ho{-}Lin Chen and
                  David Doty and
                  Shinnosuke Seki and
                  David Soloveichik},
  title        = {Parallelism, Program Size, Time, and Temperature in Self-Assembly},
  journal      = {CoRR},
  volume       = {abs/1011.3493},
  year         = {2010},
  url          = {http://arxiv.org/abs/1011.3493},
  eprinttype    = {arXiv},
  eprint       = {1011.3493},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1011-3493.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/BryansCDKS10,
  author       = {Nathaniel Bryans and
                  Ehsan Chiniforooshan and
                  David Doty and
                  Lila Kari and
                  Shinnosuke Seki},
  title        = {The Power of Nondeterminism in Self-Assembly},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR10-131}},
  year         = {2010},
  url          = {https://eccc.weizmann.ac.il/report/2010/131},
  eprinttype    = {ECCC},
  eprint       = {TR10-131},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/BryansCDKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ChenDSS10,
  author       = {Ho{-}Lin Chen and
                  David Doty and
                  Shinnosuke Seki and
                  David Soloveichik},
  title        = {Parallelism, Program Size, Time, and Temperature in Self-Assembly},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR10-195}},
  year         = {2010},
  url          = {https://eccc.weizmann.ac.il/report/2010/195},
  eprinttype    = {ECCC},
  eprint       = {TR10-195},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ChenDSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KariS09,
  author       = {Lila Kari and
                  Shinnosuke Seki},
  title        = {On pseudoknot-bordered words and their properties},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {75},
  number       = {2},
  pages        = {113--121},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jcss.2008.08.002},
  doi          = {10.1016/J.JCSS.2008.08.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/KariS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KariMS09,
  author       = {Lila Kari and
                  Kalpana Mahalingam and
                  Shinnosuke Seki},
  title        = {Twin-roots of words and their properties},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {24-25},
  pages        = {2393--2400},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2009.02.032},
  doi          = {10.1016/J.TCS.2009.02.032},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KariMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ItoKKS09,
  author       = {Masami Ito and
                  Lila Kari and
                  Zachary Kincaid and
                  Shinnosuke Seki},
  editor       = {Anne Condon and
                  David Harel and
                  Joost N. Kok and
                  Arto Salomaa and
                  Erik Winfree},
  title        = {Duplication in {DNA} Sequences},
  booktitle    = {Algorithmic Bioprocesses},
  series       = {Natural Computing Series},
  pages        = {43--61},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-88869-7\_4},
  doi          = {10.1007/978-3-540-88869-7\_4},
  timestamp    = {Sun, 25 Jul 2021 11:52:09 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ItoKKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/CuiKS09,
  author       = {Bo Cui and
                  Lila Kari and
                  Shinnosuke Seki},
  editor       = {Symeon Bozapalidis and
                  George Rahonis},
  title        = {On the Reversibility of Parallel Insertion, and Its Relation to Comma
                  Codes},
  booktitle    = {Algebraic Informatics, Third International Conference, {CAI} 2009,
                  Thessaloniki, Greece, May 19-22, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5725},
  pages        = {204--219},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03564-7\_13},
  doi          = {10.1007/978-3-642-03564-7\_13},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cai/CuiKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CzeizlerCKS09,
  author       = {Elena Czeizler and
                  Eugen Czeizler and
                  Lila Kari and
                  Shinnosuke Seki},
  editor       = {Volker Diekert and
                  Dirk Nowotka},
  title        = {An Extension of the Lyndon Sch{\"{u}}tzenberger Result to Pseudoperiodic
                  Words},
  booktitle    = {Developments in Language Theory, 13th International Conference, {DLT}
                  2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5583},
  pages        = {183--194},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02737-6\_14},
  doi          = {10.1007/978-3-642-02737-6\_14},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/CzeizlerCKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ItoKKS08,
  author       = {Masami Ito and
                  Lila Kari and
                  Zachary Kincaid and
                  Shinnosuke Seki},
  editor       = {Masami Ito and
                  Masafumi Toyama},
  title        = {Duplication in {DNA} Sequences},
  booktitle    = {Developments in Language Theory, 12th International Conference, {DLT}
                  2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5257},
  pages        = {419--430},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85780-8\_33},
  doi          = {10.1007/978-3-540-85780-8\_33},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/ItoKKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CzeizlerKS08,
  author       = {Elena Czeizler and
                  Lila Kari and
                  Shinnosuke Seki},
  editor       = {Edward Ochmanski and
                  Jerzy Tyszkiewicz},
  title        = {On a Special Class of Primitive Words},
  booktitle    = {Mathematical Foundations of Computer Science 2008, 33rd International
                  Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5162},
  pages        = {265--277},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85238-4\_21},
  doi          = {10.1007/978-3-540-85238-4\_21},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/CzeizlerKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwnc/KariS07,
  author       = {Lila Kari and
                  Shinnosuke Seki},
  editor       = {Yasuhiro Suzuki and
                  Masami Hagiya and
                  Hiroshi Umeo and
                  Andrew Adamatzky},
  title        = {Towards the Sequence Design Preventing Pseudoknot Formation},
  booktitle    = {Natural Computing - 2nd International Workshop on Natural Computing,
                  Nagoya, Japan, December 2007, Proceedings},
  series       = {Proceedings in Information and Communications Technology},
  volume       = {1},
  pages        = {101--110},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-4-431-88981-6\_9},
  doi          = {10.1007/978-4-431-88981-6\_9},
  timestamp    = {Wed, 12 Sep 2018 18:57:42 +0200},
  biburl       = {https://dblp.org/rec/conf/iwnc/KariS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwnc/SekiK07,
  author       = {Shinnosuke Seki and
                  Satoshi Kobayashi},
  editor       = {Yasuhiro Suzuki and
                  Masami Hagiya and
                  Hiroshi Umeo and
                  Andrew Adamatzky},
  title        = {An Efficient Multiple Alignment Method for {RNA} Secondary Structures
                  Including Pseudoknots},
  booktitle    = {Natural Computing - 2nd International Workshop on Natural Computing,
                  Nagoya, Japan, December 2007, Proceedings},
  series       = {Proceedings in Information and Communications Technology},
  volume       = {1},
  pages        = {179--188},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-4-431-88981-6\_16},
  doi          = {10.1007/978-4-431-88981-6\_16},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwnc/SekiK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SekiK05,
  author       = {Shinnosuke Seki and
                  Satoshi Kobayashi},
  title        = {A Grammatical Approach to the Alignment of Structure-Annotated Strings},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {88-D},
  number       = {12},
  pages        = {2727--2737},
  year         = {2005},
  url          = {https://doi.org/10.1093/ietisy/e88-d.12.2727},
  doi          = {10.1093/IETISY/E88-D.12.2727},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/SekiK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/SekiK04,
  author       = {Shinnosuke Seki and
                  Satoshi Kobayashi},
  editor       = {Georgios Paliouras and
                  Yasubumi Sakakibara},
  title        = {Efficient Learning of \emph{k}-Reversible Context-Free Grammars from
                  Positive Structural Examples},
  booktitle    = {Grammatical Inference: Algorithms and Applications, 7th International
                  Colloquium, {ICGI} 2004, Athens, Greece, October 11-13, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3264},
  pages        = {285--287},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30195-0\_30},
  doi          = {10.1007/978-3-540-30195-0\_30},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icgi/SekiK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics