Rubriques

•  JOBIM
  • JOBIM 2009 9 au 11 juin - Pays de la Loire
  • Thématiques

•  Soumissions
  • Appel à contributions
  • Instructions aux auteurs
  • Version finale

•  Inscription
  • Inscription au congrès

•  Informations pratiques
  • Hébergement
  • Nantes
  • Soirée de Gala

•  Programme
  • Programme détaillé
  • Communications longues
  • Posters
  • Conférenciers invités
  •  Les Résumés
    
    • Philipp Bucher
    • Gilbert Deleage
    • Christian Gautier
    • Jean-Pierre Rousset
    • Jens Stoye
    • Denis Thieffry
    • Présentations longues

•  Satellites
  • Génomique Comparative
  • MODGRAPH
  • Coté calcul
  • Jeunes Bioinformaticiens
  • Modélisation dynamique
  • RULBI

•  Comités
  • Comité d’organisation
  • Comité de programme

•  Partenaires
  • Liste des partenaires

•  Contact

Actualité du Web

Tackling regulatory networks : from biological models to theorems, and vice-versa.

At Luminy, biologists, computer scientists and mathematicians are collaborating on the discrete, dynamical modelling of biological regulatory networks since several years. This talk will describe our modes of collaboration and overview our main results, from the formulation of mathematical theorems to the design of Petri nets, and from software development to the specification and analysis logical models for the control of cell proliferation and differentiation processes.

References :

Chaouiya C, Remy E, Mossé B, Thieffry D (2003). Qualitative Analysis of Regulatory Graphs : A Computational Tool Based on a Discrete Formal Framework. Lect Notes Control Info Sci 294 : 119-126.

Chaouiya C, Remy E, Ruet P, Thieffry D (2004). Qualitative Modelling of Genetic Networks : From Logical Regulatory Graphs to Standard Petri Nets. Lect Notes Comput Sci 3099 : 137-56.

Chaouiya C, Remy E, Thieffry D (2008). Petri net modelling of biological regulatory networks. J Disc Algo 6 : 165-77.

Fauré A, Naldi A, Chaouiya C, Thieffry D (2006). Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22 : e124-31.

González AG, Naldi A, Sánchez L, Thieffry D, Chaouiya C (2006). GINsim : a software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems 84 : 91-100.

González AG, Chaouiya C, Thieffry D (2008). Qualitative dynamical modelling of the formation of the anterior-posterior compartment boundary in the Drosophila wing imaginal disc. Bioinformatics 24 : i234-40.

Gonzalez AG, Chaouiya C, Thieffry D (2006). Dynamical analysis of the regulatory network defining the dorsal-ventral boundary of the Drosophila wing imaginal disc. Genetics 174 : 1625-34.

Remy E, Mosse B, Chaouiya C, Thieffry D (2003). Discrete dynamics of regulatory feedback circuits. Bioinformatics 10 : ii172-8.

Remy E, Ruet P, Thieffry D (2006). Positive or negative regulatory circuit inference from multilevel dynamics. Lect Notes Control Info Sci 341 : 263-70.

Naldi A, Thieffry D, Chaouiya C (2007). Decision diagrams for the representation and analysis of logical models of genetic networks. Lect Notes Comput Sci 4695 : 233-47.

Remy E, Ruet P, Thieffry D (2008). Graphic requirements for multistability and attractive Cycles in a Boolean dynamical framework. Adv App Math 41 : 335-50.

Simão E, Remy E, Thieffry D, Chaouiya (2005). Qualitative Modelling of Regulated Metabolic Pathways : Application to the Tryptophan Biosynthesis in E. Coli. Bioinformatics 21 : ii190-6.