A structural perspective on the dynamics of biochemical systems. (Une perspective structurelle sur la dynamique des systèmes biochimiques)
暂无分享,去创建一个
[1] François Fages,et al. Abstract interpretation and types for systems biology , 2008, Theor. Comput. Sci..
[2] Monika Heiner,et al. Petri Nets for Systems and Synthetic Biology , 2008, SFM.
[3] Christine Solnon,et al. AllDifferent-based filtering for subgraph isomorphism , 2010, Artif. Intell..
[4] Feng Chu,et al. Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..
[5] Christoph Kaleta,et al. Using chemical organization theory for model checking , 2009, Bioinform..
[6] Stephen A. Cook,et al. The complexity of theorem-proving procedures , 1971, STOC.
[7] M. Feinberg,et al. Understanding bistability in complex enzyme-driven reaction networks. , 2006, Proceedings of the National Academy of Sciences of the United States of America.
[8] D. Fell,et al. A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks , 2000, Nature Biotechnology.
[9] Roberto Cordone,et al. Some results on the computation of minimal siphons in Petri nets , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).
[10] Jehoshua Bruck,et al. A probabilistic model of a prokaryotic gene and its regulation , 1999 .
[11] Denis Thieffry,et al. Petri net modelling of biological regulatory networks , 2008, J. Discrete Algorithms.
[12] François Fages,et al. Machine Learning Biochemical Networks from Temporal Logic Properties , 2006, Trans. Comp. Sys. Biology.
[13] Eduardo Sontag,et al. A Petri Net Approach to Persistence Analysis in Chemical Reaction Networks , 2007 .
[14] K. Lautenback. Linear algebraic calculation of deadlocks and traps , 1987 .
[15] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[16] Hugh D. Spence,et al. Minimum information requested in the annotation of biochemical models (MIRIAM) , 2005, Nature Biotechnology.
[17] David Hsu,et al. A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk , 2006, ISMB.
[18] Benjamin Weitz,et al. An inverse problem in reaction kinetics , 2011 .
[19] François Fages,et al. On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity , 2016, Constraints.
[20] E. O. Voit,et al. Biochemical systems analysis of genome-wide expression data , 2000, Bioinform..
[21] François Fages,et al. Formal Cell Biology in Biocham , 2008, SFM.
[22] Bruno Courcelle,et al. Automata for the verification of monadic second-order graph properties , 2012, J. Appl. Log..
[23] Yves Deville,et al. Constraint-Based Graph Matching , 2009, CP.
[24] Peter Dittrich,et al. Chemical Organisation Theory , 2007, Bulletin of mathematical biology.
[25] A. Jayaraman,et al. Modeling regulatory mechanisms in IL‐6 signal transduction in hepatocytes , 2006, Biotechnology and bioengineering.
[26] K. Kohn. Molecular interaction maps as information organizers and simulation guides. , 2001, Chaos.
[27] Ulrich Maas,et al. Simplifying chemical kinetics: Intrinsic low-dimensional manifolds in composition space , 1992 .
[28] Roberto Cordone,et al. Characterization of minimal and basis siphons with predicate logic and binary programming , 2002, Proceedings. IEEE International Symposium on Computer Aided Control System Design.
[29] C. Hoffmann. Algebraic curves , 1988 .
[30] Monika Heiner,et al. A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets , 2007, CMSB.
[31] Bruno Courcelle,et al. The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs , 1990, Inf. Comput..
[32] Roberto Cordone,et al. Enumeration algorithms for minimal siphons in Petri nets based on place constraints , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[33] Claudio Altafini,et al. ERNEST: a toolbox for chemical reaction network theory , 2009, Bioinform..
[34] Monika Heiner,et al. From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis , 2006, ICATPN.
[35] Murad Banaji,et al. Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements , 2009, 0903.1190.
[36] Stefan Schuster,et al. Systems biology Metatool 5.0: fast and flexible elementary modes analysis , 2006 .
[37] Alexander Bockmayr,et al. A new constraint-based description of the steady-state flux cone of metabolic networks , 2009, Discret. Appl. Math..
[38] Oleg Viro,et al. From the sixteenth Hilbert problem to tropical geometry , 2008 .
[39] E. Barillot,et al. A comprehensive modular map of molecular interactions in RB/E2F pathway , 2008, Molecular systems biology.
[40] Michael Hucka,et al. Systems Biology Markup Language (SBML) Level 2: Structures and Facilities for Model Definitions , 2007, WWW 2007.
[41] Mudita Singhal,et al. COPASI - a COmplex PAthway SImulator , 2006, Bioinform..
[42] James B. Rawlings,et al. The QSSA in Chemical Kinetics: As Taught and as Practiced , 2014 .
[43] T. Ideker,et al. A new approach to decoding life: systems biology. , 2001, Annual review of genomics and human genetics.
[44] John J. Tyson,et al. Modeling Networks of Coupled Enzymatic Reactions Using the Total Quasi-Steady State Approximation , 2007, PLoS Comput. Biol..
[45] P. Hell,et al. Computational complexity of graph compaction , 1997 .
[46] Monika Heiner,et al. Application of Petri net based analysis techniques to signal transduction pathways , 2006, BMC Bioinformatics.
[47] Monika Heiner,et al. Snoopy - a unifying Petri net framework to investigate biomolecular networks , 2010, Bioinform..
[48] Paul D. Seymour,et al. Graph Minors. II. Algorithmic Aspects of Tree-Width , 1986, J. Algorithms.
[49] Horst Bunke,et al. On a relation between graph edit distance and maximum common subgraph , 1997, Pattern Recognit. Lett..
[50] Michael L. Mavrovouniotis,et al. Petri Net Representations in Metabolic Pathways , 1993, ISMB.
[51] M. Savageau. Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.
[52] Subhasis Ray,et al. Multiscale modeling and interoperability in MOOSE , 2009, BMC Neuroscience.
[53] N. Kikuchi,et al. CellDesigner 3.5: A Versatile Modeling Tool for Biochemical Networks , 2008, Proceedings of the IEEE.
[54] Alexander N Gorban,et al. Reduction of dynamical biochemical reactions networks in computational biology , 2012, Front. Gene..
[55] B. Palsson,et al. Metabolic Flux Balancing: Basic Concepts, Scientific and Practical Use , 1994, Bio/Technology.
[56] Dinesh Manocha,et al. SOLVING SYSTEMS OF POLYNOMIAL EQUATIONS , 2002 .
[57] Thorsten Theobald,et al. On the frontiers of polynomial computations in tropical geometry , 2004, J. Symb. Comput..
[58] François Fages,et al. A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets , 2012, CP.
[59] Pierre-Antoine Champin,et al. Measuring the Similarity of Labeled Graphs , 2003, ICCBR.
[60] Alberto Policriti,et al. Model building and model checking for biochemical processes , 2007, Cell Biochemistry and Biophysics.
[61] Toshimasa Watanabe,et al. Time Complexity Analysis of the Minimal Siphon Extraction Problem of Petri Nets (Special Section on Concurrent Systems Technology) , 1999 .
[62] Dima Grigoriev,et al. Tropicalization and tropical equilibration of chemical reactions , 2012, 1303.3963.
[63] Patrick Cousot,et al. Abstract Interpretation and Application to Logic Programs , 1992, J. Log. Program..
[64] Chi-Ying F. Huang,et al. Ultrasensitivity in the mitogen-activated protein kinase cascade. , 1996, Proceedings of the National Academy of Sciences of the United States of America.
[65] Jie-Hong Roland Jiang,et al. On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models , 2013, CMSB.
[66] Corrado Priami,et al. The BlenX Language: A Tutorial , 2008, SFM.
[67] D. Gillespie. A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .
[68] Thomas Mestl,et al. FEEDBACK LOOPS, STABILITY AND MULTISTATIONARITY IN DYNAMICAL SYSTEMS , 1995 .
[69] Emmanuel Barillot,et al. BiNoM: a Cytoscape plugin for manipulating and analyzing biological networks , 2008, Bioinform..
[70] A Goldbeter,et al. Complex intracellular calcium oscillations. A theoretical exploration of possible mechanisms. , 1997, Biophysical chemistry.
[71] Lee A. Segel,et al. Modeling Dynamic Phenomena in Molecular and Cellular Biology , 1984 .
[72] François Fages,et al. Inferring Reaction Models from ODEs , 2012, CMSB.
[73] Sylvain Soliman,et al. Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem , 2012, Algorithms for Molecular Biology.
[74] Claire J. Tomlin,et al. Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.
[75] D. Yu. Grigoryev,et al. Complexity of quantifier elimination in the theory of ordinary differential equations , 1987, EUROCAL.
[76] Hans-Michael Kaltenbach,et al. A unified view on bipartite species-reaction and interaction graphs for chemical reaction networks , 2012, 1210.0320.
[77] Dima Grigoriev,et al. Complexity of Solving Tropical Linear Systems , 2013, computational complexity.
[78] Pierre Hansen,et al. Identification Of All Steady States In Large Biological Systems By Logical Analysis , 2007 .
[79] S. Lam,et al. The CSP method for simplifying kinetics , 1994 .
[80] Satoru Shiono,et al. Control mechanism of JAK/STAT signal transduction pathway , 2003, FEBS letters.
[81] R. Thomas,et al. A new necessary condition on interaction graphs for multistationarity. , 2007, Journal of Theoretical Biology.
[82] Maya Mincheva,et al. Graph-theoretic methods for the analysis of chemical and biochemical networks. I. Multistability and oscillations in ordinary differential equation models , 2007, Journal of mathematical biology.
[83] R. Heinrich,et al. The Regulation of Cellular Systems , 1996, Springer US.
[84] Erich J. Neuhold,et al. Formal description of programming concepts , 1991 .
[85] Denis Thieffry,et al. Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework , 2008, Adv. Appl. Math..
[86] Ina Koch. Petri nets in systems biology , 2014, Software & Systems Modeling.
[87] Monika Heiner,et al. Understanding Network Behavior by Structured Representations of Transition Invariants , 2009, Algorithmic Bioprocesses.
[88] Aviv Regev,et al. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.
[89] Hiroaki Kitano,et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..
[90] Elisenda Feliu,et al. Preclusion of switch behavior in reaction networks with mass-action kinetics , 2011, 1109.5149.
[91] Paul D. Seymour,et al. Graph Minors. XX. Wagner's conjecture , 2004, J. Comb. Theory B.
[92] Sylvain Soliman,et al. Finding minimal P/T-invariants as a CSP , 2008 .
[93] Bard Ermentrout,et al. Simulating, analyzing, and animating dynamical systems - a guide to XPPAUT for researchers and students , 2002, Software, environments, tools.
[94] Monika Heiner,et al. Petri Net Based Model Validation in Systems Biology , 2004, ICATPN.
[95] Julio R. Banga,et al. Inference of complex biological networks: distinguishability issues and optimization-based solutions , 2011, BMC Systems Biology.
[96] D. Fell,et al. Differential feedback regulation of the MAPK cascade underlies the quantitative differences in EGF and NGF signalling in PC12 cells , 2000, FEBS letters.
[97] K. Kohn. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.
[98] David Angeli,et al. Graph-theoretic characterizations of monotonicity of chemical networks in reaction coordinates , 2010, Journal of mathematical biology.
[99] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[100] Hiroyuki Ogata,et al. KEGG: Kyoto Encyclopedia of Genes and Genomes , 1999, Nucleic Acids Res..
[101] François Fages,et al. Inferring reaction systems from ordinary differential equations , 2015, Theor. Comput. Sci..
[102] Dima Grigoriev,et al. Solving Systems of Polynomial Inequalities in Subexponential Time , 1988, J. Symb. Comput..
[103] B. Kholodenko,et al. Ligand-dependent responses of the ErbB signaling network: experimental and modeling analyses , 2007, Molecular systems biology.
[104] J. Demongeot,et al. Positive and negative feedback: striking a balance between necessary antagonists. , 2002, Journal of theoretical biology.
[105] Luca Cardelli,et al. A Correct Abstract Machine for the Stochastic Pi-calculus , 2004 .
[106] Sylvain Soliman,et al. A Constraint Solving Approach to Tropical Equilibration and Model Reduction , 2014, 1401.6337.
[107] El Houssine Snoussi. Necessary Conditions for Multistationarity and Stable Periodicity , 1998 .
[108] R. Goud,et al. Petriweb: A Repository for Petri Nets , 2006, ICATPN.
[109] Douglas Lind,et al. Non-archimedean amoebas and tropical varieties , 2004, math/0408311.
[110] Peter Radford,et al. Petri Net Theory and the Modeling of Systems , 1982 .
[111] A. Gorban,et al. Invariant Manifolds for Physical and Chemical Kinetics , 2005 .
[112] Allan Clark,et al. On verifying Bio-PEPA models , 2010, CMSB '10.
[113] Philippe Codognet,et al. Design and Implementation of the GNU Prolog System , 2001, J. Funct. Log. Program..
[114] François Fages,et al. A graphical method for reducing and relating models in systems biology , 2010, Bioinform..
[115] George Chin,et al. BioGraphE: high-performance bionetwork analysis using the Biological Graph Environment , 2008, BMC Bioinformatics.
[116] M. Yamauchi,et al. Finding Minimal Siphons in General Petri Nets , 1996 .
[117] E. Gilles,et al. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors , 2002, Nature Biotechnology.
[118] Patrick Cousot,et al. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation , 2002, MFPS.
[119] Javier Larrosa,et al. Constraint satisfaction algorithms for graph pattern matching , 2002, Mathematical Structures in Computer Science.
[120] B. Kholodenko,et al. Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades , 2004, The Journal of cell biology.
[121] Barbara M. Bakker,et al. Roles of triosephosphate isomerase and aerobic metabolism in Trypanosoma brucei. , 2001, The Biochemical journal.
[122] Gheorghe Craciun,et al. Multigraph Conditions for Multistability, Oscillations and Pattern Formation in Biochemical Reaction Networks , 2008, Proceedings of the IEEE.
[123] Andrew Kennedy,et al. Dimension Types , 1994, ESOP.
[124] K. Wagner,et al. Graph Minor Theory , 2005 .
[125] Murad Banaji,et al. P Matrix Properties, Injectivity, and Stability in Chemical Reaction Systems , 2007, SIAM J. Appl. Math..
[126] Horst Bunke,et al. Graph Edit Distance with Node Splitting and Merging, and Its Application to Diatom Idenfication , 2003, GbRPR.
[127] H. Kitano,et al. A comprehensive pathway map of epidermal growth factor receptor signaling , 2005, Molecular systems biology.
[128] François Fages,et al. CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming , 2004, Constraints.
[129] François Fages,et al. From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools , 2006, Trans. Comp. Sys. Biology.
[130] Martin Feinberg,et al. Multiple Equilibria in Complex Chemical Reaction Networks: Ii. the Species-reactions Graph , 2022 .
[131] J. Quadrat,et al. Max-Plus Algebra and System Theory: Where We Are and Where to Go Now , 1999 .
[132] Ralf Hofestädt,et al. A petri net application to model metabolic processes , 1994 .
[133] François Fages,et al. From Reaction Models to Influence Graphs and Back: A Theorem , 2008, FMSB.
[134] Wilhelm Huisinga,et al. ADAPTIVE SIMULATION OF HYBRID STOCHASTIC AND DETERMINISTIC MODELS FOR BIOCHEMICAL SYSTEMS , 2005 .
[135] Andrea Sackmann,et al. Modularization of biochemical networks based on classification of Petri net t-invariants , 2008, BMC Bioinformatics.
[136] Christine Solnon,et al. On the subgraph epimorphism problem , 2014, Discret. Appl. Math..
[137] P J Goss,et al. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.
[138] 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.
[139] Jehoshua Bruck,et al. Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. , 2000, Proceedings of the National Academy of Sciences of the United States of America.
[140] Olivia Oanea,et al. New Algorithms for Deciding the Siphon-Trap Property , 2010, Petri Nets.
[141] Hector J. Levesque,et al. Hard and Easy Distributions of SAT Problems , 1992, AAAI.
[142] Monika Heiner,et al. Structural Analysis to Determine the Core of Hypoxia Response Network , 2010, PloS one.
[143] Adrien Richard,et al. Stable periodicity and negative circuits in differential systems , 2011, Journal of mathematical biology.
[144] 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.
[145] Yves Deville,et al. Solving subgraph isomorphism problems with constraint programming , 2009, Constraints.
[146] Laurent Trilling,et al. Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming , 2004, CMSB.
[147] M. Katsumata,et al. Graphic representation of Botts-Morales equation for enzyme-substrate-modifier system. , 1972, Journal of theoretical biology.
[148] Richard M. Karp,et al. Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.
[149] Béla Bollobás,et al. Hereditary and Monotone Properties of Graphs , 2013, The Mathematics of Paul Erdős II.
[150] Kamel Barkaoui,et al. Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems , 1990, Discret. Appl. Math..
[151] J J Collins,et al. A theory for controlling cell cycle dynamics using a reversibly binding inhibitor. , 1998, Proceedings of the National Academy of Sciences of the United States of America.
[152] Jacky L. Snoep,et al. BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems , 2005, Nucleic Acids Res..
[153] Martin Schwarick,et al. Snoopy: a tool to design and animate/simulate graph-based formalisms , 2008, SimuTools.
[154] Michael Hucka,et al. A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al. , 2006, Science's STKE.
[155] P. Shannon,et al. Cytoscape: a software environment for integrated models of biomolecular interaction networks. , 2003, Genome research.
[156] R Heinrich,et al. Complex calcium oscillations and the role of mitochondria and cytosolic proteins. , 2000, Bio Systems.
[157] Alexander Bockmayr,et al. Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems , 2002, ICLP.
[158] Christine Solnon,et al. A parametric filtering algorithm for the graph isomorphism problem , 2008, Constraints.
[159] Herbert M Sauro,et al. Oscillatory dynamics arising from competitive inhibition and multisite phosphorylation. , 2007, Journal of theoretical biology.
[160] G. R. Vijayakumar,et al. Hereditary properties of graphs , 1999, Discret. Math..
[161] Bernard Chazelle,et al. Natural algorithms and influence systems , 2012, CACM.
[162] Angel Rubio,et al. Computing the shortest elementary flux modes in genome-scale metabolic networks , 2009, Bioinform..
[163] A. Müller,et al. Flux modules in metabolic networks , 2014, Journal of mathematical biology.
[164] Murad Banaji,et al. Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks , 2010, ACSD/Petri Nets Workshops.
[165] Herbert M. Sauro,et al. Conservation analysis of large biochemical networks , 2006, Bioinform..
[166] James M. Crawford,et al. Experimental Results on the Crossover Point inSatis ability , 1993 .
[167] Dima Grigoriev,et al. Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models , 2011, SASB.
[168] René Thomas. Regulatory networks seen as asynchronous automata: A logical description , 1991 .
[169] Christophe Soulé,et al. Mathematical approaches to differentiation and gene regulation. , 2005, Comptes rendus biologies.
[170] Sylvain Soliman,et al. A Stronger Necessary Condition for the Multistationarity of Chemical Reaction Networks , 2013, Bulletin of mathematical biology.
[171] Thomas Pfeiffer,et al. Exploring the pathway structure of metabolism: decomposition into subnetworks and application to Mycoplasma pneumoniae , 2002, Bioinform..
[172] H. Herzel,et al. Modeling feedback loops of the Mammalian circadian oscillator. , 2004, Biophysical journal.
[173] François Fages,et al. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology , 2008, CMSB.
[174] E. Voit,et al. Recasting nonlinear differential equations as S-systems: a canonical nonlinear form , 1987 .
[175] C. Soulé. Graphic Requirements for Multistationarity , 2004, Complexus.
[176] Adrien Richard,et al. Necessary conditions for multistationarity in discrete dynamical systems , 2007, Discret. Appl. Math..
[177] S. Yamaguchi,et al. Control Mechanism of the Circadian Clock for Timing of Cell Division in Vivo , 2003, Science.
[178] Péter Érdi,et al. Mathematical Models of Chemical Reactions: Theory and Applications of Deterministic and Stochastic Models , 1989 .
[179] Eberhard O. Voit,et al. Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists , 2000 .
[180] Gianfranco Ciardo,et al. P-Semiflow Computation with Decision Diagrams , 2009, Petri Nets.
[181] François Fages,et al. CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems , 2004, CMSB.
[182] Francisco J. Planes,et al. Exploring metabolic pathways in genome-scale networks via generating flux modes , 2011, Bioinform..
[183] R Thomas,et al. A complex control circuit. Regulation of immunity in temperate bacteriophages. , 1976, European journal of biochemistry.
[184] M. Feinberg,et al. Structural Sources of Robustness in Biochemical Reaction Networks , 2010, Science.
[185] Alejandra C. Ventura,et al. A Hidden Feedback in Signaling Cascades Is Revealed , 2008, PLoS Comput. Biol..
[186] S. Soliman,et al. A Unique Transformation from Ordinary Differential Equations to Reaction Networks , 2010, PloS one.
[187] Andrea Ciliberto,et al. Steady States and Oscillations in the p53/Mdm2 Network , 2005, Cell cycle.
[188] Sylvain Soliman,et al. Steady-state solution of biochemical systems, beyond S-systems via T-invariants , 2010, CMSB '10.
[189] Manuel Silva Suárez,et al. Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows , 1991, Applications and Theory of Petri Nets.
[190] Liang Qiao,et al. Bistability and Oscillations in the Huang-Ferrell Model of MAPK Signaling , 2007, PLoS Comput. Biol..
[191] Markus J. Herrgård,et al. A consensus yeast metabolic network reconstruction obtained from a community approach to systems biology , 2008, Nature Biotechnology.
[192] Rolf Backofen,et al. Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets , 1999, Bioinform..
[193] Christoph Kaleta,et al. Computing chemical organizations in biological networks , 2008, Bioinform..
[194] J. Tyson. Modeling the cell division cycle: cdc2 and cyclin interactions. , 1991, Proceedings of the National Academy of Sciences of the United States of America.
[195] Emmanuel Coquery,et al. Typing constraint logic programs , 2001, Theory Pract. Log. Program..
[196] Joachim Kneis,et al. Courcelle's theorem - A game-theoretic approach , 2011, Discret. Optim..
[197] José Meseguer,et al. Pathway Logic: Symbolic Analysis of Biological Signaling , 2001, Pacific Symposium on Biocomputing.
[198] Emmanuel Coquery,et al. Subtyping Constraints in Quasi-lattices , 2003, FSTTCS.
[199] Christoph Kaleta,et al. Metabolic Pathway Analysis : from small to genome-scale networks , 2011 .
[200] J. Gouzé. Positive and Negative Circuits in Dynamical Systems , 1998 .
[201] François Fages,et al. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM , 2002 .
[202] René Thomas. On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations , 1981 .
[203] Jean-Charles Régin,et al. A Filtering Algorithm for Constraints of Difference in CSPs , 1994, AAAI.
[204] D. Gale,et al. The Jacobian matrix and global univalence of mappings , 1965 .
[205] Corrado Priami,et al. The Beta Workbench: a computational tool to study the dynamics of biological systems , 2008, Briefings Bioinform..
[206] A Goldbeter,et al. A minimal cascade model for the mitotic oscillator involving cyclin and cdc2 kinase. , 1991, Proceedings of the National Academy of Sciences of the United States of America.
[207] Georg Gottlob,et al. A Comparison of Structural CSP Decomposition Methods , 1999, IJCAI.
[208] Sylvain Soliman,et al. Modelling Biochemical Reaction Networks with BIOCHAM Extracting Qualitative and Quantitative Information from the Structure , 2009, Simul. Notes Eur..
[209] M. Savageau. Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.
[210] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[211] M. Ashburner,et al. Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.
[212] Martin Feinberg,et al. Multiple Equilibria in Complex Chemical Reaction Networks: I. the Injectivity Property * , 2006 .
[213] Claudine Chaouiya,et al. Petri net modelling of biological networks , 2007, Briefings Bioinform..
[214] François Fages,et al. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge , 2006, Bioinform..
[215] François Fages,et al. A constraint solving approach to model reduction by tropical equilibration , 2014, Algorithms for Molecular Biology.
[216] Stefan Schuster,et al. Topological analysis of metabolic networks based on Petri net theory , 2003, Silico Biol..