Parameter inference for asynchronous logical networks using discrete time series

Proceedings of the 9th International Conference on Computational Methods in Systems Biology, CMSB'11

Volumn , Issue , 2011, Pages 121-130

  Klarner, Hannes ^a   Siebert, Heike ^a   Bockmayr, Alexander ^a  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON PROPERTY; COMPONENT BEHAVIOR; DISCRETE TIME SERIES; LOGICAL MODELS; LOGICAL NETWORK; MONOTONE PATHS; PARAMETER INFERENCE; REGULATORY NETWORK; THOMAS MODELS;

COMPUTATIONAL METHODS; LAKES;

TIME SERIES;

EID: 80054822686     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2037509.2037528     Document Type: Conference Paper

References (16)

1. R. Thomas, 1991. Regulatory networks seen as asynchronous automata: a logical description. J. Theor. Biol. 153(1), p.1-23.
2. A. Richard, 2010. Negative circuits and sustained oscillations in asynchronous automata networks. Advances in Applied Mathematics 44, p.378-392.
3. C. Chaouiya, E. Remy, B. Mossé, D. Thieffry, 2003. Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. Springer-Verlag, LNCIS 294 : p.119-126. (Pubitemid 36921354)
4. F. Corblin,E. Fanchon, L. Trilling, 2010. Applications of a formal approach to decipher discrete genetic networks. BMC Bioinformatics (11) 1 p.385.
5. N. Chabrier-Rivier, M. Chiaverini, V. Danos, F. Fages, V. Schachter, 2004. Modeling and querying biomelecular interaction networks. Theor. Comput. Sci. (325) 1 p.25-44.
6. P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas, H. de Jong, 2008. Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics. (24) 16. p.i227-i223.
7. J. Fromentin, J.-P. Comet, P. Le Gall, O. Roux, 2007. Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking. EMBC07, 29th IEEE EMBS Annual International Conference, August p.23-26, p.4595-4598.
8. G. Bernot, J-P. Comet, A. Richard, J. Guespin, 2004. Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol. 229(3), 339-347. (Pubitemid 38844938)
9. G. Batt, M. Page, I. Cantone, G. Goessler, P. Monteiro, H. de Jong, 2010. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26 (18): i603-i610.
10. I. Cantone, L. Marucci, F. Iorio, M. A. Ricci, et al., 2009. A yeast synthetic network for in vivo assessment of reverse-engeneering and modeling approaches. Cell 137, p.172-181.
11. I. Shmulevich, W. Zhang, 2002. Binary analysis and optimization-based normalization of gene expression data. Bioinformatics, Vol.18 no.4 p.555-565. (Pubitemid 34521045)
12. E.S. Dimitrova, J.J. McGee, R.C. Laubenbacher, 2005. Discretization of Time Series Data. Journal of computational biology a journal of computational molecular cell biology 17, p.853-868.
13. E. Dimitrova, L.D. Garcia-Puente, F. Hinkelmann, A.S. Jarrah, R. Laubenbacher, B. Stigler, M. Stillman, P. Vera-Licona, 2009. Parameter estimation for Boolean models of biological networks. Theoretical Computer Science, p.1-19.
14. C. Muessel, M. Hopfensitz, D. Zhou, H. Kestler, 2010. R package 'BoolNet'. CRAN repository: http://cran.r-project.org/web/packages/BoolNet.
15. M. Huth, M. Ryan, 2000. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge.
16. A. Ciamatti, E.M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pisotre, M. Roveri, R. Sebastiani, A. Tacchella, 2002. NuSMV2: An OpenSource Tool for Symbolic Model Checking. In Proceedings of International Conference on Computer-Aided Verification (CAV 2002). Copenhagen Denmark, p.27-31.