Issue 2/2022
Special Issue: The 2^6-th anniversary of Masami Hagiya, Part 1. Programming and Reasoning and Part 2. Molecular Programming
Content (13 Articles)
Codensity Games for Bisimilarity
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell
Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa
Open Access
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
The Weak Universality of Two-Dimensional Five-State von Neumann Neighborhood Number-Conserving Cellular Automaton
Hisamichi Ishizaka, Gil-Tak Kong, Katsunobu Imai
Replication of Arbitrary Hole-Free Shapes via Self-assembly with Signal-Passing Tiles
Andrew Alseth, Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers
On the Computational Power of Phosphate Transfer Reaction Networks
Chun-Hsiang Chan, Cheng-Yu Shih, Ho-Lin Chen
Monotone Control of R Systems
Ryutaro Yako, Daihei Ise, Ken Komiya, Kenzo Fujimoto, Satoshi Kobayashi
DNA Concentration Regulator That can be Driven for a Long Time
Takashi Nakakuki, Keiji Murayama, Hiroyuki Asanuma
Toggling Between Two Limit Cycles in a Molecular Ecosystem
Adrien Fauste-Gay, Nicolas Lobato-Dauzier, Alexandre Baccouche, Yannick Rondelez, Soo Hyeon Kim, Teruo Fujii, Nathanael Aubert-Kato, Anthony J. Genot
Autonomous and Programmable Strand Generator Implemented as DNA and Enzymatic Chemical Reaction Cascade
Ibuki Kawamata, Shin-ichiro M. Nomura, Satoshi Murata