Andrew Phillips

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computing with biological switches and clocks Natural Computing	2023-11-30	Paper
Automated analysis of tethered DNA nanostructures using constraint solving Natural Computing	2023-11-30	Paper
Fast enumeration of non-isomorphic chemical reaction networks	2019-10-10	Paper
Automated, constraint-based analysis of tethered DNA nanostructures	2018-02-02	Paper
Modular verification of chemical reaction network encodings via serializability analysis Theoretical Computer Science	2016-05-27	Paper
A strand graph semantics for DNA-based computation Theoretical Computer Science	2016-05-27	Paper
An abstract machine for the stochastic bioambient calculus Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Abstract modelling of tethered DNA circuits Lecture Notes in Computer Science	2014-10-08	Paper
Computational Design of Reaction-Diffusion Patterns Using DNA-Based Chemical Reaction Networks Lecture Notes in Computer Science	2014-10-08	Paper
Modular verification of DNA strand displacement networks via serializability analysis Lecture Notes in Computer Science	2014-07-07	Paper
Functional analysis of large-scale DNA strand displacement circuits Lecture Notes in Computer Science	2014-07-07	Paper
A process model of actin polymerisation Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
A chart semantics for the pi-calculus Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Stochastic simulation of multiple process calculi for biology Theoretical Computer Science	2012-05-30	Paper
Localized hybridization circuits Lecture Notes in Computer Science	2011-09-16	Paper
Modelling, simulating and verifying Turing-powerful strand displacement systems Lecture Notes in Computer Science	2011-09-16	Paper
A correct abstract machine for the stochastic bioambient calculus	2011-06-07	Paper
A process model of Rho GTP-binding proteins Theoretical Computer Science	2009-08-07	Paper
scientific article; zbMATH DE number 5526621 (Why is no real title available?)	2009-03-09	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-09-28	Paper
Transactions on Computational Systems Biology IV Lecture Notes in Computer Science	2007-05-02	Paper

Research outcomes over time

This page was built for person: Andrew Phillips