. Bibliographie, Biological sequence analysis. Press, Cambridge U., édition eleventh, 2006.

S. F. Hashimoto-(-r, « Steadystate analysis of genetic regulatory networks modelled by probabilistic boolean networks, Comp. Funct. Genom, vol.4, issue.6, pp.601-608, 2003.

. Hwang, Théorèmes limites pour les structures combinatoires et les fonctions arithmétiques, Thèse de doctorat, Ecole Polytechnique MARSAN (L.) et SAGOT (M.-F.), « Promoter sequences and algorithmical methods for identifying them, pp.24-779, 1994.

D. Jong, Modeling and Simulation of Genetic Regulatory Systems: A Literature Review, Journal of Computational Biology, vol.9, issue.1, pp.67-103, 2000.
DOI : 10.1089/10665270252833208
URL : https://hal.archives-ouvertes.fr/inria-00072606

H. Genomics, complexity and drug discovery : insights from boolean network models of cellular regulation, Pharmacogenomics, vol.2, issue.3, pp.203-225, 2001.

A. , R. Et, and D. , « A theory of timed automata, Theoretical Computer Science, vol.126, pp.183-235, 1994.

H. and T. Ho, « Algorithmic analysis of nonlinear hybrid systems, dans CAV : Computer-Aided Verification, coll. « Lecture Notes in Computer Science 939, pp.225-238, 1995.

S. , J. L. Van-der-weijden-(-c, and . W. Andersen-(-h, « DNA supercoiling in Escherichia coli is under tight and subtle homeostatic control, involving gene-expression and metabolic regulation of both topoisomerase I and DNA gyrase, Eur. J. Biochem, vol.269, issue.6, pp.1662-1671, 2002.

O. Abdou-arbi, J. Bourdon, S. Lemosquet, A. Siegel, and «. Metafor, a new tool to explore metabolism flexibility in complex organisms, BMC Bioinformatics, p.76, 2012.

J. Bourdon and D. Eveillard, Probabilistic models in systems biology, book Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications. Elloumi & Zomaya, 2011.

F. Jocelyne and . Van-milgen-jaap-;-bourdon-jérémie, In Modelling nutrient digestion and utilization in farm animals, 2010.

. La-calculette-métabolique, une approche de modélisation biochimique pour explorer les contraintes au sein du métabolisme des mammifères, Bourdon, J

. Atlantique, nous avons étudié en moyenne les scores qui régissent certains algorithmes d'inférence grammaticale. Nous avons co-encadré un étudiant de l'ENS Cachan et rédigeons un article de journal sur ce sujet

J. Bioatlanstic, Vérification formelle de propriétés pour un système dynamique stochastique " entre les équipes MoVeS et ComBi en 2007-2009. Ces projets sont distribués par la fédération de recherche AtlanSTIC (FR CNRS 2819

. En-outre, S. Dans-laanr-blanche, and . Bio-informatique-ligérienne, porteur Rémi Houlgatte, INSERM U915) dont le but était de fédérer les acteurs de bio-informatique en Pays de Loire par le financement de thèses notamment, Vallée), sur un sujet qui dans la suite de mes travaux de thèse et GUEPARD porteur : P. Perny, LIP6), 2006.

P. Je-participe-très-activement-au-projet, A. Cnrs-quantoursin, and . Siegel, IRISA), modélisation quantitative de l'initiation de la traduction chez l'oursin. Je suis responsable de partenaire pour l, ANR Blanche BioTempo, 2010.

J. Enfin and . Participe, en tant que sous-contractant de l'IRISA au projet d'investissement d'avenir « Biotechnologies et bioressources » IDEALG, projet financé sur 10 ans

@. Chargé-de-mission, Budget et Finances, Nantes, 2005.