Scalable Simulation of Cellular Signaling Networks

No abstract is available for this paper.

• Publication year

  2007

• Venue

  Asian Symposium on Programming Languages and Systems

• Publication date

  2007-11-29

• Fields of study

  Biology, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-76637-7_10
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Amortised Memory Analysis Using the Depth of Data Structures

  2009cited by this paper
• The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling

  2008cited by this paper
• Computational self-assembly

  2008cited by this paper
• Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus

  2007influential reference
• Rule-Based Modelling of Cellular Signalling

  2007influential reference
• Transactions on Computational Systems Biology VII

  2006cited by this paper
• Beta-binders for Biological Quantitative Experiments

  2006cited by this paper
• Scaffolding Protein Grb2-associated Binder 1 Sustains Epidermal Growth Factor-induced Mitogenic and Survival Signaling by Multiple Positive Feedback Loops*

  2006cited by this paper
• Physicochemical modelling of cell signalling pathways

  2006cited by this paper
• Stochastic process semantics for dynamical grammars

  2006cited by this paper
• A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al.

  2006cited by this paper
• A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity.

  2006cited by this paper
• Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

  2006cited by this paper
• Graph Theory for Rule-Based Modeling of Biochemical Networks

  2006cited by this paper
• Constructing Induction Rules for Deductive Synthesis Proofs

  2006cited by this paper
• Graphical rule-based representation of signal-transduction networks

  2005cited by this paper
• Beta Binders for Biological Interactions

  2004cited by this paper
• BioAmbients: an abstraction for biological compartments

  2004cited by this paper
• Formal molecular biology

  2004cited by this paper
• Modelling biochemical pathways through enhanced pi-calculus

  2004cited by this paper
• Combinatorial complexity and dynamical restriction of network flows in signal transduction.

  2004cited by this paper
• BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains

  2004cited by this paper
• Brane Calculi

  2004cited by this paper
• Core Formal Molecular Biology

  2003cited by this paper
• Cells as Computation

  2003cited by this paper
• Assembly of Cell Regulatory Systems Through Protein Interaction Domains

  2003cited by this paper
• Formal Molecular Biology Done in CCS-R

  2003cited by this paper
• Formal Molecular Biology done in CCS -

  2003cited by this paper
• Cellular abstractions: Cells as computation

  2002cited by this paper
• Causal π-Calculus for Biochemical Modelling

  2002cited by this paper
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes

  2001cited by this paper
• Pathway Logic: Symbolic Analysis of Biological Signaling

  2001cited by this paper
• Communicating and Mobile Systems: the π-calculus,

  2000cited by this paper
• Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra

  2000cited by this paper
• Non-Interleaving Semantics for Mobile Processes

  1999cited by this paper
• Communicating and mobile systems - the Pi-calculus

  1999cited by this paper
• A fully abstract semantics for causality in the $\pi$-calculus

  1998cited by this paper
• Stochastic simulation of cell signaling pathways

  1998cited by this paper
• Permutation of transitions: An event structure semantics for CCS and SCCS

  1988cited by this paper
• Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

  1988cited by this paper
• Event Structure Semantics for CCS and Related Languages

  1982cited by this paper
• Petri Nets, Event Structures and Domains, Part I

  1981cited by this paper
• On Observing Nondeterminism and Concurrency

  1980cited by this paper
• Petri Nets, Event Structures and Domains

  1979cited by this paper
• Minimal and optimal computations of recursive programs

  1977cited by this paper
• Exact Stochastic Simulation of Coupled Chemical Reactions

  1977cited by this paper
• A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions

  1976cited by this paper
• A new algorithm for Monte Carlo simulation of Ising spin systems

  1975cited by this paper

• Visualizing mechanistic models by integrating site-specific molecular details into reaction networks

  2025cites this paper
• Model reduction of infinite rule-based models

  2025cites this paper
• A rule-based multiscale model of hepatic stellate cell plasticity: Critical role of the inactivation loop in fibrosis progression

  2024cites this paper
• Expressive modeling and fast simulation for dynamic compartments

  2024cites this paper
• The rule-based model approach. A Kappa model for hepatic stellate cells activation by TGFB1

  2021cites this paper
• “Minimal metabolism”: A key concept to investigate the origins and nature of biological systems

  2021cites this paper
• BiPSim: a flexible and generic stochastic simulator for polymerization processes

  2021cites this paper
• Incremental update for graph rewriting (revised version)

  2021influential citation
• RuleDSD: A Rule-based Modelling and Simulation Tool for DNA Strand Displacement Systems

  2020cites this paper
• Rule-based epidemic models.

  2020cites this paper
• Integrative Models for TGF-β Signaling and Extracellular Matrix

  2020cites this paper
• Extracellular Matrix Omics

  2020cites this paper
• Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

  2020cites this paper
• Modelling and measurement in synthetic biology

  2020cites this paper
• Scaling up epidemiological models with rule-based modelling

  2020cites this paper
• Interactions between Causal Structures in Graph Rewriting Systems

  2019cites this paper
• Multi-Level Modeling and Simulation of Cellular Systems: An Introduction to ML-Rules.

  2019cites this paper
• Tracelets and Tracelet Analysis Of Compositional Rewriting Systems

  2019influential citation
• Counters in Kappa: Semantics, Simulation, and Static Analysis

  2019cites this paper
• Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with PORGY.

  2019influential citation
• A Step-by-Step Guide to Using BioNetFit.

  2018cites this paper
• Modeling cell line-specific recruitment of signaling proteins to the insulin-like growth factor 1 receptor

  2018cites this paper
• MCell-R: A Particle-Resolution Network-Free Spatial Modeling Framework.

  2018cites this paper
• Annotations for Rule-Based Models

  2018cites this paper
• A Trace Query Language for Rule-Based Models

  2018cites this paper
• Analysis of proteins in computational models of synaptic plasticity

  2018cites this paper
• An Overview of Network-Based and -Free Approaches for Stochastic Simulation of Biochemical Systems

  2018cites this paper
• Intrinsic limits of information transmission in biochemical signalling motifs

  2018cites this paper
• Harmonizing semantic annotations for computational models in biology

  2018cites this paper
• Markov chain aggregation and its application to rule-based modelling

  2018cites this paper
• Embodying probabilistic inference in biochemical circuits

  2018cites this paper
• Counterfactual Resimulation for Causal Analysis of Rule-Based Models

  2018influential citation
• Rule-based modelling provides an extendable framework for comparing candidate mechanisms underpinning clathrin polymerisation

  2018cites this paper
• Towards an Aspect-Oriented Design and Modelling Framework for Synthetic Biology

  2018influential citation
• Molecular Process Diagram: a precise, scalable and compact visualization of rule-based models

  2018cites this paper
• Chromar, a Rule-based Language of Parameterised Objects

  2018cites this paper
• Rule-Based Models and Applications in Biology.

  2018cites this paper
• The Kappa platform for rule-based modeling

  2018cites this paper
• Tropical Abstraction of Biochemical Reaction Networks with Guarantees

  2018cites this paper
• Generalizing Gillespie’s Direct Method to Enable Network-Free Simulations

  2018cites this paper
• Rule-based meta-modelling for bio-curation. (Meta-modélisation à base de règles pour la curation biologique)

  2017cites this paper
• Incremental Update for Graph Rewriting

  2017cites this paper
• An introduction to rule-based modeling of immune receptor signaling

  2017cites this paper
• Chromar, a language of parameterised objects

  2017influential citation
• Syntactic Markovian Bisimulation for Chemical Reaction Networks

  2017cites this paper
• Chromar, a language of parameterised agents

  2017cites this paper
• Understanding the dynamics of scaffold-mediated signaling

  2017cites this paper
• Using alternated sums to express the number of occurrences of extended patterns in site-graphs

  2017cites this paper
• Causal analysis of rule-based models by counterfactual reasoning

  2017cites this paper
• Systems biology

  2017cites this paper
• Formal and exact reduction for differential models of signalling pathways in rule-based languages. (Réduction formelle et exacte de modèles différentiels de voies de signalisation en Kappa)

  2017cites this paper
• Title Dynamic Influence Networks for Rule-based Models Permalink

  2017cites this paper
• KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models

  2017cites this paper
• TRuML: A Translator for Rule-Based Modeling Languages

  2017cites this paper
• Using alternated sums to express the occurrence number of extended patterns in site-graphs

  2017cites this paper
• From word models to executable models of signaling networks using automated assembly

  2017influential citation
• Stochastic simulation of multiscale complex systems with PISKaS: A rule-based approach.

  2017cites this paper
• Dynamic Influence Networks for Rule-Based Models

  2017cites this paper
• Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

  2017influential citation
• Computational modelling of the kinetic Tile Assembly Model using a rule-based approach

  2017cites this paper
• Automated visualization of rule-based models

  2016cites this paper
• Transitions between employment, unemployment and entrepreneurial activities - evidence from Germany

  2016cites this paper
• Hybrid Stochastic Simulation of Rule-Based Polymerization Models

  2016cites this paper
• Matching Causality Hypotheses to Simulations of Biological Systems

  2016cites this paper
• BioNetFit: a fitting tool compatible with BioNetGen, NFsim and distributed computing environments

  2016cites this paper
• Computational modeling of the kinetic Tile Assembly Model using a rule-based approach

  2016cites this paper
• A rule-based model of insulin signalling pathway

  2016cites this paper
• Qualitative dynamics semantics for SBGN process description

  2016cites this paper
• A Systems Biological Approach to Parkinson's Disease

  2016cites this paper
• Design Tools for Synthetic Biology

  2016cites this paper
• Design Automation of Nucleic Acid Reaction System Simulated by Chemical Kinetics based on Graph Rewriting Model

  2016cites this paper
• Theory and Construction of Semi-Synthetic Minimal Cells

  2016cites this paper
• Heterogeneity and Decision-Making in Cellular Signaling Networks

  2016influential citation
• ℓ: An Imperative DSL to Stochastically Simulate Biological Systems

  2015cites this paper
• Sustainability of RNA-interference in Rule Based Modelling

  2015cites this paper
• Syntax and Semantics of a Multi-Level Modeling Language

  2015cites this paper
• BioJazz: in silico evolution of cellular networks with unbounded complexity using rule-based modeling

  2015cites this paper
• Rigid Geometric Constraints for Kappa Models

  2015cites this paper
• Rule-based modelling and simulation of drug-administration policies

  2015cites this paper
• Visualizing Regulation in Rule-based Models

  2015cites this paper
• Causal analysis of rule-based models of signaling pathways

  2015cites this paper
• Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization

  2015cites this paper
• A fast exact simulation method for a class of Markov jump processes.

  2015cites this paper
• Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set

  2015cites this paper
• Modeling for (physical) biologists: an introduction to the rule-based approach

  2015cites this paper
• Coarse-graining the Dynamics of Ideal Branched Polymers

  2015cites this paper
• A fast exact simulation algorithm for a class of Markov jump processes

  2015cites this paper
• A High-Level Language for Rule-Based Modelling

  2015cites this paper
• Rule-based modeling of cell signaling: Advances in model construction, visualization and simulation

  2015cites this paper
• Rule-based modeling of labor market dynamics: an introduction

  2014cites this paper
• Rule‐based modeling: a computational approach for studying biomolecular site dynamics in cell signaling systems

  2014cites this paper
• Simulation and Automatic Design of Nucleic Acid Reaction System

  2014cites this paper
• Integration of Rule-Based Models and Compartmental Models of Neurons

  2014cites this paper
• Transformation and Refinement of Rigid Structures

  2014cites this paper
• Soluble and stable alternating main-chain merocyanine copolymers through quantitative spiropyran–merocyanine conversion

  2014cites this paper
• Mechanistic Model Development for Multi-Enzymatic Reactions in Lignin Biosynthesis

  2014cites this paper
• Type disciplines for systems biology

  2014cites this paper
• A Rule-Based Model of Base Excision Repair

  2014cites this paper
• RKappa: Statistical Sampling Suite for Kappa Models

  2014cites this paper
• Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology

  2014cites this paper