Oksana Tymchyshyn

According to our database, Oksana Tymchyshyn authored at least 3 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Probabilistic model checking of complex biological pathways.

John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn

Theor. Comput. Sci., 2008

Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.

Oksana Tymchyshyn, Marta Z. Kwiatkowska

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2006

Simulation and verification for computational modelling of signalling pathways.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney

Proceedings of the Winter Simulation Conference WSC 2006, 2006