Computation Tree Regular Logic for Genetic Regulatory Networks
From MaRDI portal
Publication:3540063
DOI10.1007/978-3-540-88387-6_6zbMath1183.68380MaRDI QIDQ3540063
Hidde de Jong, Radu Mateescu, Pedro T. Monteiro, Estelle Dumas
Publication date: 20 November 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_6
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
92C42: Systems biology, networks
Related Items
Branching-time logics with path relativisation, CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks, Computation Tree Regular Logic for Genetic Regulatory Networks
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Qualitative simulation of genetic regulatory networks using piecewise-linear models
- Results on the propositional \(\mu\)-calculus
- Propositional dynamic logic of regular programs
- Model checking and boolean graphs
- Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
- A linear-time model-checking algorithm for the alternation-free modal mu- calculus
- NuSMV: A new symbolic model checker
- Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
- Modeling and querying biomolecular interaction networks
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
- Computation Tree Regular Logic for Genetic Regulatory Networks
- Propositional dynamic logic of looping and converse is elementarily decidable
- Model Checking Software
- Derivatives of Regular Expressions
- Hybrid Systems: Computation and Control
- Model Checking Software