John Heath

	2009
5		John R. Feehrer, Paul Rotker, Milton Shih, Paul Gingras, Peter Yakutis, Stephen Phillips, John Heath: Coherency Hub Design for Multisocket Sun Servers with CoolThreads Technology. IEEE Micro 29(4): 36-47 (2009)
	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	John R. Feehrer	[4] [5]
2	Eamonn Gaffney	[1]
3	Paul Gingras	[4] [5]
4	Marta Z. Kwiatkowska	[1] [2] [3]
5	Gethin Norman	[1] [2] [3]
6	David Parker	[1] [2] [3]
7	Stephen Phillips	[4] [5]
8	Paul Rotker	[4] [5]
9	Milton Shih	[4] [5]
10	Sebastian Turullols	[4]
11	Oksana Tymchyshyn	[1] [2] [3]
12	Peter Yakutis	[4] [5]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page