dConsensus: a tool for displaying domain assignments by multiple structure-based algorithms and for construction of a consensus assignment. - Kieran Alden; Stella Veretnik; Philip E. Bourne (BMC Bioinform., 2010)

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)

Computing: Scientific software needs quality control. - Kieran Alden; Mark Read 001 (Nat., 2013)

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)

Easing Parameter Sensitivity Analysis of Netlogo Simulations Using SPARTAN. - Kieran Alden; Jon Timmis; Mark C. Coles (ALIFE, 2014)

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)

Applying spartan to Understand Parameter Uncertainty in Simulations. - Kieran Alden; Mark Read 001; Paul S. Andrews; Jon Timmis; Mark C. Coles (R J., 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)

ASPASIA: A toolkit for evaluating the effects of biological interventions on SBML model behaviour. - Stephanie Evans; Kieran Alden; Lourdes Cucurull-Sanchez; Christopher Larminie; Mark C. Coles; Marika C. Kullberg; Jon Timmis (PLoS Comput. Biol., 2017)

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)

A Hybrid Framework for Detecting Repackaged Applications on the Android Market. - Syed Rizvi 001; Kieran Alden; Shakir Campbell (ICSSA, 2019)

Why Compliance is needed for Internet of Things? - Syed Rizvi 001; Shakir Campbell; Kieran Alden (ICSSA, 2020)

Strategies for calibrating models of biology. - Mark N. Read; Kieran Alden; Jon Timmis; Paul S. Andrews (Briefings Bioinform., 2020)

On Developing and Validating Dynamic Systems: Simulation Engineering. - Fiona Polack; Kieran Alden (J. Object Technol., 2020)

Using Emulation to Engineer and Understand Simulations of Biological Systems. - Kieran Alden; Jason Cosgrove; Mark C. Coles; Jon Timmis (IEEE ACM Trans. Comput. Biol. Bioinform., 2020)

A study of error diversity in robotic swarms for task partitioning in foraging tasks. - Edgar Buchanan; Kieran Alden; Andrew Pomfret; Jon Timmis; Andy M. Tyrrell (Frontiers Robotics AI, 2022)

Is it selfish to be filamentous in biofilms? Individual-based modeling links microbial growth strategies with morphology using the new and modular iDynoMiCS 2.0. - Bastiaan J. R. Cockx; Tim Foster; Robert J. Clegg; Kieran Alden; Sankalp Arya; Dov J. Stekel; Barth F. Smets; Jan-Ulrich Kreft (PLoS Comput. Biol., 2024)

Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. - Wei Li 055; Pedro Ribeiro 002; Alvaro Miyazawa; Richard Redpath; Ana Cavalcanti 001; Kieran Alden; Jim Woodcock 001; Jon Timmis (Auton. Robots, 2024)