Rechercher

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 10 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00762122v1 Chapitre d'ouvrage Grégory Batt, Bruno Besson, Pierre-Emmanuel Ciron, Hidde De Jong, Estelle Dumas et al. Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks Jacques van Helden, Ariane Toussaint, Denis Thieffry. Bacterial Molecular Networks Methods and Protocols, 804, Springer, pp.439-462, 2012, Methods in Molecular Biology,, 978-1-61779-361-5. <10.1007/978-1-61779-361-5_22>
	inria-00070641v1 Rapport Grégory Batt, Hidde De Jong, Johannes Geiselmann, Michel Page, Delphine Ropers et al. Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstraction [Research Report] RR-5362, INRIA. 2004, pp.37
	inria-00133991v2 Rapport Grégory Batt, Delphine Ropers, Hidde De Jong, Michel Page, Johannes Geiselmann. Symbolic Reachability Analysis of Genetic Regulatory Networks using Qualitative Abstractions [Research Report] RR-6136, INRIA. 2007
	inria-00072061v1 Rapport Hidde De jong, Johannes Geiselmann, Grégory Batt, Céline Hernandez, Michel Page. Qualitative Simulation of the Initiation of Sporulation in B. subtilis [Research Report] RR-4527, INRIA. 2002
	inria-00482569v1 Rapport Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro et al. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [Research Report] RR-7284, INRIA. 2010
	hal-00750063v1 Rapport Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt. STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification [Research Report] RR-8121, INRIA. 2012, pp.35
	hal-00319485v1 Article dans une revue Grégory Batt, Hidde De Jong, Michel Page, Johannes Geiselmann. Symbolic reachability analysis of genetic regulatory networks using discrete abstractions Automatica, Elsevier, 2008, 44 (4), pp.982-989
	hal-00785564v1 Article dans une revue Nuno D Mendes, Frederic Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt et al. Composition and abstraction of logical regulatory modules: application to multicellular systems Bioinformatics, Oxford University Press (OUP), 2013, 29 (6), pp.749-757. <10.1093/bioinformatics/btt033>
	hal-00171939v1 Article dans une revue Delphine Ropers, Hidde De Jong, Johannes Geiselmann, Radu Mateescu, Michel Page et al. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics, Oxford University Press (OUP), 2005, 21 Suppl 1, pp.i19-28. <10.1093/bioinformatics/bti1048>
	hal-00173847v1 Article dans une revue Hidde De Jong, Johannes Geiselmann, Grégory Batt, Céline Hernandez, Michel Page. Qualitative simulation of the initiation of sporulation in Bacillus subtilis. Bulletin of Mathematical Biology, Springer Verlag, 2004, 66 (2), pp.261-99. <10.1016/j.bulm.2003.08.009>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 10 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM