Formal modeling of C. elegans development: A scenario-based approach

DOI10.1007/3-540-36481-1_2MaRDI 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

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

• A grand challenge: Full reactive modeling of a multi-cellular animal
• 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)

• Coupled map lattices dynamics on a variable space for the study of development: A general discussion on Caenorhabditis elegans
• The computational complexity of scenario-based agent verification and design
• GemCell: A generic platform for modeling multi-cellular biological systems
• Concurrency in biological modeling: behavior, execution and visualization
• Synthesis of biological models from mutation experiments
• Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
• Finding Lean Induced Cycles in Binary Hypercubes
• A grand challenge: Full reactive modeling of a multi-cellular animal
• Computational Methods in Systems Biology
• Pathway analysis for BioAmbients
• Abstract interpretation based verification of temporal properties for BioAmbients

This page was built for publication: Formal modeling of C. elegans development: A scenario-based approach

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