Pages that link to "Item:Q2957506"
From MaRDI portal
The following pages link to Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models (Q2957506):
Displaying 19 items.
- Explaining safety violations in real-time systems (Q832041) (← links)
- Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
- A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Reachability analysis via orthogonal sets of patterns (Q2130568) (← links)
- Prospects for declarative mathematical modeling of complex biological systems (Q2325599) (← links)
- Labelled port graph -- a formal structure for models and computations (Q2333309) (← links)
- Rigid geometric constraints for Kappa models (Q2520629) (← links)
- An algebraic approach for inferring and using symmetries in rule-based models (Q2520668) (← links)
- Parallelism in AGREE Transformations (Q3187802) (← links)
- (Q3300791) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- (Q5013819) (← links)
- (Q5020536) (← links)
- (Q5020951) (← links)
- (Q5021224) (← links)
- Containment in Rule-Based Models (Q5404101) (← links)
- (Q5875349) (← links)
- Causal Unfoldings and Disjunctive Causes (Q6135752) (← links)
