Identification of biological regulatory networks from process hitting models

DOI10.1016/j.tcs.2014.12.002zbMath1314.92062OpenAlexW2030124482MaRDI QIDQ2513608

Morgan Magnin, Loïc Paulevé, Katsumi Inoue, Maxime Folschette, Olivier Roux

Publication date: 28 January 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.12.002

zbMATH Keywords

model abstractionanswer set programminginteraction graphqualitative modelingThomas' parameters

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (1)

Modeling delayed dynamics in biological regulatory networks from time series data

Cites Work

• Unnamed Item
• Under-approximation of reachability in multivalued asynchronous networks
• About non-monotony in Boolean automata networks
• Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
• Negative circuits and sustained oscillations in asynchronous automata networks
• Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
• Necessary conditions for multistationarity in discrete dynamical systems
• Static analysis of Biological Regulatory Networks dynamics using abstract interpretation
• Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey
• Advances in Petri nets 1992

This page was built for publication: Identification of biological regulatory networks from process hitting models