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 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00793038v1 Chapitre d'ouvrage Valentina Baldazzi, Pedro T. Monteiro, Michel Page, Delphine Ropers, Hans Geiselmann et al. Qualitative analysis of genetic regulatory networks in bacteria W. Dubitzky and J. Southgate and H. Fuss. Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology, Springer, pp.111-130, 2011, 978-1-4419-7964-3. <10.1007/978-1-4419-7964-3_6>
	hal-00335584v1 Article dans une revue Bruce Swinyard, Takao Nakagawa, Patrick Merken, Pierre Royer, Tim Souverijns et al. The space infrared telescope for cosmology and astrophysics: SPICA A joint mission between JAXA and ESA Experimental Astronomy, springer Link, 2009, 23 (13), pp.193-219. <10.1007/S10686-008-9090-0>
	hal-01178204v1 Article dans une revue Hidde De Jong, Michel Page. Search for steady states of piecewise-linear differential equation models of genetic regulatory networks ACM/IEEE Transactions on Computational Biology and Bioinformatics, 2008, 5 (2), pp.208-222. <http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4359902>. <10.1109/TCBB.2007.70254>
	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-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-00793024v1 Article dans une revue Gregory 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 Bioinformatics, Oxford University Press (OUP), 2010, 26, pp.i603-i610. <10.1093/bioinformatics/btq387>
		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 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM