Formal Cellular Machinery
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1950547 (Why is no real title available?)
- scientific article; zbMATH DE number 1950556 (Why is no real title available?)
- scientific article; zbMATH DE number 1956561 (Why is no real title available?)
- scientific article; zbMATH DE number 5051639 (Why is no real title available?)
- BioAmbients: an abstraction for biological compartments
- Biochemical reaction rules with constraints
- Bitonal membrane systems: interactions of biological membranes
- Brane Calculi
- Computational Methods in Systems Biology
- Computational Methods in Systems Biology
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- The Space and Motion of Communicating Agents
- \textsf{DBtk}: a toolkit for directed bigraphs
Cited in
(9)- Regulatory of cells associations: The functional unit
- Transactions on Computational Systems Biology III
- Semantics and efficient simulation algorithms of an expressive multilevel modeling language
- Complex cellular structures
- Computational and Information Science
- Computing embeddings of directed bigraphs
- An algebraic approach for inferring and using symmetries in rule-based models
- A Definition of Cellular Interface Problems
- Using bigraphs to model topological graphs embedded in orientable surfaces
This page was built for publication: Formal Cellular Machinery
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404096)