Pages that link to "Item:Q3525627"
From MaRDI portal
The following pages link to Rule-Based Modelling of Cellular Signalling (Q3525627):
Displaying 50 items.
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Lumpability abstractions of rule-based systems (Q418843) (← links)
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Ultrasensitivity in independent multisite systems (Q464785) (← links)
- Mathematical models for immunology: current state of the art and future research directions (Q518216) (← links)
- Modular modelling of signalling pathways and their cross-talk (Q714863) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Computational self-assembly (Q953541) (← links)
- How liquid is biological signalling? (Q1007238) (← links)
- Computational modelling of the kinetic tile assembly model using a rule-based approach (Q1682869) (← links)
- Stochastic transcription elongation via rule based modelling (Q1744369) (← links)
- Reversible computation in nature inspired rule-based systems (Q1982978) (← links)
- Chromar, a rule-based language of parameterised objects (Q2130570) (← links)
- Proving the absence of unbounded polymers in rule-based models (Q2229134) (← links)
- Rule-based epidemic models (Q2235514) (← links)
- Long lived transients in gene regulation (Q2238202) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Generalizing Gillespie's direct method to enable network-free simulations (Q2325562) (← links)
- Prospects for declarative mathematical modeling of complex biological systems (Q2325599) (← links)
- Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- Rigid geometric constraints for Kappa models (Q2520629) (← links)
- Sustainability of RNA-interference in rule based modelling (Q2520631) (← links)
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch (Q2655500) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Bigraphs and Their Algebra (Q2870188) (← links)
- Incremental Update for Graph Rewriting (Q2988640) (← links)
- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework (Q3003509) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) (← links)
- Efficient Turing-Universal Computation with DNA Polymers (Q3070966) (← links)
- Combining Model Reductions (Q3178247) (← links)
- (Q3300791) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- Constraining rule-based dynamics with types (Q4917189) (← links)
- Equilibrium and termination II: the case of Petri nets (Q4917190) (← links)
- (Q5020951) (← links)
- Computational Software (Q5022232) (← links)
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Q5100733) (← links)
- Lifted Bayesian Filtering in Multiset Rewriting Systems (Q5139603) (← links)
- A Syntactic Abstraction for Rule-Based Languages with Binding (Q5166643) (← links)
- Intrinsic information carriers in combinatorial dynamical systems (Q5251237) (← links)
- A Process Model of Actin Polymerisation (Q5404079) (← links)
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
