Abstract interpretation and types for systems biology

DOI10.1016/j.tcs.2008.04.024zbMath1155.68049MaRDI 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 chains; ordinary differential equations; type inference; SBML; hierarchy of semantics

Mathematics Subject Classification ID

68N15: Theory of programming languages

68Q55: Semantics in the theory of computing

Related Items

From Reaction Models to Influence Graphs and Back: A Theorem

Uses Software

• CMBSlib
• BIOCHAM
• KEGG

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item