Parameter identification and model ranking of Thomas networks

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

Volumn 7605 LNBI, Issue , 2012, Pages 207-226

  Klarner, Hannes ^a   Streck, Adam ^b   Šafránek, David ^b   Kolčák, Juraj ^b   Siebert, Heike ^a  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b MASARYK UNIVERSITY   (Czech Republic)

Author keywords

model checking; parameter identification; Thomas network

Indexed keywords

DISTRIBUTED ENVIRONMENTS; GENE NETWORKS; LTL MODEL-CHECKING; PARAMETRIZATIONS; TIME-SERIES DATA;

COMPUTATIONAL METHODS; IDENTIFICATION (CONTROL SYSTEMS); MODEL CHECKING;

TIME SERIES ANALYSIS;

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

References (21)

1. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)
2. Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.: On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics 9(3), 693-705 (2012)
3. Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., de Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26(18), i603-i610 (2010)
4. Bernot, G., Comet, J.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: Extending Thomas' asynchronous logical approach with temporal logic. Journal of Theoretical Biology 229(3), 339-347 (2004)
5. Chaouiya, C., Remy, E., Mossé, B., Thieffry, D.: Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework. In: Benvenuti, L., De Santis, A., Farina, L. (eds.) Positive Systems. LNCIS, vol. 294, pp. 119-126. Springer, Heidelberg (2003)
6. Cline, M., et al.: Integration of biological networks and gene expression data using Cytoscape. Nat. Protocols 2(10), 2366-2382 (2007)
7. Corblin, F., Fanchon, E., Trilling, L., Chaouiya, C., Thieffry, D.: Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data. In: Lones, M.A., Smith, S.L., Teichmann, S., Naef, F., Walker, J.A., Trefzer, M.A. (eds.) IPCAT 2012. LNCS, vol. 7223, pp. 25-30. Springer, Heidelberg (2012)
8. Corblin, F., et al.: A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosystems 98(2), 91-104 (2009)
9. de Jong, H.: Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology 9(1), 67-103 (2002)
10. Fauré, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. In: ISMB (Supplement of Bioinformatics) 2006, pp. 124-131 (2006)
11. Helikar, T., Konvalina, J., Heidel, J., Rogers, J.A.: Emergent decision-making in biological signal transduction networks. Proceedings of the National Academy of Sciences 105(6), 1913-1918 (2008)
12. Klarner, H., Siebert, H., Bockmayr, A.: Time series dependent analysis of unparametrized thomas networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics 99(PrePrints) (2012)
13. Klarner, H., Streck, A., Safranek, D., Kolcak, J., Siebert, H.: Parameter identification and model ranking of Thomas networks. Technical Report FIMU-RS-2012-03, Masaryk University (2012)
14. Laubenbacher, R., Mendes, P.: A discrete approach to top-down modeling of biochemical networks. In: Kriete, A., Eils, R. (eds.) Computational Systems Biology, pp. 229-247. Elsevier Academic Press (2005)
15. Lee, W.-P., Tzou, W.-S.: Computational methods for discovering gene networks from expression data. Briefings in Bioinformatics 10(4), 408-423 (2009)
16. Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: Dynamically consistent reduction of logical regulatory graphs. Theor. Comput. Sci. 412(21), 2207-2218 (2011)
17. Richard, A.: SMBioNet-1.4 User manual (2005)
18. Sánchez, L., Thieffry, D.: A logical analysis of the drosophila gap-gene system. Journal of Theoretical Biology 211(2), 115-141 (2001)
19. Siebert, H., Bockmayr, A.: Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 169-183. Springer, Heidelberg (2006)
20. Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks II. Immunity control in bacteriophage lambda. Bulletin of Mathematical Biology 57, 277-297 (1995)
21. Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. Journal of Theoretical Biology 153(1), 1-23 (1991)