2008 |
5 | | Sándor Molnár,
John Heath:
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 | EE | 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 | EE | 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 | EE | John Heath,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Oksana Tymchyshyn:
Probabilistic Model Checking of Complex Biological Pathways.
CMSB 2006: 32-47 |
1 | EE | 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 |