scientific article; zbMATH DE number 1950556
From MaRDI portal
zbMath1112.92312MaRDI QIDQ4413225
Nathalie Chabrier, François Fages
Publication date: 17 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2602/26020149.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Biochemistry, molecular biology (92C40) Cell biology (92C37)
Related Items
Modeling and querying biomolecular interaction networks, Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice, Greening R. Thomas' framework with environment variables: a divide and conquer approach, Constrained Kripke structure for identifying parameters of biological models, Formal semantics and verification of network-based biocomputation circuits, Formal Cellular Machinery, On temporal logic constraint solving for analyzing numerical data time series, 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, Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement, Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures, On algorithmic analysis of transcriptional regulation by LTL model checking, Model Revision from Temporal Logic Properties in Computational Systems Biology, Biomodel Engineering – From Structure to Behavior, Abstract interpretation and types for systems biology, Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE, Qualitative analysis of gene regulatory networks by temporal logic
Uses Software
