John Heath (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 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)

2 John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47

1 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

Selection of 3 from 6 records - John Heath has 15 coauthors

3		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)
2		John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
1		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