Computation Tree Regular Logic for Genetic Regulatory Networks

DOI10.1007/978-3-540-88387-6_6MaRDI QIDQ3540063zbMATH OpenOpenAlexFDO

Authors Radu Mateescu, P. T. Monteiro, Estelle Dumas, Hidde de Jong

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

Mathematics Subject Classification ID

Systems biology, networks (92C42) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• Bio-logics: logical analysis of bioregulatory networks
• Qualitative analysis of gene regulatory networks by temporal logic
• scientific article; zbMATH DE number 1950548
• Model checking temporal properties of reaction systems

Cites work

• scientific article; zbMATH DE number 4056971 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1796144 (Why is no real title available?)
• scientific article; zbMATH DE number 2087557 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• Computation Tree Regular Logic for Genetic Regulatory Networks
• Derivatives of Regular Expressions
• Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
• Efficient on-the-fly model-checking for regular alternation-free -calculus
• Hybrid Systems: Computation and Control
• Model Checking Software
• Model Checking Software
• Model checking and boolean graphs
• Modeling and querying biomolecular interaction networks
• NuSMV: A new symbolic model checker
• Parallel model checking large-scale genetic regulatory networks with DiVinE
• Propositional dynamic logic of looping and converse is elementarily decidable
• Propositional dynamic logic of regular programs
• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Results on the propositional \(\mu\)-calculus
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

Cited in

(6)

• Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• scientific article; zbMATH DE number 1950548 (Why is no real title available?)
• What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
• Computation Tree Regular Logic for Genetic Regulatory Networks
• Branching-time logics with path relativisation

Describes a project that uses

Uses Software

• CAESAR_SOLVE
• Exp.Open
• CADP
• NuSMV
• DiVinE
• SPIN
• E-LOTOS

This page was built for publication: Computation Tree Regular Logic for Genetic Regulatory Networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540063)