The following pages link to (Q4413203):
Displaying 17 items.
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (Q1884863) (← links)
- Formal molecular biology (Q1884864) (← links)
- Modelling biochemical pathways through enhanced \(\pi\)-calculus (Q1884867) (← links)
- BioAmbients: an abstraction for biological compartments (Q1884869) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- A Static Analysis for Beta-Binders (Q2870298) (← links)
- On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems (Q3503929) (← links)
- (Q5020951) (← links)
- Control Flow Analysis for Brane Calculi (Q5179425) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
- Control Flow Analysis of Generalised Boolean Networks (Q5404092) (← links)
- Formal Cellular Machinery (Q5404096) (← links)
- Expressivity in the κ Family (Q5415633) (← links)
