scientific article; zbMATH DE number 1950545

MaRDI QIDQ4413201zbMATH OpenFDO

Authors Na'Aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern

Publication date 17 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Problems related to evolution (92D15)

Recommendations

• scientific article; zbMATH DE number 1956616
• Computational Methods in Systems Biology
• Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
• Synthesis of biological models from mutation experiments
• scientific article; zbMATH DE number 4202077

Cited in

(11)

• Pathway analysis for BioAmbients
• Concurrency in biological modeling: behavior, execution and visualization
• GemCell: A generic platform for modeling multi-cellular biological systems
• The computational complexity of scenario-based agent verification and design
• Abstract interpretation based verification of temporal properties for BioAmbients
• Finding Lean Induced Cycles in Binary Hypercubes
• Synthesis of biological models from mutation experiments
• scientific article; zbMATH DE number 1956616 (Why is no real title available?)
• Computational Methods in Systems Biology
• Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
• Coupled map lattices dynamics on a variable space for the study of development: A general discussion on Caenorhabditis elegans

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413201)