Erik Winfree

Available identifiers

zbMath Open winfree.erikWikidataQ5388915 ScholiaQ5388915MaRDI QIDQ652155

List of research outcomes

Publication	Date of Publication	Type
Verifying polymer reaction networks using bisimulation	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	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
Inferring parameters for an elementary step model of DNA structure kinetics with locally context-dependent Arrhenius rates	2018-02-02	Paper
Chemical Boltzmann machines	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	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
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
Stochastic Simulation of the Kinetics of Multiple Interacting Nucleic Acid Strands	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/Q2707528	2001-07-08	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Erik Winfree