Kieran Alden

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 12

Top Topics

Biological Pathways

Computational Model

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

PLoS Comput. Biol.

Publications

Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48 (6-7) (2024)
Bastiaan J. R. Cockx, Tim Foster, Robert J. Clegg, Kieran Alden, Sankalp Arya, Dov J. Stekel, Barth F. Smets, Jan-Ulrich Kreft
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. PLoS Comput. Biol. 20 (2) (2024)
Edgar Buchanan, Kieran Alden, Andrew Pomfret, Jon Timmis, Andy M. Tyrrell
A study of error diversity in robotic swarms for task partitioning in foraging tasks. Future Internet 9 (2022)
Edgar Buchanan, Kieran Alden, Andrew Pomfret, Jon Timmis, Andy M. Tyrrell
A study of error diversity in robotic swarms for task partitioning in foraging tasks. Frontiers Robotics AI 9 (2022)
Mark N. Read, Kieran Alden, Jon Timmis, Paul S. Andrews
Strategies for calibrating models of biology. Briefings Bioinform. 21 (1) (2020)
Kieran Alden, Jason Cosgrove, Mark Coles, Jon Timmis
Using Emulation to Engineer and Understand Simulations of Biological Systems. IEEE ACM Trans. Comput. Biol. Bioinform. 17 (1) (2020)
Syed Rizvi, Shakir Campbell, Kieran Alden
Why Compliance is needed for Internet of Things? ICSSA (2020)
Fiona Polack, Kieran Alden
On Developing and Validating Dynamic Systems: Simulation Engineering. J. Object Technol. 19 (3) (2020)
Syed Rizvi, Kieran Alden, Shakir Campbell
A Hybrid Framework for Detecting Repackaged Applications on the Android Market. ICSSA (2019)
Kieran Alden, Jon Timmis, Paul S. Andrews, Henrique Veiga-Fernandes, Mark Coles
Extending and Applying Spartan to Perform Temporal Sensitivity Analyses for Predicting Changes in Influential Biological Pathways in Computational Models. IEEE ACM Trans. Comput. Biol. Bioinform. 14 (2) (2017)
Stephanie Evans, Kieran Alden, Lourdes Cucurull-Sanchez, Christopher Larminie, Mark Coles, Marika C. Kullberg, Jon Timmis
ASPASIA: A toolkit for evaluating the effects of biological interventions on SBML model behaviour. PLoS Comput. Biol. 13 (2) (2017)
Kieran Alden, Paul S. Andrews, Henrique Veiga-Fernandes, Jon Timmis, Mark Coles
Utilising a simulation platform to understand the effect of domain model assumptions. Nat. Comput. 14 (1) (2015)
Kieran Alden, Mark Read, Paul S. Andrews, Jon Timmis, Mark Coles
Applying spartan to Understand Parameter Uncertainty in Simulations. R J. 6 (2) (2014)
Kieran Alden, Jon Timmis, Mark Coles
Easing Parameter Sensitivity Analysis of Netlogo Simulations Using SPARTAN. ALIFE (2014)
James A. Butler, Kieran Alden, Henrique Veiga-Fernandes, Jon Timmis, Mark Coles
Novel Approaches to the Visualization and Quantification of Biological Simulations by Emulating Experimental Techniques. ALIFE (2014)
Kieran Alden, Mark Read
Computing: Scientific software needs quality control. Nat. 502 (7472) (2013)
Kieran Alden, Mark Read, Jonathan Timmis, Paul S. Andrews, Henrique Veiga-Fernandes, Mark Coles
: A Comprehensive Tool for Understanding Uncertainty in Simulations of Biological Systems. PLoS Comput. Biol. 9 (2) (2013)
Kieran Alden, Paul S. Andrews, Jon Timmis, Henrique Veiga-Fernandes, Mark Coles
Model of Immune Tissue Organogenesis. ICARIS (2011)
Kieran Alden, Stella Veretnik, Philip E. Bourne
dConsensus: a tool for displaying domain assignments by multiple structure-based algorithms and for construction of a consensus assignment. BMC Bioinform. 11 (2010)