Scalable Simulation of Cellular Signaling Networks
Abstract elided by the publisher.
Related papers
- Abstract Interpretation of Cellular Signalling Networks VMCAI 2008
- Disens: scalable distributed sensor network simulation PPoPP 2007
- Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks ECOOP 2021
- SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks CAV 2020
- Model-Checking Signal Transduction Networks through Decreasing Reachability Sets CAV 2013
- Implicit-signal monitors TOPLAS 2005
- Atomic Gliders and Cellular Automata as Language Generators VMCAI 2026
- A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal VMCAI 2004