| Publication | Date of Publication | Type |
|---|
Verifying polymer reaction networks using bisimulation
Theoretical Computer Science | 2020-10-13 | Paper |
| Chemical reaction networks and stochastic local search | 2019-12-05 | Paper |
| Efficient parameter estimation for DNA kinetics modeled as continuous-time Markov chains | 2019-12-05 | Paper |
| Reversible computation using swap reactions on a surface | 2019-12-05 | Paper |
Stochastic chemical reaction networks for robustly approximating arbitrary probability distributions
Theoretical Computer Science | 2019-11-22 | Paper |
Verifying chemical reaction network implementations: a bisimulation approach
Theoretical Computer Science | 2019-06-18 | Paper |
Verifying chemical reaction network implementations: a pathway decomposition approach
Theoretical Computer Science | 2019-06-18 | Paper |
| Optimizing tile set size while preserving proofreading with a DNA self-assembly compiler | 2018-11-08 | Paper |
| Inferring parameters for an elementary step model of DNA structure kinetics with locally context-dependent Arrhenius rates | 2018-02-02 | Paper |
Chemical Boltzmann machines
(available as arXiv preprint) | 2018-02-02 | Paper |
| A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities | 2018-02-02 | Paper |
Active self-assembly of algorithmic shapes and patterns in polylogarithmic time
Proceedings of the 4th conference on Innovations in Theoretical Computer Science | 2017-05-16 | Paper |
Active self-assembly of algorithmic shapes and patterns in polylogarithmic time
Proceedings of the 4th conference on Innovations in Theoretical Computer Science | 2017-05-16 | Paper |
Verifying chemical reaction network implementations: a bisimulation approach
Lecture Notes in Computer Science | 2016-11-30 | Paper |
Time complexity of computation and construction in the chemical reaction network-controlled tile assembly model
Lecture Notes in Computer Science | 2016-11-30 | Paper |
Simple evolution of complex crystal species
Natural Computing | 2016-07-08 | Paper |
Universal computation and optimal construction in the chemical reaction network-controlled tile assembly model
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Leakless DNA strand displacement systems
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Stochastic simulation of the kinetics of multiple interacting nucleic acid strands
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Parallel and scalable computation and spatial dynamics with DNA-based chemical reaction networks on a surface
Lecture Notes in Computer Science | 2014-10-08 | Paper |
The program-size complexity of self-assembled squares (extended abstract)
Proceedings of the thirty-second annual ACM symposium on Theory of computing | 2014-09-26 | Paper |
DNA Sticky End Design and Assignment for Robust Algorithmic Self-assembly
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Erratum to ``The computational power of Benenson automata''
Theoretical Computer Science | 2011-12-19 | Paper |
Efficient Turing-universal computation with DNA polymers
Lecture Notes in Computer Science | 2011-01-28 | Paper |
Programmable control of nucleation for algorithmic self-assembly
SIAM Journal on Computing | 2010-09-06 | Paper |
Programmable control of nucleation for algorithmic self-assembly
SIAM Journal on Computing | 2010-09-06 | Paper |
Computation with finite stochastic chemical reaction networks
Natural Computing | 2009-11-04 | Paper |
Error suppression mechanisms for DNA tile self-assembly and their simulation
Natural Computing | 2009-10-19 | Paper |
Complexity of Compact Proofreading for Self-assembled Patterns
DNA Computing | 2009-04-02 | Paper |
Complexity of Self‐Assembled Shapes
SIAM Journal on Computing | 2008-01-03 | Paper |
Fault-Tolerance in Biochemical Systems
Lecture Notes in Computer Science | 2007-11-29 | Paper |
Thermodynamic Analysis of Interacting Nucleic Acid Strands
SIAM Review | 2007-03-27 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-10-19 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-01-10 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-01-10 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-01-10 | Paper |
The computational power of Benenson automata
Theoretical Computer Science | 2005-12-05 | Paper |
| scientific article; zbMATH DE number 1738642 (Why is no real title available?) | 2002-05-07 | Paper |
| scientific article; zbMATH DE number 1568804 (Why is no real title available?) | 2001-05-17 | Paper |
| scientific article; zbMATH DE number 1241360 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 1241361 (Why is no real title available?) | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 1241374 (Why is no real title available?) | 1999-01-17 | Paper |
