Contributions to the Analysis of Qualitative Models of Regulatory Networks

[1]  Tatsuya Akutsu,et al.  Integer Programming-Based Approach to Attractor Detection and Control of Boolean Networks , 2012, IEICE Trans. Inf. Syst..

[2]  Gregor Gößler,et al.  Efficient parameter search for qualitative models of regulatory networks using symbolic model checking , 2010, Bioinform..

[3]  David A. Rosenblueth,et al.  An overview of existing modeling tools making use of model checking in the analysis of biochemical networks , 2012, Front. Plant Sci..

[4]  Satoru Miyano,et al.  Identification of gene regulatory networks by strategic gene disruptions and gene overexpressions , 1998, SODA '98.

[5]  S. Jamshidi.  Comparing discrete, continuous and hybrid modelling approaches of gene regulatory networks , 2013 .

[6]  Michael K. Ng,et al.  Algorithms for Finding Small Attractors in Boolean Networks , 2007, EURASIP J. Bioinform. Syst. Biol..

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

[8]  Helmut Veith,et al.  Tree-like counterexamples in model checking , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[9]  Mathilde Noual,et al.  Updating Automata Networks , 2012 .

[10]  Nikolaos Berntenis,et al.  Detection of attractors of large Boolean networks via exhaustive enumeration of appropriate subspaces of the state space , 2013, BMC Bioinformatics.

[11]  Adrien Richard,et al.  On Circuit Functionality in Boolean Networks , 2013, Bulletin of mathematical biology.

[12]  Laurent Trilling,et al.  Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data , 2012, International Conference on Information Processign in Cells and Tissues.

[13]  Adrien Richard,et al.  Negative circuits and sustained oscillations in asynchronous automata networks , 2009, Adv. Appl. Math..

[14]  Elisabeth Remy,et al.  From minimal signed circuits to the dynamics of Boolean regulatory networks , 2008, ECCB.

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

[16]  Denis Thieffry,et al.  Logical modelling of cell cycle control in eukaryotes: a comparative study. , 2009, Molecular bioSystems.

[17]  Maxim Teslenko,et al.  A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks , 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[18]  Sumit Kumar Jha,et al.  Symbolic Approaches for Finding Control Strategies in Boolean Networks. , 2007 .

[19]  François Fages,et al.  Formal Cell Biology in Biocham , 2008, SFM.

[20]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[21]  Steffen Klamt,et al.  Hypergraphs and Cellular Networks , 2009, PLoS Comput. Biol..

[22]  Ziv Bar-Joseph,et al.  Analyzing time series gene expression data , 2004, Bioinform..

[23]  D. Irons.  Improving the efficiency of attractor cycle identification in Boolean networks , 2006 .

[24]  Qianchuan Zhao,et al.  A remark on "Scalar equations for synchronous Boolean networks with biological Applications" by C. Farrow, J. Heidel, J. Maloney, and J. Rogers , 2005, IEEE Transactions on Neural Networks.

[25]  D. Lauffenburger,et al.  Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction , 2009, Molecular systems biology.

[26]  John Maloney,et al.  Finding Cycles in Synchronous Boolean Networks with Applications to Biochemical Systems , 2003, Int. J. Bifurc. Chaos.

[27]  M. Bewley,et al.  Gal80 Dimerization and the Yeast GAL Gene Switch , 2005, Genetics.

[28]  Laurent Trilling,et al.  Applications of a formal approach to decipher discrete genetic networks , 2010, BMC Bioinformatics.

[29]  Steffen Klamt,et al.  A methodology for the structural and functional analysis of signaling and regulatory networks , 2006, BMC Bioinformatics.

[30]  Edmund M. Clarke,et al.  Expressibility results for linear-time and branching-time logics , 1988, REX Workshop.

[31]  Françoise Fogelman-Soulié,et al.  Parallel and Sequential Computation on Boolean Networks , 1985, Theor. Comput. Sci..

[32]  Aurélien Naldi,et al.  Logical modelling of regulatory networks with GINsim 2.3 , 2009, Biosyst..

[33]  A. Bockmayr,et al.  Computing Symbolic Steady States of Boolean Networks , 2014, ACRI.

[34]  Mats Carlsson,et al.  SICStus Prolog—The first 25 years , 2010, Theory and Practice of Logic Programming.

[35]  Giovanni De Micheli,et al.  Dynamic simulation of regulatory networks using SQUAD , 2007, BMC Bioinformatics.

[36]  Abdul Salam Jarrah,et al.  Parameter estimation for Boolean models of biological networks , 2009, Theor. Comput. Sci..

[37]  Alexander Bockmayr,et al.  Time Series Dependent Analysis of Unparametrized Thomas Networks , 2012, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

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

[39]  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.

[40]  Adrien Richard,et al.  R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics , 2005, Fundam. Informaticae.

[41]  David Safránek,et al.  Parameter Identification and Model Ranking of Thomas Networks , 2012, CMSB.

[42]  D. Thieffry,et al.  A logical analysis of the Drosophila gap-gene system. , 2001, Journal of theoretical biology.

[43]  Thomas Eiter,et al.  Answer Set Programming: A Primer , 2009, Reasoning Web.

[44]  René Thomas,et al.  Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977 , 1979 .

[45]  Alexander Bockmayr,et al.  Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks , 2007, AB.

[46]  S Fuhrman,et al.  Reveal, a general reverse engineering algorithm for inference of genetic network architectures. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[47]  Tatsuya Akutsu,et al.  Integer programming-based methods for attractor detection and control of boolean networks , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[48]  Fausto Giunchiglia,et al.  NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.

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

[50]  R. Laubenbacher,et al.  A computational algebra approach to the reverse engineering of gene regulatory networks. , 2003, Journal of theoretical biology.

[51]  Enn Tyugu,et al.  Constraint Programming , 1994, NATO ASI Series.

[52]  D. Bernardo,et al.  A Yeast Synthetic Network for In Vivo Assessment of Reverse-Engineering and Modeling Approaches , 2009, Cell.

[53]  Jacques Demongeot,et al.  "Immunetworks", intersecting circuits and dynamics. , 2011, Journal of theoretical biology.

[54]  John McGee,et al.  Discretization of Time Series Data , 2005, J. Comput. Biol..

[55]  Willard Van Orman Quine,et al.  The Problem of Simplifying Truth Functions , 1952 .

[56]  Leon Glass,et al.  Logical and symbolic analysis of robust biological dynamics. , 2010, Current opinion in genetics & development.

[57]  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.

[58]  Giovanni De Micheli,et al.  Synchronous versus asynchronous modeling of gene regulatory networks , 2008, Bioinform..

[59]  H. Othmer,et al.  The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.

[60]  Yaman Barlas,et al.  Philosophical roots of model validation: Two paradigms , 1990 .

[61]  John Maloney,et al.  Scalar equations for synchronous Boolean networks with biological applications , 2004, IEEE Transactions on Neural Networks.

[62]  J. Fromentin,et al.  Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking , 2007, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

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

[64]  E. Clarke,et al.  Symbolic model checking using SAT procedures instead of BDDs , 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).

[65]  Ilya Shmulevich,et al.  Binary analysis and optimization-based normalization of gene expression data , 2002, Bioinform..

[66]  Alexander Bockmayr,et al.  Parameter inference for asynchronous logical networks using discrete time series , 2011, CMSB.

[67]  Mathilde Noual.  Synchronism vs Asynchronism in Boolean networks , 2011, ArXiv.

[68]  S. Levin.  Lectu re Notes in Biomathematics , 1983 .

[69]  J. Hooker.  Constraint programming , 2003 .

[70]  Martine Labbé,et al.  Identification of all steady states in large networks by logical analysis , 2003, Bulletin of mathematical biology.

[71]  Christel Baier,et al.  Principles of model checking , 2008 .

[72]  H. Siebert.  Analysis of Discrete Bioregulatory Networks Using Symbolic Steady States , 2011, Bulletin of mathematical biology.

[73]  Konstantin Klemm,et al.  Finding attractors in Asynchronous Boolean Dynamics , 2010, Adv. Complex Syst..

[74]  Pedro T. Monteiro,et al.  Dynamical modeling and analysis of large cellular regulatory networks. , 2013, Chaos.

[75]  Laurent Trilling,et al.  A declarative constraint-based method for analyzing discrete genetic regulatory networks , 2009, Biosyst..

[76]  Alexander Bockmayr,et al.  Analysis and Characterization of Asynchronous State Transition Graphs Using Extremal States , 2013, Bulletin of mathematical biology.

[77]  Carlos Gershenson,et al.  Classification of Random Boolean Networks , 2002, ArXiv.

[78]  Heike Siebert,et al.  Equivalences in Multi-valued Asynchronous Models of Regulatory Networks , 2014, ACRI.

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

[80]  Gilles Bernot,et al.  On the Use of Temporal Formal Logic to Model Gene Regulatory Networks , 2009, CIBB.

[81]  Aurélien Naldi,et al.  Dynamically consistent reduction of logical regulatory graphs , 2011, Theor. Comput. Sci..

[82]  Satoru Miyano,et al.  Identification of Genetic Networks from a Small Number of Gene Expression Patterns Under the Boolean Network Model , 1998, Pacific Symposium on Biocomputing.

[83]  J. Comet,et al.  The SMBioNet Method for Discovering Models of Gene Regulatory Networks , 2009 .

[84]  I. Simon,et al.  Studying and modelling dynamic biological processes using time-series gene expression data , 2012, Nature Reviews Genetics.

[85]  El Houssine Snoussi.  Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach , 1989 .

[86]  David A. Rosenblueth,et al.  "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis , 2011, BMC Bioinformatics.

[87]  Hans A. Kestler,et al.  Attractors in Boolean networks: a tutorial , 2012, Computational Statistics.

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

[89]  M SUGITA,et al.  Functional analysis of chemical systems in vivo using a logical circuit equivalent. , 1966, Journal of theoretical biology.

[90]  Adrien Richard,et al.  Necessary conditions for multistationarity in discrete dynamical systems , 2007, Discret. Appl. Math..

[91]  Réka Albert,et al.  An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. , 2013, Chaos.

[92]  Donald B. Johnson,et al.  Finding All the Elementary Circuits of a Directed Graph , 1975, SIAM J. Comput..

[93]  Réka Albert,et al.  Elementary signaling modes predict the essentiality of signal transduction network components , 2011, BMC Systems Biology.

[94]  Hans A. Kestler,et al.  BoolNet - an R package for generation, reconstruction and analysis of Boolean networks , 2010, Bioinform..

[95]  Peter L. Hammer,et al.  Boolean Functions - Theory, Algorithms, and Applications , 2011, Encyclopedia of mathematics and its applications.

[96]  Denis Thieffry,et al.  A description of dynamical graphs associated to elementary regulatory circuits , 2003, ECCB.

[97]  Phil Husbands,et al.  Updating Schemes in Random Boolean Networks: Do They Really Matter? , 2004 .

[98]  Alan Veliz-Cuba,et al.  Steady state analysis of Boolean molecular network models via model reduction and computational algebra , 2014, BMC Bioinformatics.

[99]  Aurélien Naldi,et al.  Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle , 2006, ISMB.

[100]  Denis Thieffry,et al.  Dynamical behaviour of biological regulatory networks—II. Immunity control in bacteriophage lambda , 1995 .

[101]  François Robert,et al.  Discrete iterations - a metric study , 1986, Springer series in computational mathematics.

[102]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[103]  René Thomas.  Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[104]  D. Thieffry,et al.  Dynamical behaviour of biological regulatory networks—I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state , 1995 .

[105]  Assieh Saadatpour,et al.  A Reduction Method for Boolean Network Models Proven to Conserve Attractors , 2013, SIAM J. Appl. Dyn. Syst..

[106]  René Thomas.  On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations , 1981 .

[107]  Alexander Bockmayr,et al.  Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks , 2012, IPCAT.

[108]  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.

[109]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[110]  Denis Thieffry,et al.  Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate Decision , 2013, PLoS Comput. Biol..