Pages that link to "Item:Q5452709"
From MaRDI portal
The following pages link to Abstract Interpretation of Cellular Signalling Networks (Q5452709):
Displaying 25 items.
- A strand graph semantics for DNA-based computation (Q288814) (← links)
- Enumeration approach to computing chemical equilibria (Q391182) (← links)
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Computational self-assembly (Q953541) (← links)
- How liquid is biological signalling? (Q1007238) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
- Reachability analysis via orthogonal sets of patterns (Q2130568) (← links)
- Proving the absence of unbounded polymers in rule-based models (Q2229134) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Rigid geometric constraints for Kappa models (Q2520629) (← links)
- Sustainability of RNA-interference in rule based modelling (Q2520631) (← links)
- Compact representation of photosynthesis dynamics by rule-based models (Q2520664) (← links)
- Static analysis of Biological Regulatory Networks dynamics using abstract interpretation (Q2909733) (← links)
- Cooperative Assembly Systems (Q3092330) (← links)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- Constraining rule-based dynamics with types (Q4917189) (← links)
- Equilibrium and termination II: the case of Petri nets (Q4917190) (← links)
- (Q5020951) (← links)
- Stochastic Semantics of Signaling as a Composition of Agent-view Automata (Q5166629) (← links)
- A Syntactic Abstraction for Rule-Based Languages with Binding (Q5166643) (← links)
- A Process Model of Actin Polymerisation (Q5404079) (← links)
- Programming in Biomolecular Computation (Q5404089) (← links)
- Containment in Rule-Based Models (Q5404101) (← links)