Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli

By Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider. Intelligent Systems in Molecular Biology, 2005

440 citations recorded by the source corpus.

Subfields: Genetics, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/0e00b9917a710383cb35e54e1071ae475a80ea8f

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Genetics

1. James R. Faeder

In Molecular Biology

1. James R. Faeder
2. William S. Hlavacek
3. Walter Fontana
4. Michael Hucka
5. Michael L. Blinov
6. Richard G. Posner
7. Boris N. Kholodenko

Citations in the corpus

• A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al. (2006, positive): “(104) provide an interesting and predictive application of model checking to a hybridautomaton representation of the nutritional stress response in Escherichia coli.”
• Petri net modelling of biological networks (2007, neutral): “Model-checking methods have been used to query or validate biochemical networks in BIOCHAM (Biochemical Abstract Machine, a programming environment for biochemical networks [15]) and genetic regulatory networks in GNA (Genetic Network Analyzer [16]).”
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (2008, positive): “area of systems biology, the qualitative behavior of genetic circuits can be expressed in temporal logic, and model checking can be used for analysis, as suggested in [13] and [14].”