399 | -- | 402 | Shin-ya Nishizaki, Shinnosuke Seki. 6-th Birthday Special Issue |
403 | -- | 465 | Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo. Codensity Games for Bisimilarity |
467 | -- | 480 | Robert Glück, Tetsuo Yokoyama. Making Programs Reversible with Minimal Extra Data |
481 | -- | 506 | Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa. Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell |
507 | -- | 540 | Yuki Nishida 0001, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi. Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types |
541 | -- | 551 | Hisamichi Ishizaka, GilTak Kong, Katsunobu Imai. The Weak Universality of Two-Dimensional Five-State von Neumann Neighborhood Number-Conserving Cellular Automaton |
553 | -- | 601 | Andrew Alseth, Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers. Replication of Arbitrary Hole-Free Shapes via Self-assembly with Signal-Passing Tiles |
603 | -- | 621 | Chun-Hsiang Chan, Cheng-Yu Shih, Ho-Lin Chen. On the Computational Power of Phosphate Transfer Reaction Networks |
623 | -- | 657 | Ryutaro Yako, Daihei Ise, Ken Komiya, Kenzo Fujimoto, Satoshi Kobayashi. Monotone Control of R Systems |
659 | -- | 680 | Fumiya Okubo, Kaoru Fujioka, Takashi Yokomori. Chemical Reaction Regular Grammars |
681 | -- | 702 | Takashi Nakakuki, Keiji Murayama, Hiroyuki Asanuma. DNA Concentration Regulator That can be Driven for a Long Time |
703 | -- | 721 | Adrien Fauste-Gay, Nicolas Lobato-Dauzier, Alexandre Baccouche, Yannick Rondelez, Soo Hyeon Kim, Teruo Fujii, Nathanaël Aubert-Kato, Anthony J. Genot. Toggling Between Two Limit Cycles in a Molecular Ecosystem |
723 | -- | 736 | Ibuki Kawamata, Shin-ichiro M. Nomura, Satoshi Murata. Autonomous and Programmable Strand Generator Implemented as DNA and Enzymatic Chemical Reaction Cascade |