Erik Winfree

Available identifiers

zbMath Open winfree.erikDBLP26/4609WikidataQ5388915 ScholiaQ5388915MaRDI QIDQ652155

List of research outcomes

Publication	Date of Publication	Type
Verifying polymer reaction networks using bisimulation	2020-10-13	Paper
Efficient parameter estimation for DNA kinetics modeled as continuous-time Markov chains	2019-12-05	Paper
Chemical reaction networks and stochastic local search	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	2019-11-22	Paper
Verifying chemical reaction network implementations: a bisimulation approach	2019-06-18	Paper
Verifying chemical reaction network implementations: a pathway decomposition approach	2019-06-18	Paper
Optimizing tile set size while preserving proofreading with a DNA self-assembly compiler	2018-11-08	Paper
A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities	2018-02-02	Paper
Chemical Boltzmann machines	2018-02-02	Paper
Inferring parameters for an elementary step model of DNA structure kinetics with locally context-dependent Arrhenius rates	2018-02-02	Paper
Active self-assembly of algorithmic shapes and patterns in polylogarithmic time	2017-05-16	Paper
Verifying Chemical Reaction Network Implementations: A Bisimulation Approach	2016-11-30	Paper
Time Complexity of Computation and Construction in the Chemical Reaction Network-Controlled Tile Assembly Model	2016-11-30	Paper
Simple evolution of complex crystal species	2016-07-08	Paper
Stochastic Simulation of the Kinetics of Multiple Interacting Nucleic Acid Strands	2015-09-30	Paper
Universal Computation and Optimal Construction in the Chemical Reaction Network-Controlled Tile Assembly Model	2015-09-30	Paper
Leakless DNA Strand Displacement Systems	2015-09-30	Paper
Parallel and Scalable Computation and Spatial Dynamics with DNA-Based Chemical Reaction Networks on a Surface	2014-10-08	Paper
The program-size complexity of self-assembled squares (extended abstract)	2014-09-26	Paper
DNA Sticky End Design and Assignment for Robust Algorithmic Self-assembly	2014-07-07	Paper
Erratum to ``The computational power of Benenson automata	2011-12-19	Paper
Efficient Turing-Universal Computation with DNA Polymers	2011-01-28	Paper
Programmable Control of Nucleation for Algorithmic Self-Assembly	2010-09-06	Paper
Computation with finite stochastic chemical reaction networks	2009-11-04	Paper
Error suppression mechanisms for DNA tile self-assembly and their simulation	2009-10-19	Paper
Complexity of Compact Proofreading for Self-assembled Patterns	2009-04-02	Paper
Complexity of Self‐Assembled Shapes	2008-01-03	Paper
Fault-Tolerance in Biochemical Systems	2007-11-29	Paper
Thermodynamic Analysis of Interacting Nucleic Acid Strands	2007-03-27	Paper
DNA Computing	2006-10-19	Paper
DNA Computing	2006-01-10	Paper
DNA Computing	2006-01-10	Paper
DNA Computing	2006-01-10	Paper
The computational power of Benenson automata	2005-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4529976	2002-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4762325	2001-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4224876	1999-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4224877	1999-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4224903	1999-01-17	Paper

Research outcomes over time

This page was built for person: Erik Winfree