Publications

Automated Leak Analysis of Nucleic Acid Circuits

PDF Project
Automated Leak Analysis of Nucleic Acid Circuits

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

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

Interpretation of morphogen gradients by a synthetic bistable circuit

PDF Project
Interpretation of morphogen gradients by a synthetic bistable circuit

Domain-Specific Programming Languages for Computational Nucleic Acid Systems

Matthew R Lakin, Andrew Phillips.
ACS Synthetic Biology (2020)
PDF Project

Stochastic pulsing of gene expression enables the generation of spatial patterns in Bacillus subtilis biofilms

PDF Project
Stochastic pulsing of gene expression enables the generation of spatial patterns in Bacillus subtilis biofilms

Fast Enumeration of Non-isomorphic Chemical Reaction Networks

Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau.
Computational Methods in Systems Biology (CMSB) (2019)
PDF

A Logic Programming Language for Computational Nucleic Acid Devices

Carlo Spaccasassi, Matthew R Lakin, Andrew Phillips.
ACS Synthetic Biology (2019)
PDF Project
A Logic Programming Language for Computational Nucleic Acid Devices

Efficient Amortised Bayesian Inference for Hierarchical and Nonlinear Dynamical Systems

Geoffrey Roeder, Paul K. Grant, Andrew Phillips, Neil Dalchau, Edward Meeds.
International Conference on Machine Learning (ICML) (2019)
PDF Project

DNA-based communication in populations of synthetic protocells

PDF Project
DNA-based communication in populations of synthetic protocells

Escherichia coli can survive stress by noisy growth modulation

PDF Project
Escherichia coli can survive stress by noisy growth modulation

Predicting DNA hybridization kinetics from sequence

PDF Project
Predicting DNA hybridization kinetics from sequence

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 (2018)
PDF

A Mechanistic Model for Predicting Cell Surface Presentation of Competing Peptides by MHC Class I Molecules

PDF

Automated analysis of tethered DNA nanostructures using constraint solving

Matthew R Lakin, Andrew Phillips.
Natural Computing (2018)
PDF Project

Computing with biological switches and clocks

PDF

Automated, Constraint-Based Analysis of Tethered DNA Nanostructures

Matthew R Lakin, Andrew Phillips.
DNA Computing and Molecular Programming (DNA) (2017)
PDF Project

A spatially localized architecture for fast and modular DNA computing

PDF Project
A spatially localized architecture for fast and modular DNA computing

Modular verification of chemical reaction network encodings via serializability analysis

Matthew R Lakin, Darko Stefanovic, Andrew Phillips.
Theoretical Computer Science (2016)
PDF Project

A strand graph semantics for DNA-based computation

Rasmus L Petersen, Matthew R Lakin, Andrew Phillips.
Theoretical Computer Science (2016)
PDF Project

Characterization of Intrinsic Properties of Promoters

PDF Project

Orthogonal intercellular signaling for programmed spatial behavior.

PDF Project
Orthogonal intercellular signaling for programmed spatial behavior.

Selector function of MHC I molecules is determined by protein plasticity

PDF

Probabilistic Analysis of Localized DNA Hybridization Circuits

PDF Project

A High-Level Language for Rule-Based Modelling

PDF

Computational Design of Reaction-Diffusion Patterns Using DNA-Based Chemical Reaction Networks

Neil Dalchau, Georg Seelig, Andrew Phillips.
DNA Computing and Molecular Programming (DNA) (2014)
PDF Project

Abstract Modelling of Tethered DNA Circuits

Matthew R Lakin, Rasmus Petersen, Kathryn E Gray, Andrew Phillips.
DNA Computing and Molecular Programming (DNA) (2014)
PDF Project

Computational Design of Nucleic Acid Feedback Control Circuits

PDF Project

A Computational Method for Automated Characterization of Genetic Components

PDF Project

Bio Simulators: a web UI for biological simulation.

PDF

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

Matthew R Lakin, Andrew Phillips.
Practical Aspects of Declarative Languages (PADL) (2014)
PDF Project

Programmable chemical controllers made from DNA

PDF Project
Programmable chemical controllers made from DNA

Modular Verification of DNA Strand Displacement Networks via Serializability Analysis

Matthew R Lakin, Andrew Phillips, Darko Stefanovic.
DNA Computing and Molecular Programming (DNA) (2013)
PDF Project

Functional Analysis of Large-Scale DNA Strand Displacement Circuits

Boyan Yordanov, Christoph M Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler.
DNA Computing and Molecular Programming (2013)
PDF Project

Towards the rational design of synthetic cells with prescribed population dynamics

Neil Dalchau, Matthew J Smith, Samuel Martin, James R Brown, Stephen Emmott, Andrew Phillips.
Journal of The Royal Society Interface (2012)
PDF Project

Computational Modeling of Synthetic Microbial Biofilms

Timothy J Rudge, Paul J Steiner, Andrew Phillips, Jim Haseloff.
ACS Synthetic Biology (2012)
PDF Project

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 (2012)
PDF Project

Stochastic simulation of multiple process calculi for biology

Matthew R Lakin, Loïc Paulevé, Andrew Phillips.
Theoretical Computer Science (2012)
PDF Project

Abstractions for DNA circuit design

Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips.
Journal of The Royal Society Interface (2012)
PDF Project

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

PDF Project

A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization

PDF

Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems

Matthew Lakin, Andrew Phillips.
DNA Computing and Molecular Programming (2011)
PDF Project

Localized Hybridization Circuits

Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John Reif.
DNA Computing and Molecular Programming (DNA) (2011)
PDF Project

High-Level Programming Languages for Biomolecular Systems

Jacob Beal, Andrew Phillips, Douglas Densmore, Yizhi Cai.
Design and Analysis of Biomolecular Circuits (2011)
PDF Project

A generic abstract machine for stochastic process calculi

Loïc Paulevé, Simon Youssef, Matthew R Lakin, Andrew Phillips.
Computational Methods in Systems Biology (CMSB) (2010)
PDF

The cell biology of major histocompatibility complex class I assembly: towards a molecular understanding

PDF

Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics

PDF

A process model of Rho GTP-binding proteins

PDF

Towards programming languages for genetic engineering of living cells

Michael Pedersen, Andrew Phillips.
Journal of The Royal Society Interface (2009)
PDF Project
Towards programming languages for genetic engineering of living cells

A programming language for composable DNA circuits

Andrew Phillips, Luca Cardelli.
Journal of The Royal Society Interface (2009)
PDF Project
A programming language for composable DNA circuits

A Process Model of Actin Polymerisation

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips.
Electronic Notes in Theoretical Computer Science (2009)
PDF

An Abstract Machine for the Stochastic Bioambient calculus

Andrew Phillips.
Electronic Notes in Theoretical Computer Science (2009)
PDF

A Visual Process Calculus for Biology

Andrew Phillips.
Symbolic Systems Biology: Theory and Methods (2009)
PDF

Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation

Ralf Blossey, Luca Cardelli, Andrew Phillips.
HFSP Journal (2008)
PDF

A Chart Semantics for the Pi-Calculus

Johannes Borgström, Andrew D Gordon, Andrew Phillips.
Electronic Notes in Theoretical Computer Science (2008)
PDF

Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus

Andrew Phillips, Luca Cardelli.
Computational Methods in Systems Biology (CMSB) (2007)
PDF

A Graphical Representation for Biological Processes in the Stochastic pi-Calculus

Andrew Phillips, Luca Cardelli, Giuseppe Castagna.
Transactions on Computational Systems Biology (2006)
PDF

A Compositional Approach to the Stochastic Dynamics of Gene Networks

Ralf Blossey, Luca Cardelli, Andrew Phillips.
Transactions on Computational Systems Biology (2006)
PDF

Specifying and Implementing Secure Mobile Applications in the Channel Ambient System

Andrew Phillips.
PhD Thesis (2005)
PDF

A Distributed Abstract Machine for Boxed Ambient Calculi

Andrew Phillips, Nobuko Yoshida, Susan Eisenbach.
European Symposium on Programming (ESOP) (2004)
PDF