Embedding of biological regulatory networks and property preservation

DOI10.1007/S11786-011-0092-3zbMATH Open1270.92024OpenAlexW2145801013MaRDI QIDQ359895FDOQ359895

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

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

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)

Cites Work

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

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

Uses Software

• RegulonDB
• GNA

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)