| Natural language processing and machine learning to identify alcohol misuse from the electronic health record in trauma patients: development and internal validation. | 1 | 0.39 | 2019 |
| Efficient Amortised Bayesian Inference for Hierarchical and Nonlinear Dynamical Systems. | 0 | 0.34 | 2019 |
| Fast Enumeration Of Non-Isomorphic Chemical Reaction Networks | 0 | 0.34 | 2019 |
| Automated analysis of tethered DNA nanostructures using constraint solving. | 0 | 0.34 | 2018 |
| A strand graph semantics for DNA-based computation | 1 | 0.37 | 2016 |
| Modular verification of chemical reaction network encodings via serializability analysis | 5 | 0.44 | 2016 |
| Abstract Modelling of Tethered DNA Circuits. | 5 | 0.71 | 2014 |
| Bio Simulators: a web UI for biological simulation. | 1 | 0.35 | 2014 |
| Computational Design of Reaction-Diffusion Patterns Using DNA-Based Chemical Reaction Networks. | 3 | 0.45 | 2014 |
| Stochastic simulation of multiple process calculi for biology | 6 | 0.56 | 2012 |
| Localized hybridization circuits | 5 | 0.60 | 2011 |
| A peptide filtering relation quantifies MHC class I peptide optimization. | 4 | 0.55 | 2011 |
| Modelling, simulating and verifying turing-powerful strand displacement systems | 13 | 0.84 | 2011 |
| Visual DSD: a design and analysis tool for DNA strand displacement systems. | 13 | 0.89 | 2011 |
| Stochastic Simulation Of Process Calculi For Biology | 1 | 0.37 | 2010 |
| A generic abstract machine for stochastic process calculi | 10 | 0.69 | 2010 |
| Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. | 13 | 0.77 | 2009 |
| A Chart Semantics for the Pi-Calculus | 2 | 0.40 | 2008 |
| Efficient, correct simulation of biological processes in the stochastic pi-calculus | 77 | 3.70 | 2007 |
| A graphical representation for biological processes in the stochastic pi-calculus | 30 | 2.02 | 2006 |
| A Compositional Approach to the Stochastic Dynamics of Gene Networks | 37 | 2.38 | 2005 |
