Pages that link to "Item:Q5712384"
From MaRDI portal
The following pages link to Computational Methods in Systems Biology (Q5712384):
Displaying 13 items.
- Hypothesizing about signaling networks (Q833723) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- A logic of behaviour in context (Q2453209) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Biochemical Reaction Rules with Constraints (Q3000587) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
- Bonding calculus (Q6062028) (← links)