Efficient handling of large signalling-regulatory networks by focusing on their core control

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7605 LNBI, Issue , 2012, Pages 288-306

  Naldi, Aurélien ^a   Monteiro, Pedro T ^b   Chaouiya, Claudine ^b  

^a UNIVERSITY OF LAUSANNE   (Switzerland)

^b INSTITUTO GULBENKIAN DE CIÊNCIA   (Portugal)

Author keywords

Logical modelling; Model checking; Qualitative modelling; Regulatory networks; Signalling networks

Indexed keywords

ASYNCHRONOUS FRAMEWORK; CORE NETWORKS; ENVIRONMENTAL CONDITIONS; INITIAL CONDITIONS; INPUT NODE; LARGE-SCALE MODELS; LOGICAL MODELS; MODEL CHECKER; MODEL COMPONENTS; QUALITATIVE MODELLING; REACHABILITY; REDUCTION METHOD; REDUCTION STRATEGY; REGULATORY NETWORK; SIGNALLING NETWORK; SIGNALLING PATHWAYS; STATE SPACE; STATE TRANSITION GRAPHS; T CELL ACTIVATION;

COMPUTATIONAL METHODS; DYNAMICAL SYSTEMS; DYNAMICS; ENCODING (SYMBOLS);

MODEL CHECKING;

EID: 84867862375     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33636-2_17     Document Type: Conference Paper

References (20)

1. Bilke, S., Sjunnesson, F.: Stability of the Kauffman model. Phys. Rev. E 65(016129) (2001)
2. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359-364. Springer, Heidelberg (2002)
3. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 244-263 (1986)
4. de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput Biol. 1(9), 67-103 (2002)
5. Fauré, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. Bioinformatics 22(14), 124-131 (2006)
6. Lomuscio, A., Pecheur, C., Raimondi, F.: Automatic verification of knowledge and time with nusmv. In: Veloso, M.M. (ed.) Proc. 20th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 1384-1389. Morgan Kaufmann Publishers Inc. (2007)
7. Müller-Olm, M., Schmidt, D., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330-354. Springer, Heidelberg (1999)
8. Monteiro, P.T., Chaouiya, C.: Efficient Verification for Logical Models of Regulatory Networks. In: Rocha, M.P., Luscombe, N., Fdez-Riverola, F., Rodríguez, J.M.C. (eds.) 6th International Conference on PACBB. AISC, vol. 154, pp. 259-267. Springer, Heidelberg (2012)
9. Naldi, A., Berenguier, D., Fauré, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97(2), 134-139 (2009)
10. Naldi, A., Carneiro, J., Chaouiya, C., Thieffry, D.: Diversity and plasticity of th cell types predicted from regulatory network modelling. PLoS Comput. Biol. 6(9) (2010)
11. Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: Dynamically consistent reduction of logical regulatory graphs. Theor. Comput. Sci. 412, 2207-2218 (2011)
12. Naldi, A., Thieffry, D., Chaouiya, C.: Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 233-247. Springer, Heidelberg (2007)
13. Pecheur, C., Raimondi, F.: Symbolic Model Checking of Logics with Actions. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV. LNCS (LNAI), vol. 4428, pp. 113-128. Springer, Heidelberg (2007)
14. Remy, E., Ruet, P.: From minimal signed circuits to the dynamics of boolean regulatory networks. Bioinformatics 24(16), i220-i226 (2008)
15. Saadatpour, A., Albert, I., Albert, R.: Attractor analysis of asynchronous boolean models of signal transduction networks. J. Theor. Biol. 266(4), 641-656 (2010)
16. Saez-Rodriguez, J., Simeoni, L., Lindquist, J., Hemenway, R., Bommhardt, U., Arndt, B., Haus, U.-U., Weismantel, R., Gilles, E., Klamt, S., Schraven, B.: A logical model provides insights into T cell receptor signaling. PLoS Comput. Biol. 3(8), e163 (2007)
17. Saez-Rodriguez, J., Simeoni, L., Lindquist, J.A., Hemenway, R., Bommhardt, U., Arndt, B., Haus, U.-U., Weismantel, R., Gilles, E.D., Klamt, S., Schraven, B.: A logical model provides insights into T cell receptor signaling. PLoS Comput. Biol. 3(8), e163 (2007)
18. Schlitt, T., Brazma, A.: Current approaches to gene regulatory network modelling. BMC Bioinformatics 8(suppl. 6), S9 (2007)
19. Thieffry, D.: Dynamical roles of biological regulatory circuits. Brief. Bioinform. 8(4), 220-225 (2007)
20. Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. J. Theor. Biol. 153, 1-23 (1991)