Model Revision from Temporal Logic Properties in Computational Systems Biology
DOI10.1007/978-3-540-78652-8_11zbMATH Open1137.68534OpenAlexW1533895412MaRDI QIDQ5452030FDOQ5452030
Authors: François Fages, Sylvain Soliman 
Publication date: 28 March 2008
Published in: Probabilistic Inductive Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78652-8_11
Recommendations
- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
- Model checking of biological systems
- scientific article; zbMATH DE number 1950556
- Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
- On temporal logic constraint solving for analyzing numerical data time series
Learning and adaptive systems in artificial intelligence (68T05) Biochemistry, molecular biology (92C40) Logic programming (68N17)
Cites Work
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Title not available (Why is that?)
- Brane Calculi
- Modeling and querying biomolecular interaction networks
- Title not available (Why is that?)
- Model Checking Software
Cited In (13)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- ModRev -- model revision tool for Boolean logical models of biological regulatory networks
- From quantitative SBML models to Boolean networks
- On temporal logic constraint solving for analyzing numerical data time series
- Artificial intelligence in biological modelling
- A generic framework to coarse-grain stochastic reaction networks by abstract interpretation
- Modelling and Analysing Qualitative Biological Models using Rewriting Logic
- Title not available (Why is that?)
- What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
- Temporal abductive reasoning about biochemical reactions
- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
Uses Software
This page was built for publication: Model Revision from Temporal Logic Properties in Computational Systems Biology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452030)
