Volume 40, Issue 2

Search all New Generation Computing articles

July 2022

Special Issue: The 2^6-th anniversary of Masami Hagiya, Part 1. Programming and Reasoning and Part 2. Molecular Programming

Issue Editors:

Shin-ya Nishizaki,
Shinnosuke Seki

13 articles in this issue

Preface to Hagiya-sensei’s 2⁶-th Birthday Special Issue
Shin-ya Nishizaki
Shinnosuke Seki
EditorialNotes 21 July 2022 Pages: 399 - 402
Codensity Games for Bisimilarity
Yuichi Komorida
Shin-ya Katsumata
Ichiro Hasuo
OriginalPaper 03 August 2022 Pages: 403 - 465
Making Programs Reversible with Minimal Extra Data
Robert Glück
Tetsuo Yokoyama
OriginalPaper 04 July 2022 Pages: 467 - 480
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell
Satoshi Egi
Akira Kawata
Hiromi Ogawa
OriginalPaper 21 July 2022 Pages: 481 - 506
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Yuki Nishida
Hiromasa Saito
Atsushi Igarashi
OriginalPaper Open access 27 May 2022 Pages: 507 - 540
The Weak Universality of Two-Dimensional Five-State von Neumann Neighborhood Number-Conserving Cellular Automaton
Hisamichi Ishizaka
Gil-Tak Kong
Katsunobu Imai
OriginalPaper 09 January 2022 Pages: 541 - 551
Replication of Arbitrary Hole-Free Shapes via Self-assembly with Signal-Passing Tiles
Andrew Alseth
Jacob Hendricks
Trent A. Rogers
OriginalPaper 19 July 2022 Pages: 553 - 601
On the Computational Power of Phosphate Transfer Reaction Networks
Chun-Hsiang Chan
Cheng-Yu Shih
Ho-Lin Chen
OriginalPaper 27 March 2022 Pages: 603 - 621
Monotone Control of R Systems
Ryutaro Yako
Daihei Ise
Satoshi Kobayashi
OriginalPaper 13 May 2022 Pages: 623 - 657
Chemical Reaction Regular Grammars
Fumiya Okubo
Kaoru Fujioka
Takashi Yokomori
OriginalPaper 10 March 2022 Pages: 659 - 680
DNA Concentration Regulator That can be Driven for a Long Time
Takashi Nakakuki
Keiji Murayama
Hiroyuki Asanuma
OriginalPaper 10 May 2022 Pages: 681 - 702
Toggling Between Two Limit Cycles in a Molecular Ecosystem
Adrien Fauste-Gay
Nicolas Lobato-Dauzier
Anthony J. Genot
OriginalPaper 03 July 2022 Pages: 703 - 721
Autonomous and Programmable Strand Generator Implemented as DNA and Enzymatic Chemical Reaction Cascade
Ibuki Kawamata
Shin-ichiro M. Nomura
Satoshi Murata
OriginalPaper 27 February 2022 Pages: 723 - 736

Volume 40, Issue 2

Preface to Hagiya-sensei’s 2⁶-th Birthday Special Issue

Codensity Games for Bisimilarity

Making Programs Reversible with Minimal Extra Data

Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

The Weak Universality of Two-Dimensional Five-State von Neumann Neighborhood Number-Conserving Cellular Automaton

Replication of Arbitrary Hole-Free Shapes via Self-assembly with Signal-Passing Tiles

On the Computational Power of Phosphate Transfer Reaction Networks

Monotone Control of R Systems

Chemical Reaction Regular Grammars

DNA Concentration Regulator That can be Driven for a Long Time

Toggling Between Two Limit Cycles in a Molecular Ecosystem

Autonomous and Programmable Strand Generator Implemented as DNA and Enzymatic Chemical Reaction Cascade

Navigation