| 2008 |
|---|
| 4 | EE | Oksana Tymchyshyn,
Marta Z. Kwiatkowska:
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.
FMSB 2008: 63-76 |
| 3 | EE | John Heath,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn:
Probabilistic model checking of complex biological pathways.
Theor. Comput. Sci. 391(3): 239-257 (2008) |
| 2006 |
|---|
| 2 | EE | John Heath,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn:
Probabilistic Model Checking of Complex Biological Pathways.
CMSB 2006: 32-47 |
| 1 | EE | Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn,
John Heath,
Eamonn Gaffney:
Simulation and verification for computational modelling of signalling pathways.
Winter Simulation Conference 2006: 1666-1674 |
