Pages that link to "Item:Q714816"
From MaRDI portal
The following pages link to An excursion in reaction systems: from computer science to biology (Q714816):
Displayed 21 items.
- Complexity of model checking for reaction systems (Q264544) (← links)
- Investigating dynamic causalities in reaction systems (Q264548) (← links)
- Compositional semantics and behavioural equivalences for reaction systems with restriction (Q403001) (← links)
- Dependency graphs and mass conservation in reaction systems (Q496028) (← links)
- Reaction systems and extremal combinatorics properties (Q496044) (← links)
- Steady states of constrained reaction systems (Q1682852) (← links)
- Model checking temporal properties of reaction systems (Q1749193) (← links)
- Facilitation in reaction systems (Q1982968) (← links)
- Extracting reaction systems from function behavior (Q1982974) (← links)
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
- Controllability of reaction systems (Q1982983) (← links)
- A logical and graphical framework for reaction systems (Q2034775) (← links)
- A process algebraic approach to reaction systems (Q2044947) (← links)
- Comparing reactions in reaction systems (Q2044948) (← links)
- Asynchrony and persistence in reaction systems (Q2044949) (← links)
- Plug-in context providers for reaction systems (Q2192370) (← links)
- Reaction systems with influence on environment (Q2299880) (← links)
- Complexity of the dynamics of reaction systems (Q2417853) (← links)
- Towards Quantitative Verification of Reaction Systems (Q2819155) (← links)
- Fixed points and attractors of reactantless and inhibitorless reaction systems (Q6140358) (← links)
- Reaction Systems, Transition Systems, and Equivalences (Q6163618) (← links)