Abstract interpretation and types for systems biology
From MaRDI portal
Publication:2518376
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
Related Items
Dynamically consistent reduction of logical regulatory graphs, From Reaction Models to Influence Graphs and Back: A Theorem
Uses Software
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