John Heath

	2008
5		Sándor Molnár, John Heath, Olivier Dalle, Gabriel A. Wainer: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008 ICST 2008
4		John R. Feehrer, Paul Rotker, Milton Shih, Paul Gingras, Peter Yakutis, Stephen Phillips, John Heath, Sebastian Turullols: Coherency Hub Design for Multi-Node Victoria Falls Server Systems. Hot Interconnects 2008: 43-50
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)
	2006
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

Coauthor Index

1	Olivier Dalle	[5]
2	John R. Feehrer	[4]
3	Eamonn Gaffney	[1]
4	Paul Gingras	[4]
5	Marta Z. Kwiatkowska	[1] [2] [3]
6	Sándor Molnár	[5]
7	Gethin Norman	[1] [2] [3]
8	David Parker	[1] [2] [3]
9	Stephen Phillips	[4]
10	Paul Rotker	[4]
11	Milton Shih	[4]
12	Sebastian Turullols	[4]
13	Oksana Tymchyshyn	[1] [2] [3]
14	Gabriel A. Wainer	[5]
15	Peter Yakutis	[4]

Colors in the list of coauthors