Inria
Inria.fr
Inria Channel
- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche IBIS
Publications de l'équipe IBIS
2011
Articles dans des revues avec comité de lecture
- Titre
- CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks
- Auteurs
- Radu Mateescu; Pedro T. Monteiro; Estelle Dumas; Hidde De Jong
- Détail
- Theoretical Computer Science, Elsevier, 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp. 2854-2883
- Accès au texte intégral et bibtex
-
Rapports
- Titre
- Importance of Metabolic Coupling for the Dynamics of Gene Expression Following a Diauxic Shift in E. coli
- Auteurs
- Valentina Baldazzi; Delphine Ropers; Johannes Geiselmann; Daniel Kahn; Hidde De Jong
- Détail
- [Research Report], 2011. RR-7617
- Accès au texte intégral et bibtex
-
- Titre
- Identification of metabolic network models from incomplete high-throughput datasets
- Auteurs
- Sara Berthoumieux; M. Brilli; Hidde De Jong; Kahn Daniel; Eugenio Cinquemani
- Détail
- [Research Report], 2011. RR-7524
- Accès au texte intégral et bibtex
-
Thèses
- Titre
- Trouver les gènes manquants dans des réseaux géniques
- Auteurs
- Woei fuh Wang
- Détail
- Université de Grenoble; 236 National Taiwan University (NTU), Dec. 2011. French
- Accès au texte intégral et bibtex
-
2010
Articles dans des revues avec comité de lecture
- Titre
- Hijacking hepatitis C viral replication with a non-coding replicative RNA.
- Auteurs
- Juliette Bitard; Gaëlle Chognard; Estelle Dumas; Julie Rumi; Cyril Masante; Kathleen Mahias; Thérèse Astier-Gin; Michel Ventura
- Détail
- Antiviral Research, 2010, 87 (1), pp. 9-15
- Accès au bibtex
-
- Titre
- The Carbon Assimilation Network in Escherichia coli Is Densely Connected and Largely Sign-Determined by Directions of Metabolic Fluxes
- Auteurs
- Valentina Baldazzi; Delphine Ropers; Yves Markowicz; Daniel Kahn; Johannes Geiselmann; Hidde De Jong
- Détail
- PLoS Computational Biology, PLoS, 2010, 6 (6), pp. e1000812
- Accès au texte intégral et bibtex
-
- Titre
- The carbon assimilation network in Escherichia coli is densely connected and largely sign-determined by directions of metabolic fluxes.
- Auteurs
- Valentina Baldazzi; Delphine Ropers; Yves Markowicz; Daniel Kahn; Johannes Geiselmann; Hidde De Jong
- Détail
- PLoS Computational Biology, 2010, 6 (6), pp. e1000812
- Accès au bibtex
-
- Titre
- WellReader: a MATLAB program for the analysis of fluorescence and luminescence reporter gene data.
- Auteurs
- Frédéric Boyer; Bruno Besson; Guillaume Baptist; Jérôme Izard; Corinne Pinel; Delphine Ropers; Johannes Geiselmann; Hidde De Jong
- Détail
- Bioinformatics, 2010, 26 (9), pp. 1262-3
- Accès au bibtex
-
- Titre
- Experimental and computational validation of models of fluorescent and luminescent reporter genes in bacteria.
- Auteurs
- Hidde De Jong; Caroline Ranquet; Delphine Ropers; Corinne Pinel; Johannes Geiselmann
- Détail
- BMC Systems Biology, 2010, 4, pp. 55
- Accès au bibtex
-
Rapports
- Titre
- Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
- Auteurs
- Grégory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro T. Monteiro; Hidde De Jong
- Détail
- [Research Report], 2010. RR-7284
- Accès au texte intégral et bibtex
-
2009
Articles dans des revues avec comité de lecture
- Titre
- A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
- Auteurs
- Pedro T. Monteiro; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T. Freitas; Hidde De Jong
- Détail
- BMC Bioinformatics, BioMed Central, 2009
- Accès au texte intégral et bibtex
-
- Titre
- The space infrared telescope for cosmology and astrophysics: SPICA A joint mission between JAXA and ESA
- Auteurs
- Bruce Swinyard; Takao Nakagawa; Patrick Merken; Pierre Royer; Tim Souverijns; Bart Vandenbussche; Christoffel Waelkens; Peter Davis; James Di Francesco; Mark Halpern; Martin Houde; Doug Johnstone; Gilles Joncas; David Naylor; Rene Plume; Douglas Scott; A. Abergel; S. Bensammar; J. Braine; V. Buat; D. Burgarella; Ph. Cais; H. Dole; L. Duband; D. Elbaz; M. Gerin; M. Giard; J. Goicoechea; C. Joblin; A. Jones; J. P. Kneib; G. Lagache; S. Madden; R. Pons; F. Pajot; D. Rambaud; L. Ravera; I. Ristorcelli; L. Rodriguez; S. Vives; A. Zavagno; Norbert Geis; Oliver Krause; Dieter Lutz; Albrecht Poglitsch; Walfried Raab; Jutta Stegmaier; Eckhard Sturm; Richard Tuffs; Hyung Mok Lee; Bon-Chul Koo; Myungshin Im; Soojong Pak; Wonyong Han; Jang-Hyun Park; Uk-Won Nam; Ho Jin; Dae-Hee Lee; In-Soo Yuk; Sungho Lee; Yuri Aikawa; Nobuo Arimoto; Yasuo Doi; Keigo Enya; Misato Fukagawa; Reiko Furusho; Sunao Hasegawa; Masahiko Hayashi; Mitsuhiko Honda Kanagawa; Shigeru Ida; Imanishi; Masatoshi; Shu-ichiro Inutsuka; Hideyuki Izumiura; Hideyuki Kamaya; Hidehiro Kaneda; Toshihiro Kasuga; Hirokazu Kataza; Koji Kawabata; Mitsunobu Kawada; Hideyo Kawakita; Tsuneo Kii; Jin Koda; Tadayuki Kodama; Eiichiro Kokubo; Keiji Komatsu,; Hideo Matsuhara; Toshio Matsumoto; Shuji Matsuura; Takashi Miyata; Murakam Miyata; Hirohisa Nagata; Tetsuya Nagata; Tadashi Nakajima; Kobayashi Naoto; Ryoichi Nishi; Atsushi Noda; Atsushi Okamoto; Yoshiko K. Okamoto; Kazuyuki Omukai; Takashi Onaka; Takafumi Ootsubo; Masami Ouchi; Hirobumi Saito; Yoichi Sato; Shigeyuki Sako; Tomohiko Sekiguchi; Hiroshi Shibai; Hiroyuki Sugita; Koji Sugitani; Hajime Susa; Tae-soo Pyo; Motohide Tamura; Yoshihiro Ueda; Munetaka Ueno; Takehiko Wada; Jun'ichi Watanabe; Toru Yamada; Issei Yamamura; Naoki Yoshida; Kitamura Yoshimi; Yukari Yui; Milena Benedettini; Riccardo Cerulli; Anna Di Giorgio; Sergio Molinari; Renato Orfei; Stefano Pezzuto; Lorenzo Piazzo; Paolo Saraceno; Luigi Spinoglio; Thijs de Graauw; Piet de Korte; Frank Helmich; Henk Hoevers; Robert Huisman; Russell Shipman; Floris van der Tak; Paul van der Werf; Wolfgang Wild; Jose Acosta-Pulido; Jose Cernicharo; Jose Herreros; Jesus Martin-Pintado; Francisco Najarro; Ismael Perez-Fourmon; Juan Ramon Pardo; Francisca Gomez; Nieves Castro Rodriguez; Peter Ade; Mike Barlow; David Clements; Marc Ferlet; Helen Fraser; Douglas Griffin; Matthew Griffin; Peter Hargrave; Kate Isaak; Robert Ivison; Malik Mansour; Jonathan Laniesse; Phillip Mauskopf; Dmitry Morozov; Seb Oliver; Angiola Orlando; Mathew Page; Cristina Popescu; Stephen Serjeant; Rashmi Sudiwala; Dimitra Rigopoulou; Ian Walker; Glenn White; Serena Viti; Berend Winter; Jamie Bock; Matt Bradford; Martin Harwit; Warren Holmes
- Détail
- Experimental Astronomy, 2009, 23 (13), pp. 193-219
- Accès au bibtex
-
2008
Articles dans des revues avec comité de lecture
- Titre
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- Auteurs
- Grégory Batt; Hidde De Jong; Michel Page; Johannes Geiselmann
- Détail
- Automatica, 2008, 44 (4), pp. 982-989
- Accès au bibtex
-
Rapports
- Titre
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Auteurs
- Radu Mateescu; Pedro Monteiro; Estelle Dumas; Hidde De Jong
- Détail
- [Research Report], 2008, pp. 53. RR-6521
- Accès au texte intégral et bibtex
-
2007
Articles dans des revues avec comité de lecture
- Titre
- Power and limitations of the chloroplast trnL (UAA) intron for plant DNA barcoding
- Auteurs
- P. Taberlet; Eric Coissac; F. Pompanon; L. Gielly; C. Miquel; A. Valentini; T. Vermat; G. Corthier; C. Brochmann; E. Willerslev
- Détail
- Nucleic Acids Research, 2007, 35 (3), pp. e14
- Accès au bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
