Formal Cellular Machinery

DOI10.1016/J.ENTCS.2012.05.015MaRDI QIDQ5404096zbMATH OpenOpenAlexWikidataFDO

Authors Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine

Publication date 21 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2012.05.015

zbMATH Keywords

systems biologyprojectivityterm rewritingmembranebigraphscompartmentKapparule-based modeling

Mathematics Subject Classification ID

Systems biology, networks (92C42) Grammars and rewriting systems (68Q42)

Recommendations

• Complex cellular structures
• Publication:4861616
• Canonical Form and Synthesis of Cellular Cascades
• Generalized cell structures
• Publication:4487187
• Towards a formal description of intracellular biochemical organization
• Advances in cell mechanics

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)