Simulation and verification for computational modelling of signalling pathways. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Oksana Tymchyshyn; John Heath; Eamonn A. Gaffney (WSC, 2006)

Coherency Hub Design for Multi-Node Victoria Falls Server Systems. - John R. Feehrer; Paul Rotker; Milton Shih; Paul Gingras; Peter Yakutis; Stephen Phillips; John Heath; Sebastian Turullols (Hot Interconnects, 2008)

Probabilistic model checking of complex biological pathways. - John Heath; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Oksana Tymchyshyn (Theor. Comput. Sci., 2008)

Coherency Hub Design for Multisocket Sun Servers with CoolThreads Technology. - John R. Feehrer; Paul Rotker; Milton Shih; Paul Gingras; Peter Yakutis; Stephen Phillips; John Heath (IEEE Micro, 2009)