Analysing gene regulatory networks by both constraint programming and model-checking

Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings

Volumn , Issue , 2007, Pages 4595-4598

  Fromentin, Jonathan ^a   Cornet, Jean Paul ^b   Le Gall, Pascale ^b   Roux, Olivier ^a  

^a ECOLE CENTRALE DE NANTES   (France)

^b UNIVERSITY OF EVRY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; FORMAL LANGUAGES; MODEL CHECKING; ORDINARY DIFFERENTIAL EQUATIONS;

COMPUTATION TIME; CONSTRAINT PROGRAMMING; DISCRETE MODELING; DISCRETE TRANSITION SYSTEMS; GENE REGULATORY NETWORKS;

GENE EXPRESSION;

ANIMAL; ARTICLE; BIOLOGICAL MODEL; COMPUTER LANGUAGE; COMPUTER PROGRAM; GENE EXPRESSION REGULATION; HUMAN; PHYSIOLOGY;

ANIMALS; GENE EXPRESSION REGULATION; HUMANS; MODELS, GENETIC; PROGRAMMING LANGUAGES; SOFTWARE;

EID: 57649188962     PISSN: 05891019     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IEMBS.2007.4353363     Document Type: Conference Paper

References (16)

1. H. de Jong, "Modeling and simulation of genetic regulatory systems: a literature review." J. Comput. Biol., vol. 9, no. 1, pp. 67-103., 2002.
2. H. de Jong, J. Geiselmann, G. Batt, C. Hernandez, and M. Page, "Qualitative simulation of the initiation of sporulation in Bacillus subtilis," Bull, of Math. Bio., vol. 66, no. 2, pp. 261-299, 2004.
3. A. Richard, J.-P. Comet, and G. Bernot, Modern Formal Methods and Applications. Springer, ISBN: 1-4020-4222-1, 2006, ch. Formal Methods for Modeling Biological Regulatory Networks.
4. R. Thomas, "Regulatory networks seen as asynchronous automata : A logical description," J. theor. Biol., vol. 153, pp. 1-23, 1991.
5. F. Fages, Programmation Logique Par Contraintes. Ellipses (ISBN 2729846131), 1996.
6. T. Frühwirth and S. Abdennadher, Essentials of Constraint Progmmming. Springer (ISBN: 3540676236), 2003.
7. K. R. Apt, Principles of Constraint Programming. Cambridge University Press (ISBN 0521825830), 2003.
8. F. Corblin, E. Fanchon, and L. Trilling, "Inférer et simuler un modèle biologique décrivant l'adhérence entre cellules," in Premières Journées Francophones de Programmation par Contraintes, 2005.
9. H. de Jong, M. Page, C. Hernandez, and J. Geiselmann, "Qualitative simulation of genetic regulatory networks: Method and application," in IJCAI, 2001, pp. 67-73.
10. M. Aiguier, C. Gaston, P. Le Gall, D. Longuet, and A. Touil, "A temporal logic for input output symbolic transition systems," In Proc. of the 12th Asia-Pacific Software Eng. Conf, pp. 43-50, 2005.
11. D. Mateus, J.-P. Gallois, J.-P. Comet, and P. Le Gall, "Symbolic modeling of genetic regulatory networks," Journal of Bioinformatics and Computational Biology, 2007.
12. J. Guespin-Michel and M. Kaufman, "Positive feedback circuits and adaptive regulations in bacteria." Acta Biotheor., vol. 49, no. 4, pp. 207-18, 2001.
13. M. McCaw, G. Lykken, P. Singh, and T. Yahr, "Exsd is a negative regulator of the Pseudomonas aeruginosa type iii secretion regulon," Mol. Microbiol., vol. 46, no. 4, pp. 1123-33, 2002.
14. E. Emerson, Handbook of theoretical computer science, Volume B : formal models and semantics. MIT Press, 1990, ch. Temporal and modal logic, pp. 995-1072.
15. M. Huth and M. Ryan, Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000.
16. D. Thieffry and R. Thomas, "Dynamical behaviour of biological regulatory networks - II. immunity control in bacteriophage lambda." Bull Math. Biol., vol. 57, no. 2, pp. 277-297, 1995.