Pages that link to "Item:Q5712405"
From MaRDI portal
The following pages link to Computational Methods in Systems Biology (Q5712405):
Displaying 50 items.
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Evolving BlenX programs to simulate the evolution of biological networks (Q959795) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch (Q2655500) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services (Q2810685) (← links)
- Biological transactions for quantitative models (Q2864196) (← links)
- Timed concurrent constraint programming for analysing biological systems (Q2864201) (← links)
- The decidability of the structural congruence for beta-binders (Q2864203) (← links)
- Encoding catalytic P systems in {\(\pi\)}\@ (Q2864204) (← links)
- Undecidability of model checking in brane logic (Q2864500) (← links)
- A static analysis for beta-binders (Q2870298) (← links)
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks (Q2870300) (← links)
- A spatial extension to the \(\pi\) calculus (Q2870304) (← links)
- Efficient stochastic simulation of biological systems with multiple variable volumes (Q2870307) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- On the Computational Power of Biochemistry (Q3599194) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions (Q3642955) (← links)
- Control Flow Analysis for Brane Calculi (Q5179425) (← links)
- Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
- Intensional Couplings in Variable-Structure Models (Q5270660) (← links)
- Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language (Q5270913) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078) (← links)
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)
