Modeling and Analysis of Gene Regulatory Networks - Modeling in Computational Biology and Biomedicine - page 76

9. R. Casey, H. de Jong, and J.L. Gouze. Piecewise-linear models of genetic regulatory networks:
equilibria and their stability. J. Math. Biol. , 52:27-56, 2006.
10. M. Chaves and J.L. Gouze. Exact control of genetic networks in a qualitative framework: the
bistable switch example. Automat. , 47:1105-1112, 2011.
11. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, and M. Roven. NuSMV2: An
Open Source Tool for Symbolic Model Checking. In International Conference on Computer-
Aided Verification (CAV 2002) , 2002.
12. O. Cinquin and J. Demongeot. Roles of positive and negative feedback in biological systems.
C.R.Biol. , 325(11):1085-1095, 2002.
13. F. Corblin, E. Fanchon, and L. Trilling. Applications of a formal approach to decipher discrete
genetic networks. BMC Bioinformatics , 11(385), 2010.
14. F. Corblin, S. Tripodi, E. Fanchon, D. Ropers, and L. Trilling. A declarative constraint-based
method for analyzing discrete genetic regulatory networks. Biosystems , 98(2):91-104, 2009.
15. F. Dardel and F. Kepes. Bioinformatics: genomics and post-genomics . Wiley, Chichester, 2005.
16. H. De Jong. Modeling and simulation of genetic regulatory systems: a literature review.
Journal of computational biology , 9(1):67-103, 2002.
17. H. de Jong, J.L. Gouze, C. Hernandez, M. Page, T. Sari, and J. Geiselmann. Qualitative

simulation of genetic regulatory networks using piecewise linear models. Bull. Math. Biol. ,

66:301-340, 2004.
18. L. Edelstein-Keshet. Mathematical models in Biology . SIAM classics in applied mathematics,
Philadelphia, 2005.
19. E.A. Emerson. Handbook of theoretical computer science, Volume B : formal models and
semantics , chapter Temporal and modal logic, pages 995-1072. MIT Press, 1990.
20. S. Gama-Castro, H. Salgado, M. Peralta-Gil, A. Santos-Zavaleta, L. Muniz-Rascado,
H. Solano-Lira, V. Jimenez-Jacinto, V. Weiss, J. S. Garcia-Sotelo, A. Lopez-Fuentes,
L. Porron-Sotelo, S. Alquicira-Hernandez, A. Medina-Rivera, I. Martinez-Flores, K. Alquicira-
Hernandez, R. Martinez-Adame, C. Bonavides-Martinez, J. Miranda-Rios, A. M. Huerta,
A. Mendoza-Vargas, L. Collado-Torres, B. Taboada, L. Vega-Alvarado, M. Olvera, L. Olvera,
R. Grande, E. Morett, and J. Collado-Vides. RegulonDB version 7.0: transcriptional regulation
of Escherichia coli K-12 integrated within genetic sensory response units (Gensor Units).
Nucleic Acids Research , 2010.
21. T.S. Gardner, C.R. Cantor, and J.J. Collins. Construction of a genetic toggle switch in

Escherichia coli . Nature , 403:339-342, 2000.
22. L. Glass and S.A. Kauffman. The logical analysis of continuous, nonlinear biochemical control
networks. J. Theor. Biol. , 39:103-129, 1973.
23. J.L. Gouze. Positive and negative circuits in dynamical systems. Journal of Biological Systems ,
6:11-15, 1998.
24. F. Grognard, J.-L. Gouze, and H. de Jong. Piecewise-linear models of genetic regulatory
networks: theory and example. In I. Queinnec, S. Tarbouriech, G. Garcia, and S. Niculescu,
editors, Biology and control theory: current challenges , Lecture Notes in Control and
Information Sciences (LNCIS) 357, pages 137-159. Springer-Verlag, 2007.
25. J. Guespin-Michel and M. Kaufman. Positive feedback circuits and adaptive regulations in
bacteria. Acta Biotheor. , 49(4):207-18, 2001.
26. M. Kaufman, C. Soule, and R. Thomas. A new necessary condition on interaction graphs for
multistationarity. Journal of Theoretical Biology , 248:675-685, 2007.
27. H.K. Khalil. Nonlinear systems . Prentice Hall, New Jersey, 2002.
28. E. Klipp, R. Herwig, A. Howald, C. Wierling, and H. Lehrach. Systems Biology in Practice .
Wiley-VCH, Weinheim, 2005.
29. E. Plahte, T. Mestl, and S.W. Omholt. Feedback loops, stability and multistationarity in
dynamical systems. Journal of Biological Systems , 3:569-577, 1995.
30. E. Remy, P. Ruet, and D. Thieffry. Graphic requirement for multistability and attractive cycles
in a boolean dynamical framework. Advances in Applied Mathematics , 41(3):335-350, 2008.
31. A. Richard. Positive circuits and maximal number of fixed points in discrete dynamical
systems. Discrete Applied Mathematics , 157(15):3281-3288, 2009.