Chris Thachuk

45 papers A 1B 18C 4Misc 2Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Leakless Polymerase-Dependent Strand Displacement Systems.
DNA
Zoë Evelyn Mohalakealoha Derauf, Chris Thachuk
2023 — conf
Fridge Compiler: Optimal Circuits from Molecular Inventories.
CMSB
Lancelot Wathieu, Gus Henry Smith, Luis Ceze, Chris Thachuk
2023 B conf
Minimum Free Energy, Partition Function and Kinetics Simulation Algorithms for a Multistranded Scaffolded DNA Computer.
DNA
Ahmed Shalaby, Chris Thachuk, Damien Woods
2022 B conf
Fast and Robust Strand Displacement Cascades via Systematic Design Strategies.
DNA
Tiernan Kennedy, Cadence Pearce, Chris Thachuk
2021 B conf
Predicting Minimum Free Energy Structures of Multi-Stranded Nucleic Acid Complexes Is APX-Hard.
DNA
Anne Condon, Monir Hajiaghayi, Chris Thachuk
2019 J jnl
Computing properties of stable configurations of thermodynamic binding networks.
Theor. Comput. Sci.
Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik
2019 B ed.
DNA Computing and Molecular Programming - 25th International Conference, DNA 2019, Seattle, WA, USA, August 5-9, 2019, Proceedings
DNA
Chris Thachuk, Yan Liu
2019 J jnl
Verifying chemical reaction network implementations: A pathway decomposition approach.
Theor. Comput. Sci.
Seung Woo Shin, Chris Thachuk, Erik Winfree
2017 B conf
A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities.
DNA
Stefan Badelt, Seung Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree
2017 J jnl
Computing properties of stable configurations of thermodynamic binding networks.
CoRR
Keenan Breik, Lakshmi Prakash, Chris Thachuk, Marijn Heule, David Soloveichik
2017 B conf
Inferring Parameters for an Elementary Step Model of DNA Structure Kinetics with Locally Context-Dependent Arrhenius Rates.
DNA
Sedigheh Zolaktaf, Frits Dannenberg, Xander Rudelis, Anne Condon, Joseph M. Schaeffer, Mark Schmidt, Chris Thachuk, Erik Winfree
2017 B conf
The Design Space of Strand Displacement Cascades with Toehold-Size Clamps.
DNA
Boya Wang, Chris Thachuk, Andrew D. Ellington, David Soloveichik
2017 B conf
Thermodynamic Binding Networks.
DNA
David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods
2017 J jnl
Thermodynamic Binding Networks.
CoRR
David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods
2016 J jnl
Preface.
Theor. Comput. Sci.
Marta Kwiatkowska, Andrew Phillips, Chris Thachuk
2016 — conf
Progressive Alignment of Shapes.
CCCG
Ashwin Gopinath, David G. Kirkpatrick, Paul W. K. Rothemund, Chris Thachuk
2015 J jnl
DNA walker circuits: computational potential, design, and verification.
Nat. Comput.
Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield
2015 B conf
Leakless DNA Strand Displacement Systems.
DNA
Chris Thachuk, Erik Winfree, David Soloveichik
2015 B conf
Stochastic Simulation of the Kinetics of Multiple Interacting Nucleic Acid Strands.
DNA
Joseph Malcolm Schaeffer, Chris Thachuk, Erik Winfree
2015 J jnl
The complexity of string partitioning.
J. Discrete Algorithms
Anne Condon, Ján Manuch, Chris Thachuk
2014 B conf
Fast Algorithmic Self-assembly of Simple Shapes Using Random Agitation.
DNA
Ho-Lin Chen, David Doty, Dhiraj Holden, Chris Thachuk, Damien Woods, Chun-Tao Yang
2014 J jnl
Fast algorithmic self-assembly of simple shapes using random agitation.
CoRR
Ho-Lin Chen, David Doty, Dhiraj Holden, Chris Thachuk, Damien Woods, Chun-Tao Yang
2014 — ch.
Probabilistic Model Checking for Biology.
Software Systems Safety
Marta Z. Kwiatkowska, Chris Thachuk
2014 J jnl
Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach.
CoRR
Seung Woo Shin, Chris Thachuk, Erik Winfree
2013 J jnl
Compressed indexes for text with wildcards.
Theor. Comput. Sci.
Chris Thachuk
2013 B conf
DNA Walker Circuits: Computational Potential, Design, and Verification.
DNA
Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield
2013 J jnl
Indexing hypertext.
J. Discrete Algorithms
Chris Thachuk
2013 C conf
Logically and Physically Reversible Natural Computing: A Tutorial.
RC
Chris Thachuk
2012 J jnl
Efficient codon optimization with motif engineering.
J. Discrete Algorithms
Anne Condon, Chris Thachuk
2012 B conf
Space and Energy Efficient Computation with DNA Strand Displacement Systems.
DNA
Chris Thachuk, Anne Condon
2012 B conf
The Complexity of String Partitioning.
CPM
Anne Condon, Ján Manuch, Chris Thachuk
2012 J jnl
The complexity of string partitioning
CoRR
Anne Condon, Ján Manuch, Chris Thachuk
2011 C conf
A Succinct Index for Hypertext.
SPIRE
Chris Thachuk
2011 C conf
Efficient Codon Optimization with Motif Engineering.
IWOCA
Anne Condon, Chris Thachuk
2011 B conf
Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems.
DNA
Anne Condon, Alan J. Hu, Ján Manuch, Chris Thachuk
2011 J jnl
NP-completeness of the energy barrier problem without pseudoknots and temporary arcs.
Nat. Comput.
Ján Manuch, Chris Thachuk, Ladislav Stacho, Anne Condon
2011 J jnl
Succincter Text Indexing with Wildcards
CoRR
Chris Thachuk
2011 B conf
Succincter Text Indexing with Wildcards.
CPM
Chris Thachuk
2010 Misc conf
An Algorithm for the Energy Barrier Problem Without Pseudoknots and Temporary Arcs.
Pacific Symposium on Biocomputing
Chris Thachuk, Ján Manuch, Arash Rafiey, Leigh-Anne Mathieson, Ladislav Stacho, Anne Condon
2010 A conf
Complexity of Finding Non-Planar Rectilinear Drawings of Graphs.
GD
Ján Manuch, Murray Patterson, Sheung-Hung Poon, Chris Thachuk
2009 J jnl
Core Hunter: an algorithm for sampling genetic resources based on multiple genetic measures.
BMC Bioinform.
Chris Thachuk, Jose Crossa, Jorge Franco, Susanne Dreisigacker, Marilyn Warburton, Guy F. Davenport
2009 B conf
NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots.
DNA
Ján Manuch, Chris Thachuk, Ladislav Stacho, Anne Condon
2008 Misc conf
Complexity of a Collision-Aware String Partition Problem and Its Relation to Oligo Design for Gene Synthesis.
COCOON
Anne Condon, Ján Manuch, Chris Thachuk
2007 J jnl
A replica exchange Monte Carlo algorithm for protein folding in the HP model.
BMC Bioinform.
Chris Thachuk, Alena Shmygelska, Holger H. Hoos
2007 C conf
On the Design of Oligos for Gene Synthesis.
BIBE
Chris Thachuk, Anne Condon