The Wnt/β-catenin signalling pathway plays an important role in the proliferation of neural cells, and hence it is the main focus of several research aimed at understanding neurodegenerative pathologies. In this paper we consider a compact model of the basic mechanisms of the Wnt/β-catenin pathway and we analyse its dynamics by application of an expressive temporal logic formalism, namely the Hybrid Automata Stochastic Logic. This allows us to formally characterise, and effectively assess, sophisticated aspects of the Wnt/β-catenin pathway dynamics.
CITATION STYLE
Ballarini, P., Gallet, E., Le Gall, P., & Manceny, M. (2014). Formal analysis of the Wnt/β-catenin pathway through statistical model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8803, pp. 193–207). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_14
Mendeley helps you to discover research relevant for your work.