| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Autonomous and Programmable Strand Generator Implemented as DNA and Enzymatic Chemical Reaction Cascade
|
Kawamata, Ibuki
|
|
|
40 |
2 |
p. 723-736
|
artikel
|
| 2 |
Chemical Reaction Regular Grammars
|
Okubo, Fumiya
|
|
|
40 |
2 |
p. 659-680
|
artikel
|
| 3 |
Codensity Games for Bisimilarity
|
Komorida, Yuichi
|
|
|
40 |
2 |
p. 403-465
|
artikel
|
| 4 |
DNA Concentration Regulator That can be Driven for a Long Time
|
Nakakuki, Takashi
|
|
|
40 |
2 |
p. 681-702
|
artikel
|
| 5 |
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell
|
Egi, Satoshi
|
|
|
40 |
2 |
p. 481-506
|
artikel
|
| 6 |
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
|
Nishida, Yuki
|
|
|
40 |
2 |
p. 507-540
|
artikel
|
| 7 |
Making Programs Reversible with Minimal Extra Data
|
Glück, Robert
|
|
|
40 |
2 |
p. 467-480
|
artikel
|
| 8 |
Monotone Control of R Systems
|
Yako, Ryutaro
|
|
|
40 |
2 |
p. 623-657
|
artikel
|
| 9 |
On the Computational Power of Phosphate Transfer Reaction Networks
|
Chan, Chun-Hsiang
|
|
|
40 |
2 |
p. 603-621
|
artikel
|
| 10 |
Preface to Hagiya-sensei’s 26-th Birthday Special Issue
|
Nishizaki, Shin-ya
|
|
|
40 |
2 |
p. 399-402
|
artikel
|
| 11 |
Replication of Arbitrary Hole-Free Shapes via Self-assembly with Signal-Passing Tiles
|
Alseth, Andrew
|
|
|
40 |
2 |
p. 553-601
|
artikel
|
| 12 |
The Weak Universality of Two-Dimensional Five-State von Neumann Neighborhood Number-Conserving Cellular Automaton
|
Ishizaka, Hisamichi
|
|
|
40 |
2 |
p. 541-551
|
artikel
|
| 13 |
Toggling Between Two Limit Cycles in a Molecular Ecosystem
|
Fauste-Gay, Adrien
|
|
|
40 |
2 |
p. 703-721
|
artikel
|
Tijdschrift beschrijving