On algorithmic analysis of transcriptional regulation by LTL model checking
From MaRDI portal
Publication:2271449
DOI10.1016/j.tcs.2009.02.017zbMath1173.68037MaRDI QIDQ2271449
Jiří Barnat, David Šafránek, J. Fabriková, S. Dražan, Ivana Černá, Luboš Brim
Publication date: 7 August 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.02.017
68Q60: Specification and verification (program logics, model checking, etc.)
92C37: Cell biology
92B05: General biology and biomathematics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
- Qualitative simulation of genetic regulatory networks using piecewise-linear models
- Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
- Controlling a Class of Nonlinear Systems on Rectangles
- Model Checking Liveness Properties of Genetic Regulatory Networks