John Heath

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

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) (2009)
John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391 (3) (2008)
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)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney
Simulation and verification for computational modelling of signalling pathways. WSC (2006)
John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
Probabilistic Model Checking of Complex Biological Pathways. CMSB (2006)