Abstract interpretation and types for systems biology

DOI10.1016/j.tcs.2008.04.024zbMath1155.68049OpenAlexW2122529434MaRDI QIDQ2518376

François Fages, Sylvain Soliman

Publication date: 15 January 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.04.024

zbMATH Keywords

Markov chainsordinary differential equationstype inferenceSBMLhierarchy of semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (18)

From Quantitative SBML Models to Boolean Networks ⋮ Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs ⋮ From Reaction Models to Influence Graphs and Back: A Theorem ⋮ On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control ⋮ A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ On estimating derivatives of input signals in biochemistry ⋮ Core SBML and its formal semantics ⋮ A stronger necessary condition for the multistationarity of chemical reaction networks ⋮ Graphical requirements for multistationarity in reaction networks and their verification in BioModels ⋮ Inferring reaction systems from ordinary differential equations ⋮ Computing difference abstractions of linear equation systems ⋮ On the definition of suitable orderings to generate adjunctions over an unstructured codomain ⋮ Dynamically consistent reduction of logical regulatory graphs ⋮ Dynamical properties of discrete reaction networks ⋮ A Survey on Analog Models of Computation ⋮ Algebraic biochemistry: a framework for analog online computation in cells ⋮ Abstract simulation of reaction networks via Boolean networks

Uses Software

• CMBSlib
• BIOCHAM
• KEGG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri net modelling of biological regulatory networks
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Modeling and querying biomolecular interaction networks
• Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior
• Grammar Analysis and Parsing by Abstract Interpretation
• Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
• Abstract interpretation and application to logic programs
• Typing constraint logic programs
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Computational Methods in Systems Biology
• Brane Calculi

This page was built for publication: Abstract interpretation and types for systems biology