Towards Argument-Driven Validation of an in silico Model of Immune Tissue Organogenesis. - Kieran Alden; Paul S. Andrews; Jon Timmis; Henrique Veiga-Fernandes; Mark C. Coles (ICARIS, 2011)

Spartan: A Comprehensive Tool for Understanding Uncertainty in Simulations of Biological Systems. - Kieran Alden; Mark Read 001; Jonathan Timmis; Paul S. Andrews; Henrique Veiga-Fernandes; Mark C. Coles (PLoS Comput. Biol., 2013)

Novel Approaches to the Visualization and Quantification of Biological Simulations by Emulating Experimental Techniques. - James A. Butler; Kieran Alden; Henrique Veiga-Fernandes; Jon Timmis; Mark C. Coles (ALIFE, 2014)

Utilising a simulation platform to understand the effect of domain model assumptions. - Kieran Alden; Paul S. Andrews; Henrique Veiga-Fernandes; Jon Timmis; Mark C. Coles (Nat. Comput., 2015)

Extending and Applying Spartan to Perform Temporal Sensitivity Analyses for Predicting Changes in Influential Biological Pathways in Computational Models. - Kieran Alden; Jon Timmis; Paul S. Andrews; Henrique Veiga-Fernandes; Mark C. Coles (IEEE ACM Trans. Comput. Biol. Bioinform., 2017)