scientific article; zbMATH DE number 1950545

zbMATH Open1053.92034MaRDI QIDQ4413201FDOQ4413201

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (11)

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

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)