From post

A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities.

, , , , , и . DNA, том 10467 из Lecture Notes in Computer Science, стр. 232-248. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities., , , , , и . DNA, том 10467 из Lecture Notes in Computer Science, стр. 232-248. Springer, (2017)Impossibility of Sufficiently Simple Chemical Reaction Network Implementations in DNA Strand Displacement.. UCNC, том 11493 из Lecture Notes in Computer Science, стр. 136-149. Springer, (2019)Simplifying Chemical Reaction Network Implementations with Two-Stranded DNA Building Blocks., и . DNA, том 174 из LIPIcs, стр. 2:1-2:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Verifying Chemical Reaction Network Implementations: A Bisimulation Approach., , и . DNA, том 9818 из Lecture Notes in Computer Science, стр. 114-134. Springer, (2016)