activity
20112018
most citedVerifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach

20 citations · 22 across the 5 of their papers we have counts for

collaborators

7 papers

physics.app-ph2018

Absolute and arbitrary orientation of single molecule shapes

Ashwin Gopinath, Chris Thachuk, Anya Mitskovets +3

DNA origami is a modular platform for the combination of molecular and colloidal components to create optical, electronic, and biological devices. Integration of such nanoscale dev…

cs.ET2017

Thermodynamic Binding Networks

David Doty, Trent A. Rogers, David Soloveichik +2

Strand displacement and tile assembly systems are designed to follow prescribed kinetic rules (i.e., exhibit a specific time-evolution). However, the expected behavior in the limit…

cs.ET2017

Computing properties of stable configurations of thermodynamic binding networks

Keenan Breik, Chris Thachuk, Marijn Heule +1

The promise of chemical computation lies in controlling systems incompatible with traditional electronic micro-controllers, with applications in synthetic biology and nano-scale ma…

cs.CE2014★ 20 cited

Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach

Seung Woo Shin, Chris Thachuk, Erik Winfree

Here we focus on the challenge of verifying the correctness of molecular implementations of abstract chemical reaction networks, where operation in a well-mixed "soup" of molecules…

cs.DS2014

Fast algorithmic self-assembly of simple shapes using random agitation

Ho-Lin Chen, David Doty, Dhiraj Holden +3

We study the power of uncontrolled random molecular movement in the nubot model of self-assembly. The nubot model is an asynchronous nondeterministic cellular automaton augmented w…

cs.CC2012

The complexity of string partitioning

Anne Condon, Ján Maňuch, Chris Thachuk

Given a string over a finite alphabet and an integer , can be partitioned into strings of length at most , such that there are no \emph{collisions}? We refer to t…

cs.DS2011★ 2 cited

Succincter Text Indexing with Wildcards

Chris Thachuk

We study the problem of indexing text with wildcard positions, motivated by the challenge of aligning sequencing data to large genomes that contain millions of single nucleotide po…