Works matching IS 02883635 AND DT 2022 AND VI 40 AND IP 2

Results: 13

Codensity Games for Bisimilarity.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 403, doi. 10.1007/s00354-022-00186-y

By:

Komorida, Yuichi;
Katsumata, Shin-ya;
Hu, Nick;
Klin, Bartek;
Humeau, Samuel;
Eberhart, Clovis;
Hasuo, Ichiro

Publication type:

Article

Preface to Hagiya-sensei's 2<sup>6</sup>-th Birthday Special Issue.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 399, doi. 10.1007/s00354-022-00184-0

By:

Nishizaki, Shin-ya;
Seki, Shinnosuke

Publication type:

Article

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

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 553, doi. 10.1007/s00354-022-00181-3

By:

Alseth, Andrew;
Hendricks, Jacob;
Patitz, Matthew J.;
Rogers, Trent A.

Publication type:

Article

Toggling Between Two Limit Cycles in a Molecular Ecosystem.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 703, doi. 10.1007/s00354-022-00178-y

By:

Fauste-Gay, Adrien;
Lobato-Dauzier, Nicolas;
Baccouche, Alexandre;
Rondelez, Yannick;
Kim, Soo Hyeon;
Fujii, Teruo;
Aubert-Kato, Nathanael;
Genot, Anthony J.

Publication type:

Article

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

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 481, doi. 10.1007/s00354-022-00177-z

By:

Egi, Satoshi;
Kawata, Akira;
Kori, Mayuko;
Ogawa, Hiromi

Publication type:

Article

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

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 541, doi. 10.1007/s00354-021-00150-2

By:

Ishizaka, Hisamichi;
Kong, Gil-Tak;
Imai, Katsunobu

Publication type:

Article

DNA Concentration Regulator That can be Driven for a Long Time.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 681, doi. 10.1007/s00354-022-00173-3

By:

Nakakuki, Takashi;
Murayama, Keiji;
Asanuma, Hiroyuki

Publication type:

Article

Making Programs Reversible with Minimal Extra Data.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 467, doi. 10.1007/s00354-022-00169-z

By:

Glück, Robert;
Yokoyama, Tetsuo

Publication type:

Article

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

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 507, doi. 10.1007/s00354-022-00167-1

By:

Nishida, Yuki;
Saito, Hiromasa;
Chen, Ran;
Kawata, Akira;
Furuse, Jun;
Suenaga, Kohei;
Igarashi, Atsushi

Publication type:

Article

Chemical Reaction Regular Grammars.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 659, doi. 10.1007/s00354-022-00160-8

By:

Okubo, Fumiya;
Fujioka, Kaoru;
Yokomori, Takashi

Publication type:

Article

Monotone Control of R Systems.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 623, doi. 10.1007/s00354-022-00166-2

By:

Yako, Ryutaro;
Ise, Daihei;
Komiya, Ken;
Fujimoto, Kenzo;
Kobayashi, Satoshi

Publication type:

Article

On the Computational Power of Phosphate Transfer Reaction Networks.

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 603, doi. 10.1007/s00354-022-00154-6

By:

Chan, Chun-Hsiang;
Shih, Cheng-Yu;
Chen, Ho-Lin

Publication type:

Article

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

Published in:

New Generation Computing, 2022, v. 40, n. 2, p. 723, doi. 10.1007/s00354-022-00156-4

By:

Kawamata, Ibuki;
Nomura, Shin-ichiro M.;
Murata, Satoshi

Publication type:

Article