Symbolic model checking of biochemical networks
From MaRDI portal
Recommendations
Cited in
(30)- Modeling and querying biomolecular interaction networks
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
- What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
- Greening R. Thomas' framework with environment variables: a divide and conquer approach
- Executable biochemical space for specification and analysis of biochemical systems
- Formal semantics and verification of network-based biocomputation circuits
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Qualitative analysis of gene regulatory networks by temporal logic
- Abstract interpretation and types for systems biology
- Runtime verification for biochemical programs
- Parallel model checking large-scale genetic regulatory networks with DiVinE
- Biomodel Engineering – From Structure to Behavior
- Use of symbolic and numeric computation techniques in analysis of biochemical reaction networks
- Finding State Solutions to Temporal Logic Queries
- Modular verification of interactive systems with an application to biology
- Probabilistic model checking of the PDGF signaling pathway
- Model checking of biological systems
- 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
- Formal Cellular Machinery
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Automated Technology for Verification and Analysis
- Model-checking in systems biology -- from micro to macro
- Computational Methods in Systems Biology
- Model Checking Liveness Properties of Genetic Regulatory Networks
- Symbolic Proof of Bistability in Reaction Networks
- Constrained Kripke structure for identifying parameters of biological models
- Artificial intelligence in biological modelling
- On temporal logic constraint solving for analyzing numerical data time series
This page was built for publication: Symbolic model checking of biochemical networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413225)
