Qualitative Analysis of Genetic Regulatory Networks in Bacteria

[1]  Hidde de Jong,et al.  Model Reduction Using Piecewise-Linear Approximations Preserves Dynamic Properties of the Carbon Starvation Response in Escherichia coli , 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[2]  Andreas Kremling,et al.  Catabolite repression in Escherichia coli– a comparison of modelling approaches , 2009, The FEBS journal.

[3]  S. Bornholdt,et al.  The transition from differential equations to Boolean networks: a case study in simplifying a regulatory network model. , 2008, Journal of theoretical biology.

[4]  Hidde de Jong,et al.  Structural Identification of Piecewise-Linear Models of Genetic Regulatory Networks , 2008, J. Comput. Biol..

[5]  Jonas S. Almeida,et al.  Parameter optimization in S-system models , 2008, BMC Systems Biology.

[6]  M. Page,et al.  Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks , 2008, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[7]  Hidde de Jong,et al.  Symbolic reachability analysis of genetic regulatory networks using discrete abstractions , 2008, Autom..

[8]  Radu Mateescu,et al.  Temporal logic patterns for querying dynamic models of cellular interaction networks , 2008, ECCB.

[9]  Matthias Reuss,et al.  Topology of the global regulatory network of carbon limitation in Escherichia coli. , 2007, Journal of biotechnology.

[10]  Nicolas Brunel,et al.  Estimating parameters and hidden variables in non-linear state-space models based on ODEs for biological networks inference , 2007, Bioinform..

[11]  J. Stelling,et al.  Ensemble modeling for analysis of cell signaling dynamics , 2007, Nature Biotechnology.

[12]  Calin Belta,et al.  Robustness analysis and tuning of synthetic gene networks , 2007, Bioinform..

[13]  Julio Collado-Vides,et al.  Identification of regulatory network topological units coordinating the genome-wide transcriptional response to glucose in Escherichia coli , 2007, BMC Microbiology.

[14]  Eric Bullinger,et al.  Approximations and their consequences for dynamic modelling of signal transduction pathways. , 2007, Mathematical biosciences.

[15]  Thomas A. Henzinger,et al.  Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development , 2007, PLoS Comput. Biol..

[16]  C. Belta,et al.  Analysis of lactose metabolism in E. Coli using reachability analysis of hybrid systems. , 2007, IET systems biology.

[17]  J. Sepulchre,et al.  Modeling the onset of virulence in a pectinolytic bacterium. , 2007, Journal of theoretical biology.

[18]  Alberto Policriti,et al.  Model building and model checking for biochemical processes , 2007, Cell Biochemistry and Biophysics.

[19]  Hidde de Jong,et al.  Strategies for dealing with incomplete information in the modeling of molecular interaction networks , 2006, Briefings Bioinform..

[20]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.

[21]  Eduardo Sontag,et al.  Parameter estimation in models combining signal transduction and metabolic pathways: the dependent input approach. , 2006, Systems biology.

[22]  Marc Gyssens,et al.  The Identification of Dynamic Gene-Protein Networks , 2006, KDECB.

[23]  D. Schneider,et al.  Qualitative simulation of the carbon starvation response in Escherichia coli. , 2006, Bio Systems.

[24]  D Thieffry,et al.  GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. , 2006, Bio Systems.

[25]  M Chaves,et al.  Methods of robustness analysis for Boolean models of gene control networks. , 2006, Systems biology.

[26]  Andreas Kremling,et al.  A Quantitative Approach to Catabolite Repression in Escherichia coli* , 2006, Journal of Biological Chemistry.

[27]  H. D. Jong,et al.  Piecewise-linear Models of Genetic Regulatory Networks: Equilibria and their Stability , 2006, Journal of mathematical biology.

[28]  J. Heijnen.  Approximative kinetic formats used in metabolic network modeling , 2005, Biotechnology and bioengineering.

[29]  E. Klipp,et al.  Integrative model of the response of yeast to osmotic shock , 2005, Nature Biotechnology.

[30]  David Gilbert,et al.  Analysis of signalling pathways using the prism model checker , 2005 .

[31]  John J. Tyson,et al.  Parameter Estimation for a Mathematical Model of the Cell Cycle in Frog Eggs , 2005, J. Comput. Biol..

[32]  Elisabeth Pécou,et al.  Splitting the dynamics of large biochemical interaction networks. , 2005, Journal of theoretical biology.

[33]  Erik Plahte,et al.  Analysis and generic properties of gene regulatory networks with graded response functions , 2005 .

[34]  Radu Mateescu,et al.  Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli , 2005, ISMB.

[35]  Vincent Danos,et al.  Modeling and querying biomolecular interaction networks , 2004, Theor. Comput. Sci..

[36]  C. Tomlin,et al.  Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling. , 2004, Systems biology.

[37]  Adrien Richard,et al.  Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. , 2004, Journal of theoretical biology.

[38]  Jason A. Papin,et al.  Comparison of network-based pathway analysis methods. , 2004, Trends in biotechnology.

[39]  Katherine C. Chen,et al.  Integrative analysis of cell cycle control in budding yeast. , 2004, Molecular biology of the cell.

[40]  H. D. Jong,et al.  Qualitative simulation of the initiation of sporulation in Bacillus subtilis , 2004, Bulletin of mathematical biology.

[41]  H. D. Jong,et al.  Qualitative simulation of genetic regulatory networks using piecewise-linear models , 2004, Bulletin of mathematical biology.

[42]  Martin Fussenegger,et al.  Modeling the Quorum Sensing Regulatory Network of Human‐Pathogenic Pseudomonas aeruginosa , 2004, Biotechnology progress.

[43]  Carmen G. Moles,et al.  Parameter estimation in biochemical pathways: a comparison of global optimization methods. , 2003, Genome research.

[44]  Denis Thieffry,et al.  Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. , 2003, Journal of theoretical biology.

[45]  J. Collins,et al.  Inferring Genetic Networks and Identifying Compound Mode of Action via Expression Profiling , 2003, Science.

[46]  A. Goldbeter,et al.  Toward a detailed computational model for the mammalian circadian clock , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[47]  Hidde de Jong,et al.  Genetic Network Analyzer: qualitative simulation of genetic regulatory networks , 2003, Bioinform..

[48]  Y. Reyes-Domínguez,et al.  Plasmid DNA Supercoiling and Gyrase Activity in Escherichia coli Wild-Type and rpoS Stationary-Phase Cells , 2003, Journal of bacteriology.

[49]  J. Gouzé,et al.  A class of piecewise linear differential equations arising in biological models , 2002 .

[50]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[51]  U. Alon,et al.  Assigning numbers to the arrows: Parameterizing a gene regulation network by using accurate expression kinetics , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[52]  C. Chassagnole,et al.  Dynamic modeling of the central carbon metabolism of Escherichia coli. , 2002, Biotechnology and bioengineering.

[53]  E. Gilles,et al.  Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors , 2002, Nature Biotechnology.

[54]  R. Thomas,et al.  Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. , 2001, Chaos.

[55]  Marc R. Roussel,et al.  Invariant manifold methods for metabolic model reduction. , 2001, Chaos.

[56]  K. Kohn.  Molecular interaction maps as information organizers and simulation guides. , 2001, Chaos.

[57]  Michael A. Savageau,et al.  Design principles for elementary gene circuits: Elements, methods, and examples. , 2001, Chaos.

[58]  Joseph Sifakis,et al.  Model checking , 1996, Handbook of Automated Reasoning.

[59]  R. Edwards.  Analysis of continuous-time switching networks , 2000 .

[60]  H. Westerhoff,et al.  Understanding Glucose Transport by the Bacterial Phosphoenolpyruvate:Glycose Phosphotransferase System on the Basis of Kinetic Measurements in Vitro * , 2000, The Journal of Biological Chemistry.

[61]  J. Collins,et al.  Construction of a genetic toggle switch in Escherichia coli , 2000, Nature.

[62]  S. Ueda,et al.  Growth Phase-Dependent Variation in Protein Composition of the Escherichia coli Nucleoid , 1999, Journal of bacteriology.

[63]  Denis Thieffry,et al.  Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..

[64]  E. Davidson,et al.  Genomic cis-regulatory logic: experimental and computational analysis of a sea urchin gene. , 1998, Science.

[65]  M. Mavrovouniotis,et al.  Simplification of Mathematical Models of Chemical Reaction Systems. , 1998, Chemical reviews.

[66]  K. A. Walker,et al.  Deletion analysis of the fis promoter region in Escherichia coli: antagonistic effects of integration host factor and Fis , 1997, Journal of bacteriology.

[67]  R. Heinrich,et al.  The Regulation of Cellular Systems , 1996, Springer US.

[68]  T. Mestl,et al.  A mathematical framework for describing and analysing gene regulatory networks. , 1995, Journal of theoretical biology.

[69]  T. Inada,et al.  Mechanism of the down‐regulation of cAMP receptor protein by glucose in Escherichia coli: role of autoregulation of the crp gene. , 1994, The EMBO journal.

[70]  C. Ball,et al.  Dramatic changes in Fis levels upon nutrient upshift in Escherichia coli , 1992, Journal of bacteriology.

[71]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[72]  A. Cornish-Bowden.  Fundamentals of Enzyme Kinetics , 1979 .

[73]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[74]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[75]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[76]  M Sugita,et al.  Functional analysis of chemical systems in vivo using a logical circuit equivalent. 3. Analysis using a digital circuit combined with an analogue computer. , 1963, Journal of theoretical biology.

[77]  M Sugita,et al.  Functional analysis of chemical systems in vivo using a logical circuit equivalent. II. The idea of a molecular automation. , 1963, Journal of theoretical biology.