Andrew Phillips

Available identifiers

zbMath Open phillips.andrewMaRDI QIDQ288811

List of research outcomes

Publication	Date of Publication	Type
Computing with biological switches and clocks	2023-11-30	Paper
Automated analysis of tethered DNA nanostructures using constraint solving	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	2016-05-27	Paper
A strand graph semantics for DNA-based computation	2016-05-27	Paper
An abstract machine for the stochastic bioambient calculus	2015-03-19	Paper
Abstract modelling of tethered DNA circuits	2014-10-08	Paper
Computational Design of Reaction-Diffusion Patterns Using DNA-Based Chemical Reaction Networks	2014-10-08	Paper
Modular verification of DNA strand displacement networks via serializability analysis	2014-07-07	Paper
Functional analysis of large-scale DNA strand displacement circuits	2014-07-07	Paper
A process model of actin polymerisation	2014-03-21	Paper
A chart semantics for the pi-calculus	2013-12-06	Paper
Stochastic simulation of multiple process calculi for biology	2012-05-30	Paper
Localized hybridization circuits	2011-09-16	Paper
Modelling, simulating and verifying Turing-powerful strand displacement systems	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	2009-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3614670	2009-03-09	Paper
Programming Languages and Systems	2007-09-28	Paper
Transactions on Computational Systems Biology IV	2007-05-02	Paper

Research outcomes over time

This page was built for person: Andrew Phillips