Scalable simulation of cellular signaling networks

V Danos, J Feret, W Fontana, J Krivine - Asian Symposium on …, 2007 - Springer
Given the combinatorial nature of cellular signalling pathways, where biological agents can
bind and modify each other in a large number of ways, concurrent or agent-based …

Rule-based modelling of cellular signalling

V Danos, J Feret, W Fontana, R Harmer… - … on concurrency theory, 2007 - Springer
Modelling is becoming a necessity in studying biological signalling pathways, because the
combinatorial complexity of such systems rapidly overwhelms intuitive and qualitative forms …

A compiled accelerator for biological cell signaling simulations

JF Keane, C Bradley, C Ebeling - Proceedings of the 2004 ACM/SIGDA …, 2004 - dl.acm.org
The simulation of large systems of biochemical reactions is a key part of research into
molecular signaling and information processing in biological cells. However, it can be …

Abstract interpretation of cellular signalling networks

V Danos, J Feret, W Fontana, J Krivine - International Workshop on …, 2008 - Springer
Cellular signalling pathways, where proteins can form complexes and undergo a large array
of post translational modifications are highly combinatorial systems sending and receiving …

A multi-agent system for the quantitative simulation of biological networks

S Khan, R Makkena, F McGeary, K Decker… - Proceedings of the …, 2003 - dl.acm.org
We apply the multi-agent system (MAS) platform to the task of biological network simulation.
In this paper, we describe the simulation of signal transduction (ST) networks using the …

CytoSolve: a scalable computational method for dynamic integration of multiple molecular pathway models

VAS Ayyadurai, CF Dewey - Cellular and molecular bioengineering, 2011 - Springer
A grand challenge of computational systems biology is to create a molecular pathway model
of the whole cell. Current approaches involve merging smaller molecular pathway models' …

A multi-algorithm, multi-timescale method for cell simulation

K Takahashi, K Kaizu, B Hu, M Tomita - Bioinformatics, 2004 - academic.oup.com
Motivation: Many important problems in cell biology require the dense nonlinear interactions
between functional modules to be considered. The importance of computer simulation in …

A mathematical framework for agent based models of complex biological networks

F Hinkelmann, D Murrugarra, AS Jarrah… - Bulletin of mathematical …, 2011 - Springer
Agent-based modeling and simulation is a useful method to study biological phenomena in
a wide range of fields, from molecular biology to ecology. Since there is currently no agreed …

Rule-based modelling, symmetries, refinements

V Danos, J Feret, W Fontana, R Harmer… - Formal Methods in …, 2008 - Springer
Rule-based modelling is particularly effective for handling the highly combinatorial aspects
of cellular signalling. The dynamics is described in terms of interactions between partial …

An agent-oriented conceptual framework for systems biology

N Cannata, F Corradini, E Merelli, A Omicini… - … systems biology III, 2005 - Springer
Recently, a collective effort from multiple research areas has been made to understand
biological systems at the system level. On the one hand, for instance, researchers working …