Inferring reaction systems from ordinary differential equations
From MaRDI portal
Publication:498919
DOI10.1016/J.TCS.2014.07.032zbMATH Open1337.92089OpenAlexW2023783465MaRDI QIDQ498919FDOQ498919
Authors: François Fages, Steven Gay, Sylvain Soliman 
Publication date: 29 September 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2014.07.032
Recommendations
- From Reaction Models to Influence Graphs and Back: A Theorem
- Reaction network realizations of rational biochemical systems and their structural properties
- Identifiability of stochastically modelled reaction networks
- Identifiability from a few species for a class of biochemical reaction networks
- Estimating parameters for generalized mass action models using constraint propagation
Biochemistry, molecular biology (92C40) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45)
Cites Work
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Necessary conditions for multistationarity and stable periodicity
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- Modeling and querying biomolecular interaction networks
- Chemical organisation theory
- From Reaction Models to Influence Graphs and Back: A Theorem
- Positive and negative circuits in dynamical systems
- Petri net modelling of biological regulatory networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- A new necessary condition on interaction graphs for multistationarity
- Abstract interpretation and types for systems biology
- A stronger necessary condition for the multistationarity of chemical reaction networks
- On the subgraph epimorphism problem
Cited In (12)
- Extracting reaction systems from function behavior
- Abstract simulation of reaction networks via Boolean networks
- Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs
- Computing difference abstractions of linear equation systems
- Artificial intelligence in biological modelling
- Algebraic biochemistry: a framework for analog online computation in cells
- Linking network structure and dynamics to describe the set of persistent species in reaction diffusion systems
- Core SBML and its formal semantics
- On estimating derivatives of input signals in biochemistry
- From Reaction Models to Influence Graphs and Back: A Theorem
- Graphical requirements for multistationarity in reaction networks and their verification in BioModels
- On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control
Uses Software
This page was built for publication: Inferring reaction systems from ordinary differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q498919)
