Programming DNA Circuits

A deep learning model for predicting next-generation sequencing depth from DNA sequence

Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X. Wang, Peng Dai, Yuan-Jyue Chen, Kerou Zhang, John Z. Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang

Nature Communications | July 2021, 第 12 卷

Publication 项目

Domain-specific programming languages for computational nucleic acid systems

Matthew R. Lakin, Andrew Phillips

ACS Synthetic Biology | June 2020, 第 9 卷(7): pp. 1499-1513

Publication 项目

DNA-based communication in populations of synthetic protocells

Alex Joesaar, Shuo Yang, Bas Bögels, Ardjan van der Linden, Pascal Pieters, B. V. V. S. Pavan Kumar, Neil Dalchau, Andrew Phillips, Stephen Mann, Tom F. A. de Greef

Nature Nanotechnology | March 2019

Publication DOI 项目

A Logic Programming Language for Computational Nucleic Acid Devices

Carlo Spaccasassi, Matthew R. Lakin, Andrew Phillips

ACS Synthetic Biology | October 2018

Publication 项目

Synthesizing and tuning stochastic chemical reaction networks with specified behaviours

Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil Dalchau

Journal of the Royal Society Interface | August 2018

论文与出版物 论文与出版物 项目 项目

Computing with biological switches and clocks

Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-Nagy

Natural Computing | June 2018

论文与出版物 论文与出版物 项目 项目

Predicting DNA hybridization kinetics from sequence

Jinny X. Zhang, John Z. Fang, Wei Duan, Lucia R. Wu, Angela W. Zhang, Neil Dalchau, Boyan Yordanov, Rasmus Petersen, Andrew Phillips, David Yu Zhang

Nature Chemistry | November 2017

Publication Publication 项目 项目

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures

Matthew R. Lakin, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2017

论文与出版物 论文与出版物 项目

A spatially localized architecture for fast and modular DNA computing

Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg Seelig

Nature Nanotechnology | July 2017

论文与出版物 论文与出版物 项目

A strand graph semantics for DNA-based computation

Rasmus Petersen, Matthew R Lakin, Andrew Phillips

Theoretical Computer Science | June 2016, 第 632 卷: pp. 43-73

Publication Publication 项目

Modular verification of chemical reaction network encodings via serializability analysis

Matthew R Lakin, Darko Stefanovic, Andrew Phillips

Theoretical Computer Science | June 2016, 第 632 卷: pp. 21

Publication 项目

Synthesizing and tuning chemical reaction networks with specified behaviours

Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov

International Conference on DNA Computing and Molecular Programming | August 2015, 第 9211 卷

论文与出版物 论文与出版物 论文与出版物 项目

Probabilistic analysis of localized DNA hybridization circuits

Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif

ACS Synthetic Biology | June 2015, 第 4 卷: pp. 898-913

Publication Publication 项目

Abstract modelling of tethered DNA circuits

Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2014

论文与出版物 论文与出版物 论文与出版物 项目

Computational design of reaction-diffusion patterns using DNA-based chemical reaction networks

Neil Dalchau, Georg Seelig, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2014

论文与出版物 论文与出版物 论文与出版物 项目

Computational design of nucleic acid feedback control circuits

Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew Phillips

ACS Synthetic Biology | July 2014, 第 3 卷: pp. 600-616

论文与出版物 论文与出版物 项目

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

Matthew R Lakin, Andrew Phillips

Practical Aspects of Declarative Languages - 16th International Symposium | January 2014

Publication 项目

Programmable chemical controllers made from DNA

Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg Seelig

Nature Nanotechnology | September 2013, 第 8 卷: pp. 755-762

论文与出版物 项目

Functional Analysis of Large-scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

International Conference on DNA Computing and Molecular Programming | September 2013

论文与出版物 论文与出版物 项目 项目

Modular verification of DNA strand displacement networks via serializability analysis

Matthew R. Lakin, Andrew Phillips, Darko Stefanovic

International Conference on DNA Computing and Molecular Programming | September 2013, 第 8141 卷: pp. 133-146

论文与出版物 论文与出版物 论文与出版物 项目

Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking

Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips

Journal of the Royal Society Interface | July 2012, 第 9 卷: pp. 1470-1485

Publication 项目

Stochastic Simulation of Multiple Process Calculi for Biology

Matthew R. Lakin, Loïc Paulevé, Andrew Phillips

Theoretical Computer Science | May 2012, 第 431 卷: pp. 181-206

Publication Publication 项目 项目

Abstractions for DNA circuit design

Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips

Journal of the Royal Society Interface | March 2012, 第 9 卷(68): pp. 470-486

Publication Publication 项目

Visual DSD: a design and analysis tool for DNA strand displacement systems

Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips

Bioinformatics | November 2011, 第 27 卷: pp. 3211-3213

Publication 项目

Localized Hybridization Circuits

Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif

International Conference on DNA Computing and Molecular Programming | September 2011, 第 6937 卷: pp. 64-83

论文与出版物 论文与出版物 论文与出版物 项目

Modelling, simulating and verifying Turing-powerful strand displacement systems

Andrew Phillips, Matthew R Lakin

International Conference on DNA Computing and Molecular Programming | September 2011

Publication DOI 项目

A programming language for composable DNA circuits

Andrew Phillips, Luca Cardelli

Journal of the Royal Society Interface | June 2009, 第 6 卷: pp. S419-S436

论文与出版物 论文与出版物 项目

A deep learning model for predicting next-generation sequencing depth from DNA sequence

Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X. Wang, Peng Dai, Yuan-Jyue Chen, Kerou Zhang, John Z. Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang

Nature Communications | July 2021, 第 12 卷

Publication 项目

A deep learning model for predicting next-generation sequencing depth from DNA sequence

Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X. Wang, Peng Dai, Yuan-Jyue Chen, Kerou Zhang, John Z. Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang

Nature Communications | July 2021, 第 12 卷

Publication 项目

Domain-specific programming languages for computational nucleic acid systems

Matthew R. Lakin, Andrew Phillips

ACS Synthetic Biology | June 2020, 第 9 卷(7): pp. 1499-1513

Publication 项目

DNA-based communication in populations of synthetic protocells

Alex Joesaar, Shuo Yang, Bas Bögels, Ardjan van der Linden, Pascal Pieters, B. V. V. S. Pavan Kumar, Neil Dalchau, Andrew Phillips, Stephen Mann, Tom F. A. de Greef

Nature Nanotechnology | March 2019

Publication DOI 项目

A Logic Programming Language for Computational Nucleic Acid Devices

Carlo Spaccasassi, Matthew R. Lakin, Andrew Phillips

ACS Synthetic Biology | October 2018

Publication 项目

Predicting DNA hybridization kinetics from sequence

Jinny X. Zhang, John Z. Fang, Wei Duan, Lucia R. Wu, Angela W. Zhang, Neil Dalchau, Boyan Yordanov, Rasmus Petersen, Andrew Phillips, David Yu Zhang

Nature Chemistry | November 2017

Publication Publication 项目 项目

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures

Matthew R. Lakin, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2017

论文与出版物 论文与出版物 项目

A spatially localized architecture for fast and modular DNA computing

Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg Seelig

Nature Nanotechnology | July 2017

论文与出版物 论文与出版物 项目

Synthesizing and tuning stochastic chemical reaction networks with specified behaviours

Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil Dalchau

Journal of the Royal Society Interface | August 2018

论文与出版物 论文与出版物 项目 项目

A strand graph semantics for DNA-based computation

Rasmus Petersen, Matthew R Lakin, Andrew Phillips

Theoretical Computer Science | June 2016, 第 632 卷: pp. 43-73

Publication Publication 项目

Modular verification of chemical reaction network encodings via serializability analysis

Matthew R Lakin, Darko Stefanovic, Andrew Phillips

Theoretical Computer Science | June 2016, 第 632 卷: pp. 21

Publication 项目

Synthesizing and tuning chemical reaction networks with specified behaviours

Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov

International Conference on DNA Computing and Molecular Programming | August 2015, 第 9211 卷

论文与出版物 论文与出版物 论文与出版物 项目

Probabilistic analysis of localized DNA hybridization circuits

Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif

ACS Synthetic Biology | June 2015, 第 4 卷: pp. 898-913

Publication Publication 项目

Computational design of reaction-diffusion patterns using DNA-based chemical reaction networks

Neil Dalchau, Georg Seelig, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2014

论文与出版物 论文与出版物 论文与出版物 项目

Abstract modelling of tethered DNA circuits

Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2014

论文与出版物 论文与出版物 论文与出版物 项目

Computational design of nucleic acid feedback control circuits

Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew Phillips

ACS Synthetic Biology | July 2014, 第 3 卷: pp. 600-616

论文与出版物 论文与出版物 项目

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

Matthew R Lakin, Andrew Phillips

Practical Aspects of Declarative Languages - 16th International Symposium | January 2014

Publication 项目

Programmable chemical controllers made from DNA

Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg Seelig

Nature Nanotechnology | September 2013, 第 8 卷: pp. 755-762

论文与出版物 项目

Functional Analysis of Large-scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

International Conference on DNA Computing and Molecular Programming | September 2013

论文与出版物 论文与出版物 项目 项目

Modular verification of DNA strand displacement networks via serializability analysis

Matthew R. Lakin, Andrew Phillips, Darko Stefanovic

International Conference on DNA Computing and Molecular Programming | September 2013, 第 8141 卷: pp. 133-146

论文与出版物 论文与出版物 论文与出版物 项目

Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking

Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips

Journal of the Royal Society Interface | July 2012, 第 9 卷: pp. 1470-1485

Publication 项目

Stochastic Simulation of Multiple Process Calculi for Biology

Matthew R. Lakin, Loïc Paulevé, Andrew Phillips

Theoretical Computer Science | May 2012, 第 431 卷: pp. 181-206

Publication Publication 项目 项目

Abstractions for DNA circuit design

Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips

Journal of the Royal Society Interface | March 2012, 第 9 卷(68): pp. 470-486

Publication Publication 项目

Visual DSD: a design and analysis tool for DNA strand displacement systems

Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips

Bioinformatics | November 2011, 第 27 卷: pp. 3211-3213

Publication 项目

Modelling, simulating and verifying Turing-powerful strand displacement systems

Andrew Phillips, Matthew R Lakin

International Conference on DNA Computing and Molecular Programming | September 2011

Publication DOI 项目

Localized Hybridization Circuits

Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif

International Conference on DNA Computing and Molecular Programming | September 2011, 第 6937 卷: pp. 64-83

论文与出版物 论文与出版物 论文与出版物 项目

Computing with biological switches and clocks

Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-Nagy

Natural Computing | June 2018

论文与出版物 论文与出版物 项目 项目

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures

Matthew R. Lakin, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2017

论文与出版物 论文与出版物 项目

Functional Analysis of Large-scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

International Conference on DNA Computing and Molecular Programming | September 2013

论文与出版物 论文与出版物 项目 项目

A programming language for composable DNA circuits

Andrew Phillips, Luca Cardelli

Journal of the Royal Society Interface | June 2009, 第 6 卷: pp. S419-S436

论文与出版物 论文与出版物 项目

A deep learning model for predicting next-generation sequencing depth from DNA sequence

Jinny X. Zhang, Boyan Yordanov, Alexander Gaunt, Michael X. Wang, Peng Dai, Yuan-Jyue Chen, Kerou Zhang, John Z. Fang, Neil Dalchau, Jiaming Li, Andrew Phillips, David Yu Zhang

Nature Communications | July 2021, 第 12 卷

Publication 项目

Domain-specific programming languages for computational nucleic acid systems

Matthew R. Lakin, Andrew Phillips

ACS Synthetic Biology | June 2020, 第 9 卷(7): pp. 1499-1513

Publication 项目

DNA-based communication in populations of synthetic protocells

Alex Joesaar, Shuo Yang, Bas Bögels, Ardjan van der Linden, Pascal Pieters, B. V. V. S. Pavan Kumar, Neil Dalchau, Andrew Phillips, Stephen Mann, Tom F. A. de Greef

Nature Nanotechnology | March 2019

Publication DOI 项目

A Logic Programming Language for Computational Nucleic Acid Devices

Carlo Spaccasassi, Matthew R. Lakin, Andrew Phillips

ACS Synthetic Biology | October 2018

Publication 项目

Synthesizing and tuning stochastic chemical reaction networks with specified behaviours

Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil Dalchau

Journal of the Royal Society Interface | August 2018

论文与出版物 论文与出版物 项目 项目

Computing with biological switches and clocks

Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-Nagy

Natural Computing | June 2018

论文与出版物 论文与出版物 项目 项目

Predicting DNA hybridization kinetics from sequence

Jinny X. Zhang, John Z. Fang, Wei Duan, Lucia R. Wu, Angela W. Zhang, Neil Dalchau, Boyan Yordanov, Rasmus Petersen, Andrew Phillips, David Yu Zhang

Nature Chemistry | November 2017

Publication Publication 项目 项目

A spatially localized architecture for fast and modular DNA computing

Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg Seelig

Nature Nanotechnology | July 2017

论文与出版物 论文与出版物 项目

A strand graph semantics for DNA-based computation

Rasmus Petersen, Matthew R Lakin, Andrew Phillips

Theoretical Computer Science | June 2016, 第 632 卷: pp. 43-73

Publication Publication 项目

Modular verification of chemical reaction network encodings via serializability analysis

Matthew R Lakin, Darko Stefanovic, Andrew Phillips

Theoretical Computer Science | June 2016, 第 632 卷: pp. 21

Publication 项目

Synthesizing and tuning chemical reaction networks with specified behaviours

Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov

International Conference on DNA Computing and Molecular Programming | August 2015, 第 9211 卷

论文与出版物 论文与出版物 论文与出版物 项目

Probabilistic analysis of localized DNA hybridization circuits

Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif

ACS Synthetic Biology | June 2015, 第 4 卷: pp. 898-913

Publication Publication 项目

Computational design of nucleic acid feedback control circuits

Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew Phillips

ACS Synthetic Biology | July 2014, 第 3 卷: pp. 600-616

论文与出版物 论文与出版物 项目

Programmable chemical controllers made from DNA

Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg Seelig

Nature Nanotechnology | September 2013, 第 8 卷: pp. 755-762

论文与出版物 项目

Modular verification of DNA strand displacement networks via serializability analysis

Matthew R. Lakin, Andrew Phillips, Darko Stefanovic

International Conference on DNA Computing and Molecular Programming | September 2013, 第 8141 卷: pp. 133-146

论文与出版物 论文与出版物 论文与出版物 项目

Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking

Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips

Journal of the Royal Society Interface | July 2012, 第 9 卷: pp. 1470-1485

Publication 项目

Stochastic Simulation of Multiple Process Calculi for Biology

Matthew R. Lakin, Loïc Paulevé, Andrew Phillips

Theoretical Computer Science | May 2012, 第 431 卷: pp. 181-206

Publication Publication 项目 项目

Abstractions for DNA circuit design

Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips

Journal of the Royal Society Interface | March 2012, 第 9 卷(68): pp. 470-486

Publication Publication 项目

Visual DSD: a design and analysis tool for DNA strand displacement systems

Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips

Bioinformatics | November 2011, 第 27 卷: pp. 3211-3213

Publication 项目

Localized Hybridization Circuits

Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif

International Conference on DNA Computing and Molecular Programming | September 2011, 第 6937 卷: pp. 64-83

论文与出版物 论文与出版物 论文与出版物 项目

A programming language for composable DNA circuits

Andrew Phillips, Luca Cardelli

Journal of the Royal Society Interface | June 2009, 第 6 卷: pp. S419-S436

论文与出版物 论文与出版物 项目

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures

Matthew R. Lakin, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2017

论文与出版物 论文与出版物 项目

Computational design of reaction-diffusion patterns using DNA-based chemical reaction networks

Neil Dalchau, Georg Seelig, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2014

论文与出版物 论文与出版物 论文与出版物 项目

Abstract modelling of tethered DNA circuits

Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2014

论文与出版物 论文与出版物 论文与出版物 项目

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

Matthew R Lakin, Andrew Phillips

Practical Aspects of Declarative Languages - 16th International Symposium | January 2014

Publication 项目

Functional Analysis of Large-scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

International Conference on DNA Computing and Molecular Programming | September 2013

论文与出版物 论文与出版物 项目 项目

Modelling, simulating and verifying Turing-powerful strand displacement systems

Andrew Phillips, Matthew R Lakin

International Conference on DNA Computing and Molecular Programming | September 2011

Publication DOI 项目