Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach., , and . CoRR, (2014)Complexity of Compact Proofreading for Self-assembled Patterns., and . DNA, volume 3892 of Lecture Notes in Computer Science, page 305-324. Springer, (2005)Programmable Control of Nucleation for Algorithmic Self-assembly., and . DNA, volume 3384 of Lecture Notes in Computer Science, page 319-328. Springer, (2004)Optimizing Tile Set Size While Preserving Proofreading with a DNA Self-assembly Compiler., and . DNA, volume 11145 of Lecture Notes in Computer Science, page 37-54. Springer, (2018)On the computational power of DNA annealing and ligation.. DNA Based Computers, volume 27 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 199-221. DIMACS/AMS, (1995)Universal computation via self-assembly of DNA: Some theory and experiments., , and . DNA Based Computers, volume 44 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 191-213. DIMACS/AMS, (1996)Toward molecular programming with DNA.. ASPLOS, page 1. ACM, (2008)Parallel and Scalable Computation and Spatial Dynamics with DNA-Based Chemical Reaction Networks on a Surface., and . DNA, volume 8727 of Lecture Notes in Computer Science, page 114-131. Springer, (2014)A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities., , , , , and . DNA, volume 10467 of Lecture Notes in Computer Science, page 232-248. Springer, (2017)Reversible Computation Using Swap Reactions on a Surface., , , and . DNA, volume 11648 of Lecture Notes in Computer Science, page 174-196. Springer, (2019)