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 12 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00260980v3 Rapport Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde De Jong. Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks [Research Report] RR-6470, INRIA. 2008
	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>
	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-00793029v1 Communication dans un congrès Pedro T. Monteiro, Paulo J. Dias, Delphine Ropers, Arlindo L. Oliveira, Isabel Sà-Correia et al. Computational modeling and analysis of the yeast FLR1 regulatory network in mancozeb-challenged cells 11th International Conference on Systems Biology, ICSB 2010, 2010, Edinburgh, United Kingdom. pp.105, 2010
	inria-00610831v1 Article dans une revue Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde De Jong. CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks Theoretical Computer Science, Elsevier, 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp.2854-2883. <http://www.sciencedirect.com/science/article/pii/S0304397510002902>. <10.1016/j.tcs.2010.05.009>
	inria-00357802v1 Communication dans un congrès Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde De Jong. Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks M. Ghallab and C.D. Spyropoulos and N. Fakotakis and N. Avouris. 18th European Conference on Artificial Intelligence, Aug 2008, Patras, Greece. IOS Press, 2008
	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-00793018v1 Communication dans un congrès Pedro T. Monteiro, P.J. Dias, Delphine Ropers, A.L. Oliveira, Ana T. Freitas et al. The regulatory network underlying the transcriptional up-regulation of the FRL1 gene in mancozeb stressed yeast cells: qualitative modeling and simulation Proceedings of the Congresso Nacional MicroBiotec'09, 2009, Vilamoura, Portugal. 2009
	hal-00793023v1 Communication dans un congrès Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde Jong. Modeling and formal verification of biological regulatory networks: an integrative approach Proceedings of the IEEE International Conference on Bioinformatics & Biomedicine (BIBM 2010). First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH10), 2010, Ottawa, Canada. 2010
	inria-00357805v1 Article dans une revue Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde De Jong. Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks Bioinformatics, Oxford University Press (OUP), 2008, ECCB 2008 CONFERENCE PROCEEDINGS 22-26 SEPTEMBER 2008, CAGLIARI, ITALY, 24 (16), pp.i227-i233. <10.1093/bioinformatics/btn275>
	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>
	hal-00793036v1 Article dans une revue Pedro T. Monteiro, P.J. Dias, Delphine Ropers, A.L. Oliveira, I. Sa-Correia et al. Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae IET Systems Biology, Institution of Engineering and Technology, 2011, 5, pp.308-316. <10.1049/iet-syb.2011.0001>
		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 12 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM