Binary decision diagrams ,
Graph-based algorithm for boolean function manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathmatica Biology, vol.66, pp.301-340, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00173849
Controlling qualitative resolution, Proceedings of the seventh National Conference on Artificial Intelligence, AAAI88', Saint-Paul, 1988. ,
Formal verification of programs specified with signal: application to a power transformer station controller, Science of Computer Programming, vol.41, issue.1, pp.85-104, 2001. ,
DOI : 10.1016/S0167-6423(00)00020-4
URL : https://hal.archives-ouvertes.fr/inria-00526287
Escherichia coli K-12 transcriptional regulatory network, operon organization, and growth conditions, Nucleic Acids Res, vol.1, issue.34, pp.394-401, 2006. ,
Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks, Biosystems, vol.84, issue.2, pp.153-174, 2006. ,
DOI : 10.1016/j.biosystems.2005.10.006
URL : https://hal.archives-ouvertes.fr/inria-00178809
Complex Qualitative Models in Biology: A New Approach, Complexus, vol.2, issue.3-4, pp.3-4140, 2004. ,
DOI : 10.1159/000093686
URL : https://hal.archives-ouvertes.fr/inria-00178819
Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 2004. ,