Chris Thachuk

According to our database, Chris Thachuk authored at least 35 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Minimum Free Energy, Partition Function and Kinetics Simulation Algorithms for a Multistranded Scaffolded DNA Computer.

Ahmed Shalaby, Chris Thachuk, Damien Woods

Proceedings of the 29th International Conference on DNA Computing and Molecular Programming, 2023

Fridge Compiler: Optimal Circuits from Molecular Inventories.

Lancelot Wathieu, Gus Henry Smith, Luis Ceze, Chris Thachuk

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Fast and Robust Strand Displacement Cascades via Systematic Design Strategies.

Tiernan Kennedy, Cadence Pearce, Chris Thachuk

Proceedings of the 28th International Conference on DNA Computing and Molecular Programming, 2022

2021

Predicting Minimum Free Energy Structures of Multi-Stranded Nucleic Acid Complexes Is APX-Hard.

Anne Condon, Monir Hajiaghayi, Chris Thachuk

Proceedings of the 27th International Conference on DNA Computing and Molecular Programming, 2021

2019

Verifying chemical reaction network implementations: A pathway decomposition approach.

Seung Woo Shin, Chris Thachuk, Erik Winfree

Theor. Comput. Sci., 2019

Computing properties of stable configurations of thermodynamic binding networks.

Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik

Theor. Comput. Sci., 2019

2017

Computing properties of stable configurations of thermodynamic binding networks.

Keenan Breik, Lakshmi Prakash, Chris Thachuk, Marijn Heule, David Soloveichik

CoRR, 2017

Inferring Parameters for an Elementary Step Model of DNA Structure Kinetics with Locally Context-Dependent Arrhenius Rates.

Sedigheh Zolaktaf, Frits Dannenberg, Xander Rudelis, Anne Condon, Joseph M. Schaeffer, Mark Schmidt, Chris Thachuk, Erik Winfree

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017

The Design Space of Strand Displacement Cascades with Toehold-Size Clamps.

Boya Wang, Chris Thachuk, Andrew D. Ellington, David Soloveichik

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017

Thermodynamic Binding Networks.

David Doty, Trent A. Rogers, David Soloveichik, Chris Thachuk, Damien Woods

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017

A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities.

Stefan Badelt, Seung Woo Shin, Robert F. Johnson, Qing Dong, Chris Thachuk, Erik Winfree

Proceedings of the DNA Computing and Molecular Programming - 23rd International Conference, 2017

2016

Preface.

Marta Kwiatkowska, Andrew Phillips, Chris Thachuk

Theor. Comput. Sci., 2016

Progressive Alignment of Shapes.

Ashwin Gopinath, David G. Kirkpatrick, Paul W. K. Rothemund, Chris Thachuk

Proceedings of the 28th Canadian Conference on Computational Geometry, 2016

2015

DNA walker circuits: computational potential, design, and verification.

Frits Dannenberg, Marta Z. Kwiatkowska, Chris Thachuk, Andrew J. Turberfield

Nat. Comput., 2015

The complexity of string partitioning.

Anne Condon, Ján Manuch, Chris Thachuk

J. Discrete Algorithms, 2015

Leakless DNA Strand Displacement Systems.

Chris Thachuk, Erik Winfree, David Soloveichik

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

Stochastic Simulation of the Kinetics of Multiple Interacting Nucleic Acid Strands.

Joseph Malcolm Schaeffer, Chris Thachuk, Erik Winfree

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

2014

Probabilistic Model Checking for Biology.

Marta Z. Kwiatkowska, Chris Thachuk

Proceedings of the Software Systems Safety, 2014

Fast Algorithmic Self-assembly of Simple Shapes Using Random Agitation.

Ho-Lin Chen, David Doty, Dhiraj Holden, Chris Thachuk, Damien Woods, Chun-Tao Yang

Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014

2013

Compressed indexes for text with wildcards.

Chris Thachuk

Theor. Comput. Sci., 2013

Indexing hypertext.

Chris Thachuk

J. Discrete Algorithms, 2013

Logically and Physically Reversible Natural Computing: A Tutorial.

Chris Thachuk

Proceedings of the Reversible Computation - 5th International Conference, 2013

2012

Efficient codon optimization with motif engineering.

Anne Condon, Chris Thachuk

J. Discrete Algorithms, 2012

Space and Energy Efficient Computation with DNA Strand Displacement Systems.

Chris Thachuk, Anne Condon

Proceedings of the DNA Computing and Molecular Programming - 18th International Conference, 2012

2011

NP-completeness of the energy barrier problem without pseudoknots and temporary arcs.

Ján Manuch, Chris Thachuk, Ladislav Stacho, Anne Condon

Nat. Comput., 2011

A Succinct Index for Hypertext.

Chris Thachuk

Proceedings of the String Processing and Information Retrieval, 2011

Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems.

Anne Condon, Alan J. Hu, Ján Manuch, Chris Thachuk

Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

Succincter Text Indexing with Wildcards.

Chris Thachuk

Proceedings of the Combinatorial Pattern Matching - 22nd Annual Symposium, 2011

2010

An Algorithm for the Energy Barrier Problem Without Pseudoknots and Temporary Arcs.

Chris Thachuk, Ján Manuch, Arash Rafiey, Leigh-Anne Mathieson, Ladislav Stacho, Anne Condon

Proceedings of the Biocomputing 2010: Proceedings of the Pacific Symposium, 2010

Complexity of Finding Non-Planar Rectilinear Drawings of Graphs.

Ján Manuch, Murray Patterson, Sheung-Hung Poon, Chris Thachuk

Proceedings of the Graph Drawing - 18th International Symposium, 2010

2009

Core Hunter: an algorithm for sampling genetic resources based on multiple genetic measures.

Chris Thachuk, Jose Crossa, Jorge Franco, Susanne Dreisigacker, Marilyn Warburton, Guy F. Davenport

BMC Bioinform., 2009

NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots.

Ján Manuch, Chris Thachuk, Ladislav Stacho, Anne Condon

Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009

2008

Complexity of a Collision-Aware String Partition Problem and Its Relation to Oligo Design for Gene Synthesis.

Anne Condon, Ján Manuch, Chris Thachuk

Proceedings of the Computing and Combinatorics, 14th Annual International Conference, 2008

2007

A replica exchange Monte Carlo algorithm for protein folding in the HP model.

Chris Thachuk, Alena Shmygelska, Holger H. Hoos

BMC Bioinform., 2007

On the Design of Oligos for Gene Synthesis.

Chris Thachuk, Anne Condon

Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007