Recommendations
Cited in
(75)- How liquid is biological signalling?
- A model of TLR4 signaling and tolerance using a qualitative, particle-event-based method: Introduction of spatially configured stochastic reaction chambers (SCSRC)
- Computational modelling of the kinetic tile assembly model using a rule-based approach
- Stochastic transcription elongation via rule based modelling
- Reversible computation in nature inspired rule-based systems
- Chromar, a rule-based language of parameterised objects
- Proving the absence of unbounded polymers in rule-based models
- Rule-based epidemic models
- Long lived transients in gene regulation
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Generalizing Gillespie's direct method to enable network-free simulations
- Prospects for declarative mathematical modeling of complex biological systems
- Verifying chemical reaction network implementations: a pathway decomposition approach
- Chromar, a language of parameterised agents
- Rigid geometric constraints for Kappa models
- Sustainability of RNA-interference in rule based modelling
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
- Reversible computation in nets with bonds
- A collective interpretation semantics for reversing Petri nets
- Bigraphs and their algebra
- Computational modeling and verification of signaling pathways in cancer
- Incremental update for graph rewriting
- Refining dynamics of gene regulatory networks in a stochastic -calculus framework
- The attributed pi-calculus with priorities
- A language for biochemical systems: design and formal specification
- Rule-based modeling of transcriptional attenuation at the tryptophan operon
- Efficient Turing-universal computation with DNA polymers
- Combining model reductions
- Combinatorial conversion and moment bisimulation for stochastic rewriting systems
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Quantomatic: a proof assistant for diagrammatic reasoning
- A declarative view of signaling pathways
- Rule-Based Modelling, Symmetries, Refinements
- DISCRETE NONDETERMINISTIC MODELING OF THE FAS PATHWAY
- Process Algebra Modelling Styles for Biomolecular Processes
- Symbolic logic model of cellular adaptation
- A process algebra framework for multi-scale modelling of biological systems
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Lumpability abstractions of rule-based systems
- Stochastic simulation of multiple process calculi for biology
- scientific article; zbMATH DE number 1955879 (Why is no real title available?)
- Strategic port graph rewriting: an interactive modelling framework
- Ultrasensitivity in independent multisite systems
- Constraining rule-based dynamics with types
- Equilibrium and termination. II: The case of Petri nets
- A knowledge representation meta-model for rule-based modelling of signalling networks
- scientific article; zbMATH DE number 7453970 (Why is no real title available?)
- Computational software
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics
- Lifted Bayesian filtering in multiset rewriting systems
- Rule-based modelling and tunable resolution
- A syntactic abstraction for rule-based languages with binding
- Mathematical models for immunology: current state of the art and future research directions
- Intrinsic information carriers in combinatorial dynamical systems
- A process model of actin polymerisation
- Process algebra with hooks for models of pattern formation
- Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
- Fragments-based model reduction: some case studies
- A framework for modelling and simulating networks of cells
- Control Flow Analysis of Generalised Boolean Networks
- Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models
- Containment in Rule-Based Models
- Stochastic bigraphs
- Modelling intracellular fate of FGF receptors with BioAmbients
- Abstract Interpretation of Cellular Signalling Networks
- Formal reduction for rule-based models
- Fundamentals of compositional rewriting theory
- Bonding calculus
- Exact hierarchical reductions of dynamical models via linear transformations
- Performance preserving equivalence for stochastic process algebra dtsdPBC
- Mathematical analysis for a class of stochastic copolymerization processes
- Modular modelling of signalling pathways and their cross-talk
- Reachability analysis for parametric rule-based models
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- Computational self-assembly
This page was built for publication: Rule-Based Modelling of Cellular Signalling
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525627)
