Programming DNA Circuits

설립: February 7, 2009

출판물

자료 보기:

- 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 프로젝트