Chris Thachuk
Home
Talks
Publications
Contact
Chris Thachuk
Latest
Molecular Circuit Breadboard
Towards space- and energy-efficient computations
Computing properties of stable configurations of thermodynamic binding networks
Absolute and arbitrary orientation of single molecule shapes
Effective design principles for leakless strand displacement systems
A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
Compiler-aided systematic construction of large-scale DNA strand displacement circuits using unpurified components
Inferring parameters for an elementary step model of DNA structure kinetics with locally context-dependent Arrhenius rates
The design space of strand displacement cascades with toehold-size clamps
Thermodynamic binding networks
Verifying chemical reaction network implementations: A pathway decomposition approach
Progressive Alignment of Shapes
Leakless DNA strand displacement systems
DNA walker circuits: computational potential, design, and verification
Stochastic simulation of the kinetics of multiple interacting nucleic acid strands
The complexity of string partitioning
Fast algorithmic self-assembly of simple shapes using random agitation
Probabilistic Model Checking for Biology
Compressed indexes for text with wildcards
Indexing hypertext
Logically and physically reversible natural computing: a tutorial
Efficient codon optimization with motif engineering
Less haste, less waste: on recycling and its limits in strand displacement systems
Space and energy efficient computation with DNA strand displacement systems
A succinct index for hypertext
NP-completeness of the energy barrier problem without pseudoknots and temporary arcs
Succincter text indexing with wildcards
An algorithm for the energy barrier problem without pseudoknots and temporary arcs
Complexity of finding non-planar rectilinear drawings of graphs
Determining RNA folding pathways with minimum energy barrier
Core Hunter: an algorithm for sampling genetic resources based on multiple genetic measures
Complexity of a collision-aware string partition problem and its relation to oligo design for gene synthesis
A replica exchange Monte Carlo algorithm for protein folding in the HP model
Novel algorithms for in vitro gene synthesis
On the design of oligos for gene synthesis
Sampling Strategies for Forming Core Subsets
Cite
×