2008
- Coherency Hub Design for Multi-Node Victoria Falls Server SystemsJohn R. Feehrer, Paul Rotker, Milton Shih, Paul Gingras, Peter Yakutis, Stephen Phillips, John Heath, Sebastian Turullols. hoti 2008: 43-50 [doi]
- Probabilistic model checking of complex biological pathwaysJohn Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn. TCS, 391(3):239-257, 2008. [doi]
- Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008Sándor Molnár, John Heath, Olivier Dalle, Gabriel Andrés Wainer, editors, ICST, 2008.
2006