Rechercher

	1 2	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 54 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01350189v1 Article dans une revue Hidde De Jong. Vers la cellule virtuelle Interstices, INRIA, 2010, <https://interstices.info/jcms/n_50421/vers-la-cellule-virtuelle>
	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
	inria-00081608v2 Rapport Samuel Drulhe, Hidde De Jong, Giancarlo Ferrari-Trecate. Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks [Technical Report] RT-0322, INRIA. 2006, pp.25
	hal-00762570v1 Article dans une revue Valentina Baldazzi, Delphine Ropers, Johannes Geiselmann, Daniel Kahn, Hidde De Jong. Importance of metabolic coupling for the dynamics of gene expression following a diauxic shift in Escherichia coli Journal of Theoretical Biology, Elsevier, 2012, 295, pp.100-115. <http://www.sciencedirect.com/science/article/pii/S0022519311005728>. <10.1016/j.jtbi.2011.11.010>
	inria-00101060v1 Rapport Damien Eveillard, Delphine Ropers, Hidde De Jong, Christiane Branlant, Alexander Bockmayr. Modeling the effects of SR proteins on alternative splicing [Intern report] A02-R-117 \|\| eveillard02b, 2002, 8 p
	inria-00593109v1 Rapport Valentina Baldazzi, Delphine Ropers, Johannes Geiselmann, Daniel Kahn, Hidde De Jong. Importance of metabolic coupling for the dynamics of gene expression following a diauxic shift in E. coli [Research Report] RR-7617, INRIA. 2011
	hal-01103557v1 Communication dans un congrès Vincent Acary, Hidde De Jong, Bernard Brogliato. Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems (Extended Abstract) MTNS 2014 - 21st International Symposium on Mathematical Theory of Networks and Systems, Jul 2014, Groningen, Netherlands. 2014
	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-00762604v1 Communication dans un congrès Sara Berthoumieux, Daniel Kahn, Hidde De Jong, Eugenio Cinquemani. Structural and practical identifiability of approximate metabolic network models Proceedings of the 16th IFAC symposium on System Identification, 2012, Brussels, Belgium. 2012, <10.3182/20120711-3-BE-2027.00166>
	inria-00001225v1 Communication dans un congrès Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde De Jong, Alain Viari. Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks João Hespanha, Ashish Tiwari. Hybrid Systems: Computation and Control, HSCC 2006, Mar 2006, Santa Barbara, CA, USA, Springer Berlin / Heidelberg, 3927, pp.184 - 199, 2006, LNCS, Lecture Notes in Computer Science; Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings. <10.1007/11730637>
	inria-00561999v1 Rapport Sara Berthoumieux, Matteo Brilli, Hidde De Jong, Kahn Daniel, Eugenio Cinquemani. Identification of metabolic network models from incomplete high-throughput datasets [Research Report] RR-7524, INRIA. 2011
	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>
	hal-01420729v1 Article dans une revue Hidde De Jong, Johannes Geiselmann, Delphine Ropers. Resource reallocation in bacteria by reengineering the gene expression machinery Trends in Microbiology, Elsevier, 2017
	hal-01103556v1 Article dans une revue Andreas Kremling, Johannes Geiselmann, Delphine Ropers, Hidde De Jong. Understanding carbon catabolite repression in Escherichia coli using quantitative models Trends in Microbiology, Elsevier, 2015, 23 (2), pp.99-109. <10.1016/j.tim.2014.11.002>
	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-00277995v2 Rapport Radu Mateescu, Pedro Monteiro, Estelle Dumas, Hidde De Jong. Computation Tree Regular Logic for Genetic Regulatory Networks [Research Report] RR-6521, INRIA. 2008, pp.53
	hal-01079299v1 Communication dans un congrès Nils Giordano, Francis Mairet, Jean-Luc Gouzé, Johannes Geiselmann, Hidde De Jong. Dynamic optimisation of resource allocation in microorganisms 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), Jul 2014, Groningen, Netherlands. <https://fwn06.housing.rug.nl/mtns2014/>
	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
	hal-00766266v1 Document associé à des manifestations scientifiques Vincent Acary, Hidde De Jong, Bernard Brogliato. Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems Optimization: Computation, Theory and Modeling. Workshop III - Complementarity And Its Extensions, Dec 2012, Singapore, Singapore. 2012
	hal-01217994v1 Chapitre d'ouvrage Hidde De Jong. Qualitative modeling and simulation of bacterial regulatory networks A. Uhrmacher; M. Heiner. Proceedings of 6th International Conference on Computational Methods in Systems Biology (CMSB 2008), 5307, Springer-Verlag, pp.1, 2008, Lecture Notes in Bioinformatics, <10.1007/978-3-540-88562-7>
	inria-00070594v1 Rapport Delphine Ropers, Hidde De Jong, Michel Page, Dominique Schneider, Johannes Geiselmann. Qualitative Simulation of the Nutritional Stress Response in Escherichia coli [Research Report] RR-5412, INRIA. 2004, pp.39
	hal-01178203v1 Article dans une revue Hidde De Jong, Delphine Ropers, Radu Mateescu, Johannes Geiselmann. De la cellule à la puce Les Cahiers de l'INRIA - La Recherche, INRIA, 2008, 419, pp.I-II
	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>
	hal-01178205v1 Article dans une revue Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde De Jong. The switching threshold reconstruction problem for piecewise-affine models of genetic regulatory networks IEEE Transactions on Automatic Control & IEEE Transactions on Circuits and Systems I, 2008, 53 (1), pp.153-165. <10.1109/TAC.2007.911326>
	hal-00778412v1 Rapport Vincent Acary, Hidde De Jong, Bernard Brogliato. Numerical Simulation of Piecewise-Linear Models of Gene Regulatory Networks Using Complementarity Systems [Research Report] RR-8207, INRIA. 2013, pp.42
	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-01178207v1 Chapitre d'ouvrage Radu Mateescu, Pedro Tiago Monteiro, Estelle Dumas, Hidde De Jong. Computation Tree Regular Logic for genetic regulatory networks S. Cha and J.-Y. Choi and M. Kim and I. Lee and M. Viswanathan. Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), 5311, Springer-Verlag, pp.48-63, 2008, Lecture Notes in Computer Science, <10.1007/978-3-540-88387-6_6>
	hal-01247997v1 Communication dans un congrès Hidde De Jong, Johannes Geiselmann. Fluorescent reporter genes and the analysis of bacterial regulatory networks Oded Maler; Adam Halász; Thao Dang; Carla Piazza. Hybrid Systems Biology: Proceedings of the Second International Workshop, HSB 2013, and Third International Workshop, HSB 2014, 2015, Vienna, Austria. Springer-Verlag, 7699, pp.1-24, 2015, Lecture Notes in Bioinformatics. <http://www.springer.com/fr/book/9783319276557>. <10.1007/978-3-319-27656-4_2>
	hal-00784438v1 Article dans une revue Hidde De Jong, Caroline Ranquet, Delphine Ropers, Corinne Pinel, Johannes Geiselmann. Experimental and computational validation of models of fluorescent and luminescent reporter genes in bacteria. BMC Systems Biology, BioMed Central, 2010, 4 (1), pp.55. <10.1186/1752-0509-4-55>
	1 2	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 54 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année