On Timed Models of Gene Networks

DOI10.1007/978-3-540-75454-1_5MaRDI QIDQ3510833zbMATH OpenOpenAlexFDO

Authors Grégory Batt, Ramzi Ben Salah, Oded Maler

Publication date 3 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75454-1_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Biochemistry, molecular biology (92C40)

Recommendations

• Temporal constraints in the logical analysis of regulatory networks
• Delays in Biological Regulatory Networks (BRN)
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Model Checking Liveness Properties of Genetic Regulatory Networks
• Model Checking Software

Cited in

(10)

• An adjustable aperiodic model class of genomic interactions using continuous time Boolean networks (Boolean delay equations)
• Improving the timed automata approach to biological pathway dynamics
• Verification of dynamic behaviour in qualitative molecular networks describing gene regulation, signalling and whole-cell metabolism
• Activity networks with delays an application to toxicity analysis
• A genetically modified Hoare logic
• Model checking of biological systems
• Temporal constraints in the logical analysis of regulatory networks
• Applications of an expressive statistical model checking approach to the analysis of genetic circuits
• Delays in Biological Regulatory Networks (BRN)
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty

Describes a project that uses

Uses Software

• PHAVer

This page was built for publication: On Timed Models of Gene Networks

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