메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 272, Issue 1, 2011, Pages 43-56
Abstract interpretation of dynamics of biological regulatory networks
Author keywords

abstract interpretation; biological regulatory networks; model checking; static analysis
Indexed keywords

ABSTRACT INTERPRETATION TECHNIQUES; ABSTRACT INTERPRETATIONS; DISCRETE VALUES; IN-PROCESS; INNOVATIVE METHOD; MODEL DYNAMICS; REACHABILITY; REGULATORY NETWORK; STATE-SPACE EXPLOSION;
EID: 79955624697     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2011.04.004     Document Type: Conference Paper
Times cited : (7)
References (11)
  • 1
    • 47349123229 scopus 로고    scopus 로고
    • Maximum number of fixed points in regulatory boolean networks
    • J. Aracena Maximum number of fixed points in regulatory boolean networks Bulletin of Mathematical Biology 70 2008 1398 1409
    • (2008) Bulletin of Mathematical Biology , vol.70 , pp. 1398-1409
    • Aracena, J.1
  • 2
    • 34447270783 scopus 로고    scopus 로고
    • Semantics of Biological Regulatory Networks
    • DOI 10.1016/j.entcs.2004.01.038, PII S157106610700494X, Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003)
    • G. Bernot, F. Cassez, J.-P. Comet, F. Delaplace, C. Müller, and O. Roux Semantics of biological regulatory networks Electronic Notes in Theoretical Computer Science 180 2007 3 14 (Pubitemid 47044923)
    • (2007) Electronic Notes in Theoretical Computer Science , vol.180 , Issue.3 , pp. 3-14
    • Bernot, G.1    Cassez, F.2    Comet, J.-P.3    Delaplace, F.4    Muller, C.5    Roux, O.6
  • 4
    • 33646337667 scopus 로고    scopus 로고
    • A methodology for the structural and functional analysis of signaling and regulatory networks
    • S. Klamt, J. Saez-Rodriguez, J. Lindquist, L. Simeoni, and E. Gilles A methodology for the structural and functional analysis of signaling and regulatory networks BMC Bioinformatics 7 2006 56
    • (2006) BMC Bioinformatics , vol.7 , pp. 56
    • Klamt, S.1    Saez-Rodriguez, J.2    Lindquist, J.3    Simeoni, L.4    Gilles, E.5
  • 5
    • 79955619225 scopus 로고    scopus 로고
    • LIP6/Move, the libDDD environment (2007)
    • LIP6/Move, the libDDD environment (2007), http://ddd.lip6.fr.
  • 7
    • 79955575533 scopus 로고    scopus 로고
    • Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
    • Paulevé, L., M. Magnin and O. Roux, Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework, Transactions in Computational Systems Biology To appear (2010), preprint: http://www.irccyn.ec- nantes.fr/~pauleve/refining-revised.pdf.
    • (2010) Transactions in Computational Systems Biology to Appear
    • Paulevé, L.1
  • 8
    • 49549085003 scopus 로고    scopus 로고
    • Graphic requirements for multistability and attractive cycles in a boolean dynamical framework
    • É. Remy, P. Ruet, and D. Thieffry Graphic requirements for multistability and attractive cycles in a boolean dynamical framework Advances in Applied Mathematics 41 2008 335 350
    • (2008) Advances in Applied Mathematics , vol.41 , pp. 335-350
    • Remy, É.1    Ruet, P.2    Thieffry, D.3
  • 9
    • 35448971021 scopus 로고    scopus 로고
    • Necessary conditions for multistationarity in discrete dynamical systems
    • DOI 10.1016/j.dam.2007.04.019, PII S0166218X07001199
    • A. Richard, and J.-P. Comet Necessary conditions for multistationarity in discrete dynamical systems Discrete Applied Mathematics 155 2007 2403 2413 (Pubitemid 47628780)
    • (2007) Discrete Applied Mathematics , vol.155 , Issue.18 , pp. 2403-2413
    • Richard, A.1    Comet, J.-P.2
  • 11
    • 0015823097 scopus 로고
    • Boolean formalization of genetic control circuits
    • R. Thomas Boolean formalization of genetic control circuits Journal of Theoretical Biology 42 1973 563 585
    • (1973) Journal of Theoretical Biology , vol.42 , pp. 563-585
    • Thomas, R.1

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.