Simulation and verification for computational modelling of signalling pathways. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Oksana Tymchyshyn; John Heath; Eamonn A. Gaffney (WSC, 2006)

Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. - Oksana Tymchyshyn; Marta Z. Kwiatkowska (FMSB, 2008)

Probabilistic model checking of complex biological pathways. - John Heath; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Oksana Tymchyshyn (Theor. Comput. Sci., 2008)