Chris Thachuk
Chris Thachuk
Computer Science & Engineering, University of Washington
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
A replica exchange Monte Carlo algorithm for protein folding in the HP model
C Thachuk, A Shmygelska, HH Hoos
BMC bioinformatics 8 (1), 1-20, 2007
1182007
Core Hunter: an algorithm for sampling genetic resources based on multiple genetic measures
C Thachuk, J Crossa, J Franco, S Dreisigacker, M Warburton, ...
BMC bioinformatics 10 (1), 1-13, 2009
912009
DNA walker circuits: computational potential, design, and verification
F Dannenberg, M Kwiatkowska, C Thachuk, AJ Turberfield
Natural Computing 14 (2), 195-211, 2015
712015
Leakless DNA strand displacement systems
C Thachuk, E Winfree, D Soloveichik
International Workshop on DNA-Based Computers, 133-153, 2015
632015
Compiler-aided systematic construction of large-scale DNA strand displacement circuits using unpurified components
AJ Thubagere, C Thachuk, J Berleant, RF Johnson, DA Ardelean, ...
Nature communications 8 (1), 1-12, 2017
482017
Effective design principles for leakless strand displacement systems
B Wang, C Thachuk, AD Ellington, E Winfree, D Soloveichik
Proceedings of the National Academy of Sciences 115 (52), E12182-E12191, 2018
462018
NP-completeness of the energy barrier problem without pseudoknots and temporary arcs
J Maňuch, C Thachuk, L Stacho, A Condon
Natural Computing 10 (1), 391-405, 2011
39*2011
Space and energy efficient computation with DNA strand displacement systems
C Thachuk, A Condon
International Workshop on DNA-Based Computers, 135-149, 2012
372012
Stochastic simulation of the kinetics of multiple interacting nucleic acid strands
JM Schaeffer, C Thachuk, E Winfree
International Workshop on DNA-Based Computers, 194-211, 2015
332015
A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
S Badelt, SW Shin, RF Johnson, Q Dong, C Thachuk, E Winfree
International conference on DNA-based computers, 232-248, 2017
262017
Less haste, less waste: on recycling and its limits in strand displacement systems
A Condon, AJ Hu, J Maňuch, C Thachuk
Interface focus 2 (4), 512-521, 2012
252012
An algorithm for the energy barrier problem without pseudoknots and temporary arcs
C Thachuk, J Maňuch, A Rafiey, LA Mathieson, L Stacho, A Condon
Biocomputing 2010, 108-119, 2010
232010
Verifying chemical reaction network implementations: a pathway decomposition approach
SW Shin, C Thachuk, E Winfree
Theoretical Computer Science 765, 67-96, 2019
212019
Probabilistic Model Checking for Biology.
MZ Kwiatkowska, C Thachuk
Software Systems Safety 36, 165-189, 2014
212014
Fast algorithmic self-assembly of simple shapes using random agitation
HL Chen, D Doty, D Holden, C Thachuk, D Woods, CT Yang
International Workshop on DNA-Based Computers, 20-36, 2014
172014
Indexing hypertext
C Thachuk
Journal of Discrete Algorithms 18, 113-122, 2013
132013
The complexity of string partitioning
A Condon, J Maňuch, C Thachuk
Journal of Discrete Algorithms 32, 24-43, 2015
112015
Succincter text indexing with wildcards
C Thachuk
Annual Symposium on Combinatorial Pattern Matching, 27-40, 2011
112011
Complexity of finding non-planar rectilinear drawings of graphs
J Maňuch, M Patterson, SH Poon, C Thachuk
International Symposium on Graph Drawing, 305-316, 2010
112010
Complexity of a collision-aware string partition problem and its relation to oligo design for gene synthesis
A Condon, J Maňuch, C Thachuk
International Computing and Combinatorics Conference, 265-275, 2008
112008
The system can't perform the operation now. Try again later.
Articles 1–20