Embedding of biological regulatory networks and property preservation

DOI10.1007/S11786-011-0092-3MaRDI QIDQ359895zbMATH OpenOpenAlexFDO

Authors Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard

Publication date 23 August 2013

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11786-011-0092-3

zbMATH Keywords

network embeddingtemporal logic

Mathematics Subject Classification ID

Genetics and epigenetics (92D10) Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other applications of logic (03B80)

Recommendations

• Property Preservation along Embedding of Biological Regulatory Networks
• Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
• Dynamically consistent reduction of logical regulatory graphs
• Stabilizing and Destabilizing Effects of Embedding 3-Node Subgraphs on the State Space of Boolean Networks
• Regulatory patterns in molecular interaction networks

Cites work

• scientific article; zbMATH DE number 50840 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
• Deriving behavior of Boolean bioregulatory networks from subnetwork dynamics
• Efficient on-the-fly model-checking for regular alternation-free -calculus
• Hybrid Systems: Computation and Control
• Inheritance of temporal logic properties.
• Institutions: abstract model theory for specification and programming
• Introduction to algorithms
• Property Preservation along Embedding of Biological Regulatory Networks
• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
• Three logics for branching bisimulation

Cited in

(3)

• Property Preservation along Embedding of Biological Regulatory Networks
• Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network
• Analysis and characterization of asynchronous state transition graphs using extremal states

Describes a project that uses

Uses Software

• GNA
• RegulonDB

This page was built for publication: Embedding of biological regulatory networks and property preservation

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