Embedding of biological regulatory networks and property preservation

DOI10.1007/s11786-011-0092-3zbMath1270.92024OpenAlexW2145801013MaRDI QIDQ359895

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

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

temporal logicnetwork embedding

Mathematics Subject Classification ID

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

Related Items (1)

Analysis and characterization of asynchronous state transition graphs using extremal states

Uses Software

• RegulonDB
• GNA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Deriving behavior of Boolean bioregulatory networks from subnetwork dynamics
• 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
• Institutions: abstract model theory for specification and programming
• Three logics for branching bisimulation
• Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
• Hybrid Systems: Computation and Control
• Formal Methods for Open Object-Based Distributed Systems

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