Station B
Our work on the Station B project has now been retired. We continue to actively explore the exciting intersection of computing and life sciences, with other projects located on www.microsoft.com/research.
Building a platform for programming biology
The ability to program biology could enable fundamental breakthroughs across a broad range of industries, including medicine, agriculture, food, construction, textiles, materials and chemicals. It could also help lay the foundation for a future bioeconomy based on sustainable technology. Despite this tremendous potential, programming biology today is still done largely by trial-and-error. To tackle this challenge, the field of synthetic biology has been working collectively for almost two decades to develop new methods and technology for programming biology. Station B is part of this broader effort, with a focus on developing an integrated platform that enables selected partners to improve productivity within their own organisations, in line with Microsoft’s core mission. The Station B project builds on over a decade of research at Microsoft on understanding and programming information processing in biological systems, in collaboration with several leading universities. The name Station B is directly inspired by Station Q, which launched Microsoft’s efforts in quantum computing, but focuses instead on biological computing.
The Station B platform is being developed at Microsoft Research in Cambridge, UK, which houses Microsoft’s first molecular biology laboratory. The platform aims to improve all phases of the Design-Build-Test-Learn workflow typically used for programming biological systems:
- The Design phase will incorporate biological programming languages that operate at the molecular, genetic and network levels. These languages can in turn be compiled to a hierarchy of biological abstractions, each with their associated analysis methods, where different abstractions can be selected depending on the biological question being addressed. For example, a Continuous Time Markov Chain can be used to determine how random noise affects system function, using stochastic simulation or probabilistic model-checking methods.
- The Build phase will incorporate compilers that translate high-level programs to DNA code, together with a digital encoding of the biological experiments to be performed.
- The Test phase will execute biological experiments using lab robots in collaboration with technology partner Synthace, by using their award-winning Antha software, a powerful software platform built on Azure Internet of Things that gives biologists sophisticated control over lab hardware.
- The Learn phase will incorporate a range of methods for extracting biological knowledge from experimental data, including Bayesian inference, symbolic reasoning and deep learning methods, running at scale on Azure.
These phases will be integrated with a biological knowledge base that stores computational models representing the current understanding of the biological systems under consideration. As new experiments are performed, the knowledge base will be updated via automated learning.

Cambridge (UK) houses Microsoft’s first wet lab, where the Station B team is developing its end-to-end system. Photo by Jonathan Banks.
Partnering for transformation
Station B is a collaborative effort being carried out with selected technology, academic and commercial partners.
Technology partner Synthace provides a key abstraction layer for the digital encoding of biological experiments. Their Antha software allows the same digitally encoded experiment to be executed by a range of lab automation devices made by different manufacturers, much like printer drivers allow the same PDF to be printed by any make or model of printer. This ability to run experiments in the same way each time gives users higher confidence in their results. Antha aims to tackle the reproducibility crisis in biological experiments by digitally encoding all aspects of the experiment in a systematic fashion. It also allows substantial scaling up of experiments. This automated generation of reproducible experimental data at scale is a key requirement for machine learning, allowing users to pose and learn from much more sophisticated lines of inquiry.

Synthace’s lab automation platform allow users to run experiments from the cloud and precisely replicate each step in complicated scientific protocols. Photo by Jonathan Banks.

Oxford Biomedica is pioneering gene therapies and is working with the Station B team to apply modeling and machine learning to improve its experimental and production processes. Photo by Jonathan Banks.
Princeton University are the first academic partners for Station B. The focus of the partnership will be to develop and apply the Station B platform to understand the formation of biofilms – surface associated colonies of bacteria that kill as many people as cancer and play a key role in antibiotic resistance, recognised by the world health organisation as a global crisis. The partnership will involve a collaboration with Prof. Bonnie Bassler, a world-leading microbiologist and chair of Princeton’s Department of Molecular Biology. The Princeton team also includes Bassler’s longtime collaborator Prof. Ned Wingreen, a physicist in Princeton’s Lewis-Sigler Institute for Integrative Genomics. The Station B platform will be deployed in the Bassler lab to construct and test different versions of proteins that are key to biofilm formation, and to build on their extensive inventory of genetic components, models and experimental data collected over many years of studying bacterial biofilms.
Oxford Biomedica are the first commercial partners for Station B and are a leading cell and gene therapy company. They secured a deal with Novartis to produce the first treatment approved in the U.S. and the E.U. that reprograms a patient’s own immune cells to recognize and kill cancer cells in patients with leukemia and lymphoma. The drug must be specially made for each individual and costs nearly half a million dollars to treat a child with acute lymphoblastic leukemia. Before the treatment, those children typically had weeks or months to live. After receiving the cell therapy, 81 percent of the children in clinical trials went into remission. The initial goal of the partnership will be to apply the modeling and machine learning expertise developed at Station B to improve both the production yield and quality of therapies, in order to reduce overall costs and facilitate the future production of new therapies.
People
Publications
Publications
Publications by Year
-
Nature Communications | July 2021, Vol 12
A systematic approach to inserting split inteins for Boolean logic gate engineering and basal activity reduction.
Trevor Y. H. Ho, Alexander Shao, Zeyu Lu, Harri Savilahti, Filippo Menolascina, Lei Wang, Neil Dalchau, Baojun WangNature Communications | April 2021, Vol 12(1): pp. 2200-2200 -
Interpretation of morphogen gradients by a synthetic bistable circuit
Paul Grant, Gregory Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew PhillipsNature Communications | November 2020, Vol 11(5545)Turing Patterning in Stratified Domains
Andrew L. Krause, Vaclav Klika, Jacob Halatek, Paul Grant, Thomas L. Woolley, Neil Dalchau, Eamonn A. GaffneyBulletin of Mathematical Biology | October 2020, Vol 82(136)Domain-specific programming languages for computational nucleic acid systems
Matthew R. Lakin, Andrew PhillipsACS Synthetic Biology | June 2020, Vol 9(7): pp. 1499-1513Stochastic pulsing of gene expression enables the generation of spatial patterns in Bacillus subtilis biofilms
Eugene Nadezhdin, Niall Murphy, Neil Dalchau, Andrew Phillips, James C. W. LockeNature Communications | February 2020, Vol 11: pp. 950 -
Fast enumeration of non-isomorphic chemical reaction networks
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil DalchauComputational Methods for Systems Biology (CMSB) | September 2019Editor(s): Luca Bortolussi, Guido SanguinettiEfficient Amortised Bayesian Inference for Hierarchical and Nonlinear Dynamical Systems
Geoffrey Roeder, Paul Grant, Andrew Phillips, Neil Dalchau, Ted MeedsICML 2019 | June 2019DNA-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 GreefNature Nanotechnology | March 2019 -
A common molecular logic determines embryonic stem cell self-renewal and reprogramming
Sara-Jane Dunn, Meng Amy Li, Elena Carbognin, Austin Smith, Graziano MartelloThe EMBO Journal | November 2018, Vol e100003A Logic Programming Language for Computational Nucleic Acid Devices
Carlo Spaccasassi, Matthew R. Lakin, Andrew PhillipsACS Synthetic Biology | October 2018Escherichia coli can survive stress by noisy growth modulation
Om Patange, Christian Schwall, Matt Jones, Casandra Villava, Douglas A. Griffith, Andrew Phillips, James C.W. LockeNature Communications | September 2018, Vol 53(33)Formal Analysis of Network Motifs
Hillel Kugler, Sara-Jane Dunn, Boyan YordanovCMSB | September 2018Synthesizing and tuning stochastic chemical reaction networks with specified behaviours
Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil DalchauJournal of the Royal Society Interface | August 2018A Mechanistic Model for Predicting Cell Surface Presentation of Competing Peptides by MHC Class I Molecules
Denise S. M. Boulanger, Ruth C. Eccleston, Andrew Phillips, Peter V. Coveney, T. Elliott, Neil DalchauFrontiers in Immunology | July 2018, Vol 9: pp. 1538Computing with biological switches and clocks
Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-NagyNatural Computing | June 2018Model reduction enables Turing instability analysis of large reaction–diffusion models
Stephen Smith, Neil DalchauJournal of the Royal Society Interface | March 2018, Vol 15 -
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 ZhangNature Chemistry | November 2017Host genotype and time dependent antigen presentation of viral peptides: predictions from theory
Ruth Charlotte Eccleston, Peter V. Coveney, Neil DalchauScientific Reports | October 2017, Vol 7: pp. 14367A protein phosphatase network controls the temporal and spatial dynamics of differentiation commitment in human epidermis
Ajay Mishra, Benedicte Oules, Angela Oliveira Pisco, Tony Ly, Kifayathullah Liakath-Ali, Gernot Walko, Priyalakshmi Viswanathan, Matthieu Tihy, Jagdeesh Nijjher, Sara-Jane Dunn, Angus I Lamond, Fiona M WatteLife | October 2017, Vol 6:e27356Automated, Constraint-Based Analysis of Tethered DNA Nanostructures
Matthew R. Lakin, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2017A spatially localized architecture for fast and modular DNA computing
Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg SeeligNature Nanotechnology | July 2017The Role of Multiscale Protein Dynamics in Antigen Presentation and T Lymphocyte Recognition
Ruth Charlotte Eccleston, Shunzhou Wan, Neil Dalchau, Peter V. CoveneyFrontiers in Immunology | July 2017Efficient Switches in Biology and Computer Science
Luca Cardelli, Rosa D Hernansaiz-Ballesteros, Neil Dalchau, Attila Csikasz-NagyPLoS Computational Biology | January 2017, Vol 13: pp. e1005100 -
How computational models contribute to our understanding of the germ line
Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert HubbardMolecular Reproduction and Development | September 2016A Method to Identify and Analyze Biological Programs through Automated Reasoning
Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, Austin Smith, Graziano Martello, Stephen EmmottSystems Biology and Applications | July 2016, Vol 2Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis
Peter Backeman, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger, Sara-Jane Dunn, Boyan Yordanov, Christoph M. WintersteigerProceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT)A strand graph semantics for DNA-based computation
Rasmus Petersen, Matthew R Lakin, Andrew PhillipsTheoretical Computer Science | June 2016, Vol 632: pp. 43-73Modular verification of chemical reaction network encodings via serializability analysis
Matthew R Lakin, Darko Stefanovic, Andrew PhillipsTheoretical Computer Science | June 2016, Vol 632: pp. 21Automated Synthesis and Analysis of Switching Gene Regulatory Networks
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel KuglerBiosystems | May 2016, Vol 146: pp. 26-34Combined Changes in Wnt Signalling Response and Contact Inhibition Induce Altered Proliferation in Radiation Treated Intestinal Crypts
Sara-Jane Dunn, James M. Osborne, Inke S. NathkeMolecular Biology of the Cell | April 2016, Vol 27: pp. 1863-1874Computational algorithms as biological switches
Rosa Hernansaiz-Ballesteros, Neil Dalchau, Luca Cardelli, Attila Csikasz-NagyProceedings of the Evry Spring School on Advances in Systems and Synthetic Biology | March 2016Noise Reduction in Complex Biological Switches
Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca CardelliScientific Reports | February 2016, Vol 6: pp. 20214 -
Selector function of MHC I molecules is determined by protein plasticity
Alistair Bailey, Neil Dalchau, Rachel Carter, Stephen Emmott, Andrew Phillips, Jörn M. Werner, Tim ElliottScientific Reports | October 2015, Vol 5: pp. 14928Characterization of intrinsic properties of promoters
Timothy J. Rudge, James R. Brown, Fernan Federici, Neil Dalchau, Andrew Phillips, James W Ajioka, Jim HaseloffACS Synthetic Biology | October 2015Synthesizing and tuning chemical reaction networks with specified behaviours
Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan YordanovInternational Conference on DNA Computing and Molecular Programming | August 2015, Vol 9211Probabilistic analysis of localized DNA hybridization circuits
Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John ReifACS Synthetic Biology | June 2015, Vol 4: pp. 898-913A High-Level Language for Rule-Based Modelling
Michael Pedersen, Andrew Phillips, Gordon D. PlotkinPLoS ONE | June 2015, Vol 10(6): pp. e0114296Is ‘peak N’ key to understanding the timing of flowering in annual plants?
Camille Guilbaud, Neil Dalchau, Drew Purves, Lindsay TurnbullNew Phytologist | January 2015, Vol 205: pp. 918-927 -
What makes a biological clock efficient?
Attila Csikász-Nagy, Neil DalchauEssays for the Luca Cardelli FestAbstract modelling of tethered DNA circuits
Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2014Computational design of reaction-diffusion patterns using DNA-based chemical reaction networks
Neil Dalchau, Georg Seelig, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2014Understanding and predicting biological networks using linear system identification
Alberto Carignano, Ye Yuan, Neil Dalchau, Alex AR Webb, Jorge M GoncalvesChapter 9, in A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System CharacterizationsPublished by Springer, July 2014 | A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations<span class="show-manual"> edition</span> <span class="show-book">edition</span>Analyzing and Synthesizing Genomic Logic Functions
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler26th International Conference on Computer Aided Verification (CAV) | July 201426th International Conference on Computer Aided Verification (CAV)Computational design of nucleic acid feedback control circuits
Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew PhillipsACS Synthetic Biology | July 2014, Vol 3: pp. 600-616Defining an essential transcriptional factor program for naive pluripotency
Sara-Jane Dunn, Graziano Martello, Boyan Yordanov, Stephen Emmott, Austin SmithScience | June 2014, Vol 344: pp. 1156A Computational Method for Automated Characterization of Genetic Components
Neil Dalchau, Boyan Yordanov, Paul Grant, Michael Pedersen, Stephen Emmott, Jim Haseloff, Andrew PhillipsACS Synthetic Biology | March 2014, Vol 3(8): pp. 578-588Ten Simple Rules for Effective Computational Research
James Osborne, Miguel Bernabeu, Maria Bruna, Ben Calderhead, Jonathan Cooper, Neil Dalchau, Sara-Jane Dunn, Alexander Fletcher, Derek Groen, Bernhard Knapp, Gary Mirams, Joe Pitt-Francis, Biswa Sengupta, David Wright, Christian Yates, David Gavaghan, Stephen Emmott, Charlotte DeanePLoS Computational Biology | March 2014, pp. e1003506Bio Simulators: a web UI for biological simulation
Michael Pedersen, Nicolas Oury, Andrew PhillipsBioinformatics | January 2014, Vol 30: pp. 1491-1492Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
Matthew R Lakin, Andrew PhillipsPractical Aspects of Declarative Languages - 16th International Symposium | January 2014 -
Biocharts: Unifying Biological Hypotheses with Models and Experiments
Hillel KuglerIEEE 9th International Conference on e-Science | October 2013IEEE 9th International Conference on e-ScienceProgrammable chemical controllers made from DNA
Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg SeeligNature Nanotechnology | September 2013, Vol 8: pp. 755-762The circadian clock has transient plasticity of period and is required for timing of nocturnal processes in Arabidopsis
Antony N Dodd, Neil Dalchau, Michael J Gardner, Seong Jin Baek, Alex AR WebbNew Phytologist | September 2013, Vol 201(1): pp. 168-179Functional Analysis of Large-scale DNA Strand Displacement Circuits
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel KuglerInternational Conference on DNA Computing and Molecular Programming | September 2013Modular verification of DNA strand displacement networks via serializability analysis
Matthew R. Lakin, Andrew Phillips, Darko StefanovicInternational Conference on DNA Computing and Molecular Programming | September 2013, Vol 8141: pp. 133-146Automated Ratiometric Characterization using GEC
Paul Grant, Jim Haseloff, Stephen Emmott, Boyan Yordanov, Neil Dalchau, Andrew PhillipsInternational Workshop on Biodesign Automation | July 2013International Workshop on Biodesign AutomationZ34Bio: An SMT-based Framework for Analyzing Biological Computation
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. WintersteigerSMT'13 | July 2013SMT-based Analysis of Biological Computation
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel KuglerNASA Formal Methods Symposium 2013 | May 2013Chaste: An Open Source C++ Library for Computational Physiology and Biology
G. R. Mirams, C. J. Arthurs, M. O. Bernabeu, R. Bordas, J. Cooper, A. Corrias, Y. Davit, Sara-Jane Dunn, A. G. Fletcher, D. G. Harvey, M. E. Marsh, J. M. Osborne, P. Pathmanathan, J. Pitt-Francis, J. Southern, N. Zemzemi, D. J. GavaghanPLOS Comput. Biol. | March 2013Oligodendrocyte dynamics in the healthy adult CNS: evidence for myelin remodelling
Kaylene M. Young, Konstantina Psachoulia, Richa B. Tripathi, Sara-Jane Dunn, Lee Cossell, David Attwell, Koujiro Tohyama, William D. RichardsonNeuron | March 2013 -
Computational Modeling of Synthetic Microbial Biofilms
Timothy J. Rudge, Paul J. Steiner, Andrew Phillips, Jim HaseloffACS Synthetic Biology | July 2012, Vol 1: pp. 345-352Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew PhillipsJournal of the Royal Society Interface | July 2012, Vol 9: pp. 1470-1485A Two-Dimensional Model of the Colonic Crypt Accounting for the Role of the Basement Membrane and Pericryptal Fibroblast Sheath
Sara-Jane Dunn, Paul L. Appleton, Scott A. Nelson, Inke S. Nathke, David J. Gavaghan, James M. OsbornePLoS Computational Biology | May 2012Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew PhillipsTheoretical Computer Science | May 2012, Vol 431: pp. 181-206Towards the rational design of synthetic cells with prescribed population dynamics
Neil Dalchau, Matthew Smith, Samuel Martin, James R Brown, Stephen Emmott, Andrew PhillipsJournal of the Royal Society Interface | May 2012, Vol 9: pp. 2883-2898Z3-4Biology SMT-Based Analysis of Biological Computation
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. WintersteigerAbstractions for DNA circuit design
Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew PhillipsJournal of the Royal Society Interface | March 2012, Vol 9(68): pp. 470-486Understanding biological timing using mechanistic and black-box models
Neil DalchauNew Phytologist | March 2012, Vol 193(4): pp. 852-858A model of stem cell population dynamics: in-silico analysis and in-vivo validation
Hillel KuglerDevelopment | January 2012, Vol 139: pp. 47 -
Modelling the role of the basement membrane beneath a growing epithelial monolayer
Sara-Jane Dunn, Alexander G. Fletcher, S. Jonathan Chapman, David J. Gavaghan, James M. OsborneJournal of Theoretical Biology | December 2011Visual DSD: a design and analysis tool for DNA strand displacement systems
Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew PhillipsBioinformatics | November 2011, Vol 27: pp. 3211-3213A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M WernerPLoS Computational Biology | October 2011, Vol 7(10): pp. e1002144How neurons migrate: a dynamic in-silico model of neuronal migration in the developing cortex
Yaki Setty, Chih-Chun Chen, Maria Secrier, Nikita Skoblov, Dimitrios Kalamatianos, Stephen EmmottBMC Systems Biology | September 2011Localized Hybridization Circuits
Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John ReifInternational Conference on DNA Computing and Molecular Programming | September 2011, Vol 6937: pp. 64-83Modelling, simulating and verifying Turing-powerful strand displacement systems
Andrew Phillips, Matthew R LakinInternational Conference on DNA Computing and Molecular Programming | September 2011Synthesizing Biological Theories
Hillel Kugler, Cory Plock, Andy RobertsComputer Aided Verification (CAV'11) | July 2011Model Checking Using SMT and Theory of Lists
Aleksandar Milicevic, Hillel KuglerNasa Formal Methods Symposium | April 2011Nasa Formal Methods SymposiumThe circadian oscillator gene GIGANTEA mediates a long-term response of the Arabidopsis thaliana circadian clock to sucrose
Neil Dalchau, Seong Jin Baek, Helen M Briggs, Fiona C Robertson, Antony N Dodd, Michael J Gardner, Matthew A Stancombe, Michael J Haydon, Guy-Bart Stan, Jorge M Goncalves, Alex AR WebbProceedings of the National Academy of Sciences | March 2011Ticking Over – Circadian Systems Across the Kingdoms of Life
Neil Dalchau, Alex AR WebbBiochemist | February 2011, Vol 33(1): pp. 12-15 -
Stochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc PaulevéElectronic Proceedings in Theoretical Computer Science | November 2010The cell biology of major histocompatibility complex class I assembly: towards a molecular understanding
Andy van Hateren, Ed James, Alistair Bailey, Andrew Phillips, Neil Dalchau, Tim ElliottTissue Antigens | October 2010, Vol 76(4): pp. 259A Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew PhillipsComputational Methods in Systems Biology | September 2010, pp. 43-54Modeling Alveolar Volume Changes During Periodic Breathing in Heterogeneously Ventilated Lungs
Sara-Jane Dunn, Jonathan P. WhiteleyAnnals of Biomedical Engineering | September 2010, Vol 38: pp. 2988-2999Biocharts: A Visual Formalism for Complex Biological Systems
Hillel Kugler, Antti Larjo, David HarelJournal of the Royal Society Interface | July 2010, Vol 7: pp. 1015-1024Published online December 2009Correct biological timing in Arabidopsis requires multiple light signaling pathways
Neil Dalchau, Katharine E Hubbard, Fiona C Robertson, Carlos T Hotta, Helen M Briggs, Guy-Bart Stan, Jorge M Goncalves, Alex A R WebbProceedings of the National Academy of Sciences | July 2010The Neuroepithelial Basement Membrane Serves As A Boundary And A Substrate For Neuron Migration In The Zebrafish Hindbrain
Paul Grant, Cecilia MoensNeural Development | March 2010, Vol 5Accelerating Smart Play-Out
David Harel, Hillel Kugler, Shahar Maoz, Itai SegaliSOFSEM 2010: Theory and Practice of Computer Science | January 2010SOFSEM 2010: Theory and Practice of Computer ScienceDisruption of two defensive signaling pathways by a viral RNA silencing suppressor
Mathew G Lewsey, Alex M Murphy, Daniel MacLean, Neil Dalchau, Jack H Westwood, Keith Macaulay, Mark H Bennett, Michael Moulin, David E Hanke, Glen Powell, Alison G Smith, John P CarrMolecular Plant-Microbe Interations | January 2010, Vol 23: pp. 835-845Some Thoughts on the Semantics of Biocharts
David Harel, Hillel KuglerEssays in Memory of Amir Pnueli | January 2010Dedicated to the dear memory of Amir Pnueli: Friend, mentor, colleague, and a truly towering figure in computer science -
Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin FisherBMC Systems Biology | December 2009, Vol 3: pp. 118A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew PhillipsTheoretical Computer Science | August 2009, Vol 410: pp. 3166-3185Systems analyses of circadian networks
Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. WebbMolecular Biosystems | August 2009, Vol 5: pp. 1502-1511A programming language for composable DNA circuits
Andrew Phillips, Luca CardelliJournal of the Royal Society Interface | June 2009, Vol 6: pp. S419-S436Towards programming languages for genetic engineering of living cells
Michael Pedersen, Andrew PhillipsJournal of the Royal Society Interface | April 2009, Vol 6: pp. S437-S450Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
Hillel KuglerTools and Algorithms for the Construction and Analysis of Systems (TACAS'09) | March 2009Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09)Controller Synthesis from LSC Requirements
Hillel Kugler, Cory Plock, Amir PnueliFundamental Approaches to Software Engineering (FASE'09) | March 2009Fundamental Approaches to Software Engineering (FASE'09)A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew PhillipsElectronic Notes in Theoretical Computer Science | February 2009, Vol 229(1): pp. 127-144A Visual Process Calculus for Biology
Andrew PhillipsSymbolic Systems Biology: Theory and MethodsPublished by Jones and Bartlett Publishers, January 2009 | Symbolic Systems Biology: Theory and Methods<span class="show-manual"> edition</span> <span class="show-book">edition</span>An Abstract Machine for the Stochastic Bioambient Calculus
Andrew PhillipsElectronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution
David Harel, Hillel Kugler, Shahar Maoz, Itai SegallPerspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) | January 2009Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India)
Publications by Research Area
-
Turing Patterning in Stratified Domains
Andrew L. Krause, Vaclav Klika, Jacob Halatek, Paul Grant, Thomas L. Woolley, Neil Dalchau, Eamonn A. GaffneyBulletin of Mathematical Biology | October 2020, Vol 82(136)Synthesizing and tuning stochastic chemical reaction networks with specified behaviours
Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil DalchauJournal of the Royal Society Interface | August 2018Model reduction enables Turing instability analysis of large reaction–diffusion models
Stephen Smith, Neil DalchauJournal of the Royal Society Interface | March 2018, Vol 15A strand graph semantics for DNA-based computation
Rasmus Petersen, Matthew R Lakin, Andrew PhillipsTheoretical Computer Science | June 2016, Vol 632: pp. 43-73Modular verification of chemical reaction network encodings via serializability analysis
Matthew R Lakin, Darko Stefanovic, Andrew PhillipsTheoretical Computer Science | June 2016, Vol 632: pp. 21Automated Synthesis and Analysis of Switching Gene Regulatory Networks
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel KuglerBiosystems | May 2016, Vol 146: pp. 26-34Computational algorithms as biological switches
Rosa Hernansaiz-Ballesteros, Neil Dalchau, Luca Cardelli, Attila Csikasz-NagyProceedings of the Evry Spring School on Advances in Systems and Synthetic Biology | March 2016Noise Reduction in Complex Biological Switches
Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca CardelliScientific Reports | February 2016, Vol 6: pp. 20214Selector function of MHC I molecules is determined by protein plasticity
Alistair Bailey, Neil Dalchau, Rachel Carter, Stephen Emmott, Andrew Phillips, Jörn M. Werner, Tim ElliottScientific Reports | October 2015, Vol 5: pp. 14928Characterization of intrinsic properties of promoters
Timothy J. Rudge, James R. Brown, Fernan Federici, Neil Dalchau, Andrew Phillips, James W Ajioka, Jim HaseloffACS Synthetic Biology | October 2015Synthesizing and tuning chemical reaction networks with specified behaviours
Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan YordanovInternational Conference on DNA Computing and Molecular Programming | August 2015, Vol 9211Probabilistic analysis of localized DNA hybridization circuits
Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John ReifACS Synthetic Biology | June 2015, Vol 4: pp. 898-913A High-Level Language for Rule-Based Modelling
Michael Pedersen, Andrew Phillips, Gordon D. PlotkinPLoS ONE | June 2015, Vol 10(6): pp. e0114296Is ‘peak N’ key to understanding the timing of flowering in annual plants?
Camille Guilbaud, Neil Dalchau, Drew Purves, Lindsay TurnbullNew Phytologist | January 2015, Vol 205: pp. 918-927What makes a biological clock efficient?
Attila Csikász-Nagy, Neil DalchauEssays for the Luca Cardelli FestAbstract modelling of tethered DNA circuits
Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2014Computational design of reaction-diffusion patterns using DNA-based chemical reaction networks
Neil Dalchau, Georg Seelig, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2014Understanding and predicting biological networks using linear system identification
Alberto Carignano, Ye Yuan, Neil Dalchau, Alex AR Webb, Jorge M GoncalvesChapter 9, in A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System CharacterizationsPublished by Springer, July 2014 | A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations<span class="show-manual"> edition</span> <span class="show-book">edition</span>Computational design of nucleic acid feedback control circuits
Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew PhillipsACS Synthetic Biology | July 2014, Vol 3: pp. 600-616Analyzing and Synthesizing Genomic Logic Functions
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler26th International Conference on Computer Aided Verification (CAV) | July 201426th International Conference on Computer Aided Verification (CAV)Defining an essential transcriptional factor program for naive pluripotency
Sara-Jane Dunn, Graziano Martello, Boyan Yordanov, Stephen Emmott, Austin SmithScience | June 2014, Vol 344: pp. 1156A Computational Method for Automated Characterization of Genetic Components
Neil Dalchau, Boyan Yordanov, Paul Grant, Michael Pedersen, Stephen Emmott, Jim Haseloff, Andrew PhillipsACS Synthetic Biology | March 2014, Vol 3(8): pp. 578-588Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
Matthew R Lakin, Andrew PhillipsPractical Aspects of Declarative Languages - 16th International Symposium | January 2014Bio Simulators: a web UI for biological simulation
Michael Pedersen, Nicolas Oury, Andrew PhillipsBioinformatics | January 2014, Vol 30: pp. 1491-1492Programmable chemical controllers made from DNA
Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg SeeligNature Nanotechnology | September 2013, Vol 8: pp. 755-762The circadian clock has transient plasticity of period and is required for timing of nocturnal processes in Arabidopsis
Antony N Dodd, Neil Dalchau, Michael J Gardner, Seong Jin Baek, Alex AR WebbNew Phytologist | September 2013, Vol 201(1): pp. 168-179Modular verification of DNA strand displacement networks via serializability analysis
Matthew R. Lakin, Andrew Phillips, Darko StefanovicInternational Conference on DNA Computing and Molecular Programming | September 2013, Vol 8141: pp. 133-146Functional Analysis of Large-scale DNA Strand Displacement Circuits
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel KuglerInternational Conference on DNA Computing and Molecular Programming | September 2013Automated Ratiometric Characterization using GEC
Paul Grant, Jim Haseloff, Stephen Emmott, Boyan Yordanov, Neil Dalchau, Andrew PhillipsInternational Workshop on Biodesign Automation | July 2013International Workshop on Biodesign AutomationComputational Modeling of Synthetic Microbial Biofilms
Timothy J. Rudge, Paul J. Steiner, Andrew Phillips, Jim HaseloffACS Synthetic Biology | July 2012, Vol 1: pp. 345-352Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew PhillipsJournal of the Royal Society Interface | July 2012, Vol 9: pp. 1470-1485Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew PhillipsTheoretical Computer Science | May 2012, Vol 431: pp. 181-206Towards the rational design of synthetic cells with prescribed population dynamics
Neil Dalchau, Matthew Smith, Samuel Martin, James R Brown, Stephen Emmott, Andrew PhillipsJournal of the Royal Society Interface | May 2012, Vol 9: pp. 2883-2898Understanding biological timing using mechanistic and black-box models
Neil DalchauNew Phytologist | March 2012, Vol 193(4): pp. 852-858Abstractions for DNA circuit design
Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew PhillipsJournal of the Royal Society Interface | March 2012, Vol 9(68): pp. 470-486A model of stem cell population dynamics: in-silico analysis and in-vivo validation
Hillel KuglerDevelopment | January 2012, Vol 139: pp. 47Visual DSD: a design and analysis tool for DNA strand displacement systems
Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew PhillipsBioinformatics | November 2011, Vol 27: pp. 3211-3213A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M WernerPLoS Computational Biology | October 2011, Vol 7(10): pp. e1002144Modelling, simulating and verifying Turing-powerful strand displacement systems
Andrew Phillips, Matthew R LakinInternational Conference on DNA Computing and Molecular Programming | September 2011Localized Hybridization Circuits
Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John ReifInternational Conference on DNA Computing and Molecular Programming | September 2011, Vol 6937: pp. 64-83The circadian oscillator gene GIGANTEA mediates a long-term response of the Arabidopsis thaliana circadian clock to sucrose
Neil Dalchau, Seong Jin Baek, Helen M Briggs, Fiona C Robertson, Antony N Dodd, Michael J Gardner, Matthew A Stancombe, Michael J Haydon, Guy-Bart Stan, Jorge M Goncalves, Alex AR WebbProceedings of the National Academy of Sciences | March 2011Ticking Over – Circadian Systems Across the Kingdoms of Life
Neil Dalchau, Alex AR WebbBiochemist | February 2011, Vol 33(1): pp. 12-15Correct biological timing in Arabidopsis requires multiple light signaling pathways
Neil Dalchau, Katharine E Hubbard, Fiona C Robertson, Carlos T Hotta, Helen M Briggs, Guy-Bart Stan, Jorge M Goncalves, Alex A R WebbProceedings of the National Academy of Sciences | July 2010Disruption of two defensive signaling pathways by a viral RNA silencing suppressor
Mathew G Lewsey, Alex M Murphy, Daniel MacLean, Neil Dalchau, Jack H Westwood, Keith Macaulay, Mark H Bennett, Michael Moulin, David E Hanke, Glen Powell, Alison G Smith, John P CarrMolecular Plant-Microbe Interations | January 2010, Vol 23: pp. 835-845A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew PhillipsTheoretical Computer Science | August 2009, Vol 410: pp. 3166-3185Systems analyses of circadian networks
Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. WebbMolecular Biosystems | August 2009, Vol 5: pp. 1502-1511Towards programming languages for genetic engineering of living cells
Michael Pedersen, Andrew PhillipsJournal of the Royal Society Interface | April 2009, Vol 6: pp. S437-S450A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew PhillipsElectronic Notes in Theoretical Computer Science | February 2009, Vol 229(1): pp. 127-144A Visual Process Calculus for Biology
Andrew PhillipsSymbolic Systems Biology: Theory and MethodsPublished by Jones and Bartlett Publishers, January 2009 | Symbolic Systems Biology: Theory and Methods<span class="show-manual"> edition</span> <span class="show-book">edition</span>An Abstract Machine for the Stochastic Bioambient Calculus
Andrew PhillipsElectronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159 -
Interpretation of morphogen gradients by a synthetic bistable circuit
Paul Grant, Gregory Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew PhillipsNature Communications | November 2020, Vol 11(5545)Automated, Constraint-Based Analysis of Tethered DNA Nanostructures
Matthew R. Lakin, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2017Noise Reduction in Complex Biological Switches
Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca CardelliScientific Reports | February 2016, Vol 6: pp. 20214Analyzing and Synthesizing Genomic Logic Functions
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler26th International Conference on Computer Aided Verification (CAV) | July 201426th International Conference on Computer Aided Verification (CAV)Functional Analysis of Large-scale DNA Strand Displacement Circuits
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel KuglerInternational Conference on DNA Computing and Molecular Programming | September 2013Model Checking Using SMT and Theory of Lists
Aleksandar Milicevic, Hillel KuglerNasa Formal Methods Symposium | April 2011Nasa Formal Methods SymposiumStochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc PaulevéElectronic Proceedings in Theoretical Computer Science | November 2010Accelerating Smart Play-Out
David Harel, Hillel Kugler, Shahar Maoz, Itai SegaliSOFSEM 2010: Theory and Practice of Computer Science | January 2010SOFSEM 2010: Theory and Practice of Computer ScienceA programming language for composable DNA circuits
Andrew Phillips, Luca CardelliJournal of the Royal Society Interface | June 2009, Vol 6: pp. S419-S436How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution
David Harel, Hillel Kugler, Shahar Maoz, Itai SegallPerspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) | January 2009Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) -
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 ZhangNature Communications | July 2021, Vol 12A systematic approach to inserting split inteins for Boolean logic gate engineering and basal activity reduction.
Trevor Y. H. Ho, Alexander Shao, Zeyu Lu, Harri Savilahti, Filippo Menolascina, Lei Wang, Neil Dalchau, Baojun WangNature Communications | April 2021, Vol 12(1): pp. 2200-2200Interpretation of morphogen gradients by a synthetic bistable circuit
Paul Grant, Gregory Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew PhillipsNature Communications | November 2020, Vol 11(5545)Domain-specific programming languages for computational nucleic acid systems
Matthew R. Lakin, Andrew PhillipsACS Synthetic Biology | June 2020, Vol 9(7): pp. 1499-1513Stochastic pulsing of gene expression enables the generation of spatial patterns in Bacillus subtilis biofilms
Eugene Nadezhdin, Niall Murphy, Neil Dalchau, Andrew Phillips, James C. W. LockeNature Communications | February 2020, Vol 11: pp. 950DNA-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 GreefNature Nanotechnology | March 2019A common molecular logic determines embryonic stem cell self-renewal and reprogramming
Sara-Jane Dunn, Meng Amy Li, Elena Carbognin, Austin Smith, Graziano MartelloThe EMBO Journal | November 2018, Vol e100003A Logic Programming Language for Computational Nucleic Acid Devices
Carlo Spaccasassi, Matthew R. Lakin, Andrew PhillipsACS Synthetic Biology | October 2018Escherichia coli can survive stress by noisy growth modulation
Om Patange, Christian Schwall, Matt Jones, Casandra Villava, Douglas A. Griffith, Andrew Phillips, James C.W. LockeNature Communications | September 2018, Vol 53(33)Formal Analysis of Network Motifs
Hillel Kugler, Sara-Jane Dunn, Boyan YordanovCMSB | September 2018A Mechanistic Model for Predicting Cell Surface Presentation of Competing Peptides by MHC Class I Molecules
Denise S. M. Boulanger, Ruth C. Eccleston, Andrew Phillips, Peter V. Coveney, T. Elliott, Neil DalchauFrontiers in Immunology | July 2018, Vol 9: pp. 1538Predicting 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 ZhangNature Chemistry | November 2017Host genotype and time dependent antigen presentation of viral peptides: predictions from theory
Ruth Charlotte Eccleston, Peter V. Coveney, Neil DalchauScientific Reports | October 2017, Vol 7: pp. 14367A protein phosphatase network controls the temporal and spatial dynamics of differentiation commitment in human epidermis
Ajay Mishra, Benedicte Oules, Angela Oliveira Pisco, Tony Ly, Kifayathullah Liakath-Ali, Gernot Walko, Priyalakshmi Viswanathan, Matthieu Tihy, Jagdeesh Nijjher, Sara-Jane Dunn, Angus I Lamond, Fiona M WatteLife | October 2017, Vol 6:e27356Automated, Constraint-Based Analysis of Tethered DNA Nanostructures
Matthew R. Lakin, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2017A spatially localized architecture for fast and modular DNA computing
Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg SeeligNature Nanotechnology | July 2017The Role of Multiscale Protein Dynamics in Antigen Presentation and T Lymphocyte Recognition
Ruth Charlotte Eccleston, Shunzhou Wan, Neil Dalchau, Peter V. CoveneyFrontiers in Immunology | July 2017Efficient Switches in Biology and Computer Science
Luca Cardelli, Rosa D Hernansaiz-Ballesteros, Neil Dalchau, Attila Csikasz-NagyPLoS Computational Biology | January 2017, Vol 13: pp. e1005100How computational models contribute to our understanding of the germ line
Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert HubbardMolecular Reproduction and Development | September 2016A Method to Identify and Analyze Biological Programs through Automated Reasoning
Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, Austin Smith, Graziano Martello, Stephen EmmottSystems Biology and Applications | July 2016, Vol 2Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis
Peter Backeman, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger, Sara-Jane Dunn, Boyan Yordanov, Christoph M. WintersteigerProceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT)Automated Synthesis and Analysis of Switching Gene Regulatory Networks
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel KuglerBiosystems | May 2016, Vol 146: pp. 26-34Combined Changes in Wnt Signalling Response and Contact Inhibition Induce Altered Proliferation in Radiation Treated Intestinal Crypts
Sara-Jane Dunn, James M. Osborne, Inke S. NathkeMolecular Biology of the Cell | April 2016, Vol 27: pp. 1863-1874Understanding and predicting biological networks using linear system identification
Alberto Carignano, Ye Yuan, Neil Dalchau, Alex AR Webb, Jorge M GoncalvesChapter 9, in A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System CharacterizationsPublished by Springer, July 2014 | A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations<span class="show-manual"> edition</span> <span class="show-book">edition</span>Analyzing and Synthesizing Genomic Logic Functions
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler26th International Conference on Computer Aided Verification (CAV) | July 201426th International Conference on Computer Aided Verification (CAV)Ten Simple Rules for Effective Computational Research
James Osborne, Miguel Bernabeu, Maria Bruna, Ben Calderhead, Jonathan Cooper, Neil Dalchau, Sara-Jane Dunn, Alexander Fletcher, Derek Groen, Bernhard Knapp, Gary Mirams, Joe Pitt-Francis, Biswa Sengupta, David Wright, Christian Yates, David Gavaghan, Stephen Emmott, Charlotte DeanePLoS Computational Biology | March 2014, pp. e1003506Biocharts: Unifying Biological Hypotheses with Models and Experiments
Hillel KuglerIEEE 9th International Conference on e-Science | October 2013IEEE 9th International Conference on e-ScienceZ34Bio: An SMT-based Framework for Analyzing Biological Computation
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. WintersteigerSMT'13 | July 2013SMT-based Analysis of Biological Computation
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel KuglerNASA Formal Methods Symposium 2013 | May 2013Chaste: An Open Source C++ Library for Computational Physiology and Biology
G. R. Mirams, C. J. Arthurs, M. O. Bernabeu, R. Bordas, J. Cooper, A. Corrias, Y. Davit, Sara-Jane Dunn, A. G. Fletcher, D. G. Harvey, M. E. Marsh, J. M. Osborne, P. Pathmanathan, J. Pitt-Francis, J. Southern, N. Zemzemi, D. J. GavaghanPLOS Comput. Biol. | March 2013Oligodendrocyte dynamics in the healthy adult CNS: evidence for myelin remodelling
Kaylene M. Young, Konstantina Psachoulia, Richa B. Tripathi, Sara-Jane Dunn, Lee Cossell, David Attwell, Koujiro Tohyama, William D. RichardsonNeuron | March 2013A Two-Dimensional Model of the Colonic Crypt Accounting for the Role of the Basement Membrane and Pericryptal Fibroblast Sheath
Sara-Jane Dunn, Paul L. Appleton, Scott A. Nelson, Inke S. Nathke, David J. Gavaghan, James M. OsbornePLoS Computational Biology | May 2012Z3-4Biology SMT-Based Analysis of Biological Computation
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. WintersteigerA model of stem cell population dynamics: in-silico analysis and in-vivo validation
Hillel KuglerDevelopment | January 2012, Vol 139: pp. 47Modelling the role of the basement membrane beneath a growing epithelial monolayer
Sara-Jane Dunn, Alexander G. Fletcher, S. Jonathan Chapman, David J. Gavaghan, James M. OsborneJournal of Theoretical Biology | December 2011How neurons migrate: a dynamic in-silico model of neuronal migration in the developing cortex
Yaki Setty, Chih-Chun Chen, Maria Secrier, Nikita Skoblov, Dimitrios Kalamatianos, Stephen EmmottBMC Systems Biology | September 2011Synthesizing Biological Theories
Hillel Kugler, Cory Plock, Andy RobertsComputer Aided Verification (CAV'11) | July 2011The cell biology of major histocompatibility complex class I assembly: towards a molecular understanding
Andy van Hateren, Ed James, Alistair Bailey, Andrew Phillips, Neil Dalchau, Tim ElliottTissue Antigens | October 2010, Vol 76(4): pp. 259Modeling Alveolar Volume Changes During Periodic Breathing in Heterogeneously Ventilated Lungs
Sara-Jane Dunn, Jonathan P. WhiteleyAnnals of Biomedical Engineering | September 2010, Vol 38: pp. 2988-2999Biocharts: A Visual Formalism for Complex Biological Systems
Hillel Kugler, Antti Larjo, David HarelJournal of the Royal Society Interface | July 2010, Vol 7: pp. 1015-1024Published online December 2009The Neuroepithelial Basement Membrane Serves As A Boundary And A Substrate For Neuron Migration In The Zebrafish Hindbrain
Paul Grant, Cecilia MoensNeural Development | March 2010, Vol 5Some Thoughts on the Semantics of Biocharts
David Harel, Hillel KuglerEssays in Memory of Amir Pnueli | January 2010Dedicated to the dear memory of Amir Pnueli: Friend, mentor, colleague, and a truly towering figure in computer scienceComputational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin FisherBMC Systems Biology | December 2009, Vol 3: pp. 118Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
Hillel KuglerTools and Algorithms for the Construction and Analysis of Systems (TACAS'09) | March 2009Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09)Controller Synthesis from LSC Requirements
Hillel Kugler, Cory Plock, Amir PnueliFundamental Approaches to Software Engineering (FASE'09) | March 2009Fundamental Approaches to Software Engineering (FASE'09) -
Fast enumeration of non-isomorphic chemical reaction networks
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil DalchauComputational Methods for Systems Biology (CMSB) | September 2019Editor(s): Luca Bortolussi, Guido SanguinettiA Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew PhillipsComputational Methods in Systems Biology | September 2010, pp. 43-54 -
Computing with biological switches and clocks
Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-NagyNatural Computing | June 2018 -
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 ZhangNature Communications | July 2021, Vol 12Efficient Amortised Bayesian Inference for Hierarchical and Nonlinear Dynamical Systems
Geoffrey Roeder, Paul Grant, Andrew Phillips, Neil Dalchau, Ted MeedsICML 2019 | June 2019
Publications by Type
-
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 ZhangNature Communications | July 2021, Vol 12A systematic approach to inserting split inteins for Boolean logic gate engineering and basal activity reduction.
Trevor Y. H. Ho, Alexander Shao, Zeyu Lu, Harri Savilahti, Filippo Menolascina, Lei Wang, Neil Dalchau, Baojun WangNature Communications | April 2021, Vol 12(1): pp. 2200-2200Interpretation of morphogen gradients by a synthetic bistable circuit
Paul Grant, Gregory Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew PhillipsNature Communications | November 2020, Vol 11(5545)Turing Patterning in Stratified Domains
Andrew L. Krause, Vaclav Klika, Jacob Halatek, Paul Grant, Thomas L. Woolley, Neil Dalchau, Eamonn A. GaffneyBulletin of Mathematical Biology | October 2020, Vol 82(136)Domain-specific programming languages for computational nucleic acid systems
Matthew R. Lakin, Andrew PhillipsACS Synthetic Biology | June 2020, Vol 9(7): pp. 1499-1513Stochastic pulsing of gene expression enables the generation of spatial patterns in Bacillus subtilis biofilms
Eugene Nadezhdin, Niall Murphy, Neil Dalchau, Andrew Phillips, James C. W. LockeNature Communications | February 2020, Vol 11: pp. 950DNA-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 GreefNature Nanotechnology | March 2019A common molecular logic determines embryonic stem cell self-renewal and reprogramming
Sara-Jane Dunn, Meng Amy Li, Elena Carbognin, Austin Smith, Graziano MartelloThe EMBO Journal | November 2018, Vol e100003A Logic Programming Language for Computational Nucleic Acid Devices
Carlo Spaccasassi, Matthew R. Lakin, Andrew PhillipsACS Synthetic Biology | October 2018Escherichia coli can survive stress by noisy growth modulation
Om Patange, Christian Schwall, Matt Jones, Casandra Villava, Douglas A. Griffith, Andrew Phillips, James C.W. LockeNature Communications | September 2018, Vol 53(33)Synthesizing and tuning stochastic chemical reaction networks with specified behaviours
Niall Murphy, Rasmus Petersen, Andrew Phillips, Boyan Yordanov, Neil DalchauJournal of the Royal Society Interface | August 2018A Mechanistic Model for Predicting Cell Surface Presentation of Competing Peptides by MHC Class I Molecules
Denise S. M. Boulanger, Ruth C. Eccleston, Andrew Phillips, Peter V. Coveney, T. Elliott, Neil DalchauFrontiers in Immunology | July 2018, Vol 9: pp. 1538Computing with biological switches and clocks
Neil Dalchau, Gregory Szep, Rosa Hernansaiz-Ballesteros, Chris P Barnes, Luca Cardelli, Andrew Phillips, Attila Csikasz-NagyNatural Computing | June 2018Model reduction enables Turing instability analysis of large reaction–diffusion models
Stephen Smith, Neil DalchauJournal of the Royal Society Interface | March 2018, Vol 15Predicting 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 ZhangNature Chemistry | November 2017Host genotype and time dependent antigen presentation of viral peptides: predictions from theory
Ruth Charlotte Eccleston, Peter V. Coveney, Neil DalchauScientific Reports | October 2017, Vol 7: pp. 14367A protein phosphatase network controls the temporal and spatial dynamics of differentiation commitment in human epidermis
Ajay Mishra, Benedicte Oules, Angela Oliveira Pisco, Tony Ly, Kifayathullah Liakath-Ali, Gernot Walko, Priyalakshmi Viswanathan, Matthieu Tihy, Jagdeesh Nijjher, Sara-Jane Dunn, Angus I Lamond, Fiona M WatteLife | October 2017, Vol 6:e27356A spatially localized architecture for fast and modular DNA computing
Gourab Chatterjee, Neil Dalchau, Richard A. Muscat, Andrew Phillips, Georg SeeligNature Nanotechnology | July 2017The Role of Multiscale Protein Dynamics in Antigen Presentation and T Lymphocyte Recognition
Ruth Charlotte Eccleston, Shunzhou Wan, Neil Dalchau, Peter V. CoveneyFrontiers in Immunology | July 2017Efficient Switches in Biology and Computer Science
Luca Cardelli, Rosa D Hernansaiz-Ballesteros, Neil Dalchau, Attila Csikasz-NagyPLoS Computational Biology | January 2017, Vol 13: pp. e1005100How computational models contribute to our understanding of the germ line
Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert HubbardMolecular Reproduction and Development | September 2016A Method to Identify and Analyze Biological Programs through Automated Reasoning
Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, Austin Smith, Graziano Martello, Stephen EmmottSystems Biology and Applications | July 2016, Vol 2Modular verification of chemical reaction network encodings via serializability analysis
Matthew R Lakin, Darko Stefanovic, Andrew PhillipsTheoretical Computer Science | June 2016, Vol 632: pp. 21A strand graph semantics for DNA-based computation
Rasmus Petersen, Matthew R Lakin, Andrew PhillipsTheoretical Computer Science | June 2016, Vol 632: pp. 43-73Automated Synthesis and Analysis of Switching Gene Regulatory Networks
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel KuglerBiosystems | May 2016, Vol 146: pp. 26-34Combined Changes in Wnt Signalling Response and Contact Inhibition Induce Altered Proliferation in Radiation Treated Intestinal Crypts
Sara-Jane Dunn, James M. Osborne, Inke S. NathkeMolecular Biology of the Cell | April 2016, Vol 27: pp. 1863-1874Noise Reduction in Complex Biological Switches
Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca CardelliScientific Reports | February 2016, Vol 6: pp. 20214Selector function of MHC I molecules is determined by protein plasticity
Alistair Bailey, Neil Dalchau, Rachel Carter, Stephen Emmott, Andrew Phillips, Jörn M. Werner, Tim ElliottScientific Reports | October 2015, Vol 5: pp. 14928Characterization of intrinsic properties of promoters
Timothy J. Rudge, James R. Brown, Fernan Federici, Neil Dalchau, Andrew Phillips, James W Ajioka, Jim HaseloffACS Synthetic Biology | October 2015Synthesizing and tuning chemical reaction networks with specified behaviours
Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan YordanovInternational Conference on DNA Computing and Molecular Programming | August 2015, Vol 9211Probabilistic analysis of localized DNA hybridization circuits
Neil Dalchau, Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John ReifACS Synthetic Biology | June 2015, Vol 4: pp. 898-913A High-Level Language for Rule-Based Modelling
Michael Pedersen, Andrew Phillips, Gordon D. PlotkinPLoS ONE | June 2015, Vol 10(6): pp. e0114296Is ‘peak N’ key to understanding the timing of flowering in annual plants?
Camille Guilbaud, Neil Dalchau, Drew Purves, Lindsay TurnbullNew Phytologist | January 2015, Vol 205: pp. 918-927Computational design of nucleic acid feedback control circuits
Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, Andrew PhillipsACS Synthetic Biology | July 2014, Vol 3: pp. 600-616Defining an essential transcriptional factor program for naive pluripotency
Sara-Jane Dunn, Graziano Martello, Boyan Yordanov, Stephen Emmott, Austin SmithScience | June 2014, Vol 344: pp. 1156A Computational Method for Automated Characterization of Genetic Components
Neil Dalchau, Boyan Yordanov, Paul Grant, Michael Pedersen, Stephen Emmott, Jim Haseloff, Andrew PhillipsACS Synthetic Biology | March 2014, Vol 3(8): pp. 578-588Ten Simple Rules for Effective Computational Research
James Osborne, Miguel Bernabeu, Maria Bruna, Ben Calderhead, Jonathan Cooper, Neil Dalchau, Sara-Jane Dunn, Alexander Fletcher, Derek Groen, Bernhard Knapp, Gary Mirams, Joe Pitt-Francis, Biswa Sengupta, David Wright, Christian Yates, David Gavaghan, Stephen Emmott, Charlotte DeanePLoS Computational Biology | March 2014, pp. e1003506Bio Simulators: a web UI for biological simulation
Michael Pedersen, Nicolas Oury, Andrew PhillipsBioinformatics | January 2014, Vol 30: pp. 1491-1492Programmable chemical controllers made from DNA
Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg SeeligNature Nanotechnology | September 2013, Vol 8: pp. 755-762The circadian clock has transient plasticity of period and is required for timing of nocturnal processes in Arabidopsis
Antony N Dodd, Neil Dalchau, Michael J Gardner, Seong Jin Baek, Alex AR WebbNew Phytologist | September 2013, Vol 201(1): pp. 168-179Modular verification of DNA strand displacement networks via serializability analysis
Matthew R. Lakin, Andrew Phillips, Darko StefanovicInternational Conference on DNA Computing and Molecular Programming | September 2013, Vol 8141: pp. 133-146Chaste: An Open Source C++ Library for Computational Physiology and Biology
G. R. Mirams, C. J. Arthurs, M. O. Bernabeu, R. Bordas, J. Cooper, A. Corrias, Y. Davit, Sara-Jane Dunn, A. G. Fletcher, D. G. Harvey, M. E. Marsh, J. M. Osborne, P. Pathmanathan, J. Pitt-Francis, J. Southern, N. Zemzemi, D. J. GavaghanPLOS Comput. Biol. | March 2013Oligodendrocyte dynamics in the healthy adult CNS: evidence for myelin remodelling
Kaylene M. Young, Konstantina Psachoulia, Richa B. Tripathi, Sara-Jane Dunn, Lee Cossell, David Attwell, Koujiro Tohyama, William D. RichardsonNeuron | March 2013Computational Modeling of Synthetic Microbial Biofilms
Timothy J. Rudge, Paul J. Steiner, Andrew Phillips, Jim HaseloffACS Synthetic Biology | July 2012, Vol 1: pp. 345-352Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Matthew R. Lakin,, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew PhillipsJournal of the Royal Society Interface | July 2012, Vol 9: pp. 1470-1485A Two-Dimensional Model of the Colonic Crypt Accounting for the Role of the Basement Membrane and Pericryptal Fibroblast Sheath
Sara-Jane Dunn, Paul L. Appleton, Scott A. Nelson, Inke S. Nathke, David J. Gavaghan, James M. OsbornePLoS Computational Biology | May 2012Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin, Loïc Paulevé, Andrew PhillipsTheoretical Computer Science | May 2012, Vol 431: pp. 181-206Towards the rational design of synthetic cells with prescribed population dynamics
Neil Dalchau, Matthew Smith, Samuel Martin, James R Brown, Stephen Emmott, Andrew PhillipsJournal of the Royal Society Interface | May 2012, Vol 9: pp. 2883-2898Understanding biological timing using mechanistic and black-box models
Neil DalchauNew Phytologist | March 2012, Vol 193(4): pp. 852-858Abstractions for DNA circuit design
Matthew R Lakin, Simon Youssef, Luca Cardelli, Andrew PhillipsJournal of the Royal Society Interface | March 2012, Vol 9(68): pp. 470-486A model of stem cell population dynamics: in-silico analysis and in-vivo validation
Hillel KuglerDevelopment | January 2012, Vol 139: pp. 47Modelling the role of the basement membrane beneath a growing epithelial monolayer
Sara-Jane Dunn, Alexander G. Fletcher, S. Jonathan Chapman, David J. Gavaghan, James M. OsborneJournal of Theoretical Biology | December 2011Visual DSD: a design and analysis tool for DNA strand displacement systems
Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew PhillipsBioinformatics | November 2011, Vol 27: pp. 3211-3213A peptide filtering relation quantifies MHC class I peptide optimization
Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M WernerPLoS Computational Biology | October 2011, Vol 7(10): pp. e1002144Localized Hybridization Circuits
Harish Chandran, Nikhil Gopalkrishnan, Andrew Phillips, John ReifInternational Conference on DNA Computing and Molecular Programming | September 2011, Vol 6937: pp. 64-83How neurons migrate: a dynamic in-silico model of neuronal migration in the developing cortex
Yaki Setty, Chih-Chun Chen, Maria Secrier, Nikita Skoblov, Dimitrios Kalamatianos, Stephen EmmottBMC Systems Biology | September 2011Ticking Over – Circadian Systems Across the Kingdoms of Life
Neil Dalchau, Alex AR WebbBiochemist | February 2011, Vol 33(1): pp. 12-15The cell biology of major histocompatibility complex class I assembly: towards a molecular understanding
Andy van Hateren, Ed James, Alistair Bailey, Andrew Phillips, Neil Dalchau, Tim ElliottTissue Antigens | October 2010, Vol 76(4): pp. 259A Generic Abstract Machine for Stochastic Process Calculi
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew PhillipsComputational Methods in Systems Biology | September 2010, pp. 43-54Modeling Alveolar Volume Changes During Periodic Breathing in Heterogeneously Ventilated Lungs
Sara-Jane Dunn, Jonathan P. WhiteleyAnnals of Biomedical Engineering | September 2010, Vol 38: pp. 2988-2999Biocharts: A Visual Formalism for Complex Biological Systems
Hillel Kugler, Antti Larjo, David HarelJournal of the Royal Society Interface | July 2010, Vol 7: pp. 1015-1024Published online December 2009The Neuroepithelial Basement Membrane Serves As A Boundary And A Substrate For Neuron Migration In The Zebrafish Hindbrain
Paul Grant, Cecilia MoensNeural Development | March 2010, Vol 5Disruption of two defensive signaling pathways by a viral RNA silencing suppressor
Mathew G Lewsey, Alex M Murphy, Daniel MacLean, Neil Dalchau, Jack H Westwood, Keith Macaulay, Mark H Bennett, Michael Moulin, David E Hanke, Glen Powell, Alison G Smith, John P CarrMolecular Plant-Microbe Interations | January 2010, Vol 23: pp. 835-845Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics
Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin FisherBMC Systems Biology | December 2009, Vol 3: pp. 118A Process Model of Rho GTP-binding Proteins
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew PhillipsTheoretical Computer Science | August 2009, Vol 410: pp. 3166-3185Systems analyses of circadian networks
Katharine E. Hubbard, Fiona C. Robertson, Neil Dalchau, Alex A. R. WebbMolecular Biosystems | August 2009, Vol 5: pp. 1502-1511A programming language for composable DNA circuits
Andrew Phillips, Luca CardelliJournal of the Royal Society Interface | June 2009, Vol 6: pp. S419-S436Towards programming languages for genetic engineering of living cells
Michael Pedersen, Andrew PhillipsJournal of the Royal Society Interface | April 2009, Vol 6: pp. S437-S450A Process Model of Actin Polymerisation
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew PhillipsElectronic Notes in Theoretical Computer Science | February 2009, Vol 229(1): pp. 127-144An Abstract Machine for the Stochastic Bioambient Calculus
Andrew PhillipsElectronic Notes in Theoretical Computer Science | January 2009, Vol 227: pp. 143-159 -
Fast enumeration of non-isomorphic chemical reaction networks
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil DalchauComputational Methods for Systems Biology (CMSB) | September 2019Editor(s): Luca Bortolussi, Guido SanguinettiEfficient Amortised Bayesian Inference for Hierarchical and Nonlinear Dynamical Systems
Geoffrey Roeder, Paul Grant, Andrew Phillips, Neil Dalchau, Ted MeedsICML 2019 | June 2019Formal Analysis of Network Motifs
Hillel Kugler, Sara-Jane Dunn, Boyan YordanovCMSB | September 2018Automated, Constraint-Based Analysis of Tethered DNA Nanostructures
Matthew R. Lakin, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2017Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis
Peter Backeman, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger, Sara-Jane Dunn, Boyan Yordanov, Christoph M. WintersteigerProceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT)Computational algorithms as biological switches
Rosa Hernansaiz-Ballesteros, Neil Dalchau, Luca Cardelli, Attila Csikasz-NagyProceedings of the Evry Spring School on Advances in Systems and Synthetic Biology | March 2016Abstract modelling of tethered DNA circuits
Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2014Computational design of reaction-diffusion patterns using DNA-based chemical reaction networks
Neil Dalchau, Georg Seelig, Andrew PhillipsInternational Conference on DNA Computing and Molecular Programming | September 2014Analyzing and Synthesizing Genomic Logic Functions
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler26th International Conference on Computer Aided Verification (CAV) | July 201426th International Conference on Computer Aided Verification (CAV)Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
Matthew R Lakin, Andrew PhillipsPractical Aspects of Declarative Languages - 16th International Symposium | January 2014Biocharts: Unifying Biological Hypotheses with Models and Experiments
Hillel KuglerIEEE 9th International Conference on e-Science | October 2013IEEE 9th International Conference on e-ScienceFunctional Analysis of Large-scale DNA Strand Displacement Circuits
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel KuglerInternational Conference on DNA Computing and Molecular Programming | September 2013Automated Ratiometric Characterization using GEC
Paul Grant, Jim Haseloff, Stephen Emmott, Boyan Yordanov, Neil Dalchau, Andrew PhillipsInternational Workshop on Biodesign Automation | July 2013International Workshop on Biodesign AutomationZ34Bio: An SMT-based Framework for Analyzing Biological Computation
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. WintersteigerSMT'13 | July 2013SMT-based Analysis of Biological Computation
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel KuglerNASA Formal Methods Symposium 2013 | May 2013Modelling, simulating and verifying Turing-powerful strand displacement systems
Andrew Phillips, Matthew R LakinInternational Conference on DNA Computing and Molecular Programming | September 2011Synthesizing Biological Theories
Hillel Kugler, Cory Plock, Andy RobertsComputer Aided Verification (CAV'11) | July 2011Model Checking Using SMT and Theory of Lists
Aleksandar Milicevic, Hillel KuglerNasa Formal Methods Symposium | April 2011Nasa Formal Methods SymposiumThe circadian oscillator gene GIGANTEA mediates a long-term response of the Arabidopsis thaliana circadian clock to sucrose
Neil Dalchau, Seong Jin Baek, Helen M Briggs, Fiona C Robertson, Antony N Dodd, Michael J Gardner, Matthew A Stancombe, Michael J Haydon, Guy-Bart Stan, Jorge M Goncalves, Alex AR WebbProceedings of the National Academy of Sciences | March 2011Stochastic Simulation of Process Calculi for Biology
Andrew Phillips, Matthew R. Lakin, Loïc PaulevéElectronic Proceedings in Theoretical Computer Science | November 2010Correct biological timing in Arabidopsis requires multiple light signaling pathways
Neil Dalchau, Katharine E Hubbard, Fiona C Robertson, Carlos T Hotta, Helen M Briggs, Guy-Bart Stan, Jorge M Goncalves, Alex A R WebbProceedings of the National Academy of Sciences | July 2010Some Thoughts on the Semantics of Biocharts
David Harel, Hillel KuglerEssays in Memory of Amir Pnueli | January 2010Dedicated to the dear memory of Amir Pnueli: Friend, mentor, colleague, and a truly towering figure in computer scienceAccelerating Smart Play-Out
David Harel, Hillel Kugler, Shahar Maoz, Itai SegaliSOFSEM 2010: Theory and Practice of Computer Science | January 2010SOFSEM 2010: Theory and Practice of Computer ScienceController Synthesis from LSC Requirements
Hillel Kugler, Cory Plock, Amir PnueliFundamental Approaches to Software Engineering (FASE'09) | March 2009Fundamental Approaches to Software Engineering (FASE'09)Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
Hillel KuglerTools and Algorithms for the Construction and Analysis of Systems (TACAS'09) | March 2009Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09)How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution
David Harel, Hillel Kugler, Shahar Maoz, Itai SegallPerspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) | January 2009Perspectives in Concurrency Theory (Festschrift for P.S. Thiagarajan), (K. Lodaya et al, eds.), University Press (India) -
Understanding and predicting biological networks using linear system identification
Alberto Carignano, Ye Yuan, Neil Dalchau, Alex AR Webb, Jorge M GoncalvesChapter 9, in A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System CharacterizationsPublished by Springer, July 2014 | A Systems Theoretic Approach to Systems and Synthetic Biology I: Models and System Characterizations<span class="show-manual"> edition</span> <span class="show-book">edition</span>A Visual Process Calculus for Biology
Andrew PhillipsSymbolic Systems Biology: Theory and MethodsPublished by Jones and Bartlett Publishers, January 2009 | Symbolic Systems Biology: Theory and Methods<span class="show-manual"> edition</span> <span class="show-book">edition</span> -
What makes a biological clock efficient?
Attila Csikász-Nagy, Neil DalchauEssays for the Luca Cardelli FestZ3-4Biology SMT-Based Analysis of Biological Computation
Boyan Yordanov, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger
Groups
News & features