Oksana Tymchyshyn

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Oksana Tymchyshyn, Marta Z. Kwiatkowska
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. FMSB (2008)
John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391 (3) (2008)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney
Simulation and verification for computational modelling of signalling pathways. WSC (2006)
John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
Probabilistic Model Checking of Complex Biological Pathways. CMSB (2006)