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), 342, 2007
1142007
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), 243, 2009
872009
DNA walker circuits: computational potential, design, and verification
F Dannenberg, M Kwiatkowska, C Thachuk, AJ Turberfield
Natural Computing 14 (2), 195-211, 2015
662015
Leakless DNA strand displacement systems
C Thachuk, E Winfree, D Soloveichik
International Workshop on DNA-Based Computers, 133-153, 2015
572015
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
432017
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
38*2011
Space and energy efficient computation with DNA strand displacement systems
C Thachuk, A Condon
International Workshop on DNA-Based Computers, 135-149, 2012
352012
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
342018
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
242012
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
Probabilistic Model Checking for Biology.
MZ Kwiatkowska, C Thachuk
Software Systems Safety 36, 165-189, 2014
222014
Verifying chemical reaction network implementations: A pathway decomposition approach
SW Shin, C Thachuk, E Winfree
Theoretical Computer Science 765, 67-96, 2019
192019
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
182015
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
Succincter text indexing with wildcards
C Thachuk
Annual Symposium on Combinatorial Pattern Matching, 27-40, 2011
122011
The complexity of string partitioning
A Condon, J Maňuch, C Thachuk
Journal of Discrete Algorithms 32, 24-43, 2015
112015
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
Indexing hypertext
C Thachuk
Journal of Discrete Algorithms 18, 113-122, 2013
102013
The system can't perform the operation now. Try again later.
Articles 1–20