Formal Methods for Modeling Biological Regulatory Networks

Modern Formal Methods and Applications ◽

10.1007/1-4020-4223-x_5 ◽

2006 ◽

pp. 83-122 ◽

Author(s):

Adrien Richard ◽

Jean-Paul Comet ◽

Gilles Bernot

Keyword(s):

Formal Methods ◽

Regulatory Networks ◽

Biological Regulatory Networks

Download Full-text

Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic

Journal of Theoretical Biology ◽

10.1016/j.jtbi.2004.04.003 ◽

2004 ◽

Vol 229 (3) ◽

pp. 339-347 ◽

Author(s):

Gilles Bernot ◽

Jean-Paul Comet ◽

Adrien Richard ◽

Janine Guespin

Keyword(s):

Formal Methods ◽

Temporal Logic ◽

Regulatory Networks ◽

Logical Approach ◽

Biological Regulatory Networks

Download Full-text

Qualitative modelling of biological regulatory networks combining a logical multi-valued formalism and Petri nets

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605957 ◽

2008 ◽

Author(s):

Claudine Chaouiya

Keyword(s):

Regulatory Networks ◽

Qualitative Modelling ◽

Biological Regulatory Networks

Download Full-text

Modulation of Biological Regulatory Networks During Nephrogenesis

Drug Metabolism Reviews ◽

10.1080/03602530600959532 ◽

2006 ◽

Vol 38 (4) ◽

pp. 677-683 ◽

Author(s):

Kenneth S. Ramos ◽

M. Hadi Falahatpisheh ◽

Adrian Nanez ◽

Qiang He

Keyword(s):

Regulatory Networks ◽

Biological Regulatory Networks

Download Full-text

MicroRNAs and Robustness in Biological Regulatory Networks. A Generic Approach with Applications at Different Levels: Physiologic, Metabolic, and Genetic

Systems Biology of Metabolic and Signaling Networks - Springer Series in Biophysics ◽

10.1007/978-3-642-38505-6_4 ◽

2013 ◽

pp. 63-114 ◽

Author(s):

Jacques Demongeot ◽

Olivier Cohen ◽

Alexandra Henrion-Caude

Keyword(s):

Regulatory Networks ◽

Biological Regulatory Networks ◽

Different Levels

Download Full-text

Dynamical behaviour of biological regulatory networks—I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state

Bulletin of Mathematical Biology ◽

10.1007/bf02460618 ◽

1995 ◽

Vol 57 (2) ◽

pp. 247-276 ◽

Author(s):

René Thomas ◽

Denis Thieffry ◽

Marcelle Kaufman

Keyword(s):

Regulatory Networks ◽

Dynamical Behaviour ◽

Feedback Loops ◽

Biological Role ◽

Characteristic State ◽

Biological Regulatory Networks

Download Full-text

Robustness in biological regulatory networks IV: Application to genetic networks controlling the cell cycle

Comptes Rendus Mathematique ◽

10.1016/j.crma.2012.02.005 ◽

2012 ◽

Vol 350 (5-6) ◽

pp. 293-298 ◽

Author(s):

Jacques Demongeot ◽

Jules Waku

Keyword(s):

Regulatory Networks ◽

Genetic Networks ◽

Biological Regulatory Networks

Download Full-text

Criticality Distinguishes the Ensemble of Biological Regulatory Networks

Physical Review Letters ◽

10.1103/physrevlett.121.138102 ◽

2018 ◽

Vol 121 (13) ◽

Author(s):

Bryan C. Daniels ◽

Hyunju Kim ◽

Douglas Moore ◽

Siyu Zhou ◽

Harrison B. Smith ◽

...

Keyword(s):

Regulatory Networks ◽

Biological Regulatory Networks

Download Full-text

Parameter estimation of qualitative biological regulatory networks on high performance computing hardware

BMC Systems Biology ◽

10.1186/s12918-018-0670-y ◽

2018 ◽

Vol 12 (1) ◽

Author(s):

Muhammad Tariq Saeed ◽

Jamil Ahmad ◽

Jan Baumbach ◽

Josch Pauling ◽

Aamir Shafi ◽

...

Keyword(s):

Parameter Estimation ◽

High Performance Computing ◽

High Performance ◽

Regulatory Networks ◽

Biological Regulatory Networks ◽

Performance Computing

Download Full-text

Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2013.11.008 ◽

2013 ◽

Vol 299 ◽

pp. 85-100 ◽

Author(s):

Usman Rauf ◽

Sheema Sameen ◽

Antonio Cerone

Keyword(s):

Regulatory Networks ◽

Formal Analysis ◽

Biological Regulatory Networks ◽

Alternative Approach ◽

Oscillatory Behaviors

Download Full-text

Robustness in biological regulatory networks II: Application to genetic threshold Boolean random regulatory networks (getBren)

Comptes Rendus Mathematique ◽

10.1016/j.crma.2012.01.019 ◽

2012 ◽

Vol 350 (3-4) ◽

pp. 225-228 ◽

Author(s):

Jacques Demongeot ◽

Jules Waku

Keyword(s):

Regulatory Networks ◽

Biological Regulatory Networks

Download Full-text