Computational Methods in Systems Biology
From MaRDI portal
Publication:5712384
DOI10.1007/b107287zbMath1088.68817OpenAlexW4205605414MaRDI QIDQ5712384
François Fages, Nathalie Chabrier-Rivier, Sylvain Soliman
Publication date: 23 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107287
Related Items (13)
Hypothesizing about signaling networks ⋮ Modeling and querying biomolecular interaction networks ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Bonding calculus ⋮ A logic of behaviour in context ⋮ Biochemical Reaction Rules with Constraints ⋮ Modeling biological networks by action languages via answer set programming ⋮ A Port Graph Calculus for Autonomic Computing and Invariant Verification ⋮ The Attributed Pi-Calculus with Priorities ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ A Higher-Order Graph Calculus for Autonomic Computing
Uses Software
This page was built for publication: Computational Methods in Systems Biology
