Systems Biology Journal Club
Meetings are held on Fridays at 3pm in BC355. For further details please contact
Probabilistic Model Checking of Complex Biological Pathways
by J.K. Heath, M. Kwiatkowska, G. Norman, D. Parker, and O. Tymchyshyn.
Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets
by L. J. Steggles, R. Banks, and A. Wipat.
Application of Formal Methods to Biological Regulatory Networks: Extending Thomas' Asynchronous Logical Approach with Temporal Logic
by G. Bernot, J.P. Comet, A. Richard, and J. Guespin.
The Pathalyzer: a Tool for Analysis of Signal Transduction Pathways
by D.L. Dill, M.A. Knapp, P. Gage, C. Talcott, K. Laderoute, and P. Lincoln.
Rewriting Game Theory as a Foundation for State-Based Models of Gene Ragulation
by C. Chettaoui, F. Delaplace, P. Lescanne, M. Vestergaard, and R. Vestergaard.
Stronger Computational Modelling of Signalling Pathways using both Continuous and Discrete-State Methods
by M. Calder, A. Duguid, S. Gilmore, and J. Hillston.
Modelling of Biochemical Reactions by Stochastic Automata Networks
by V. Wolf.
Mathematical Modeling of Planar Cell Polarity to Understand Domineering Nonautonomy
by K. Amonlirdviman, N. A. Khare, D. R. P. Tree, W.-S. Chen, J. D. Axelrod, and C. J. Tomlin.