Issue Date	Title	Author(s)
31-Jul-2009	Truncation of Passage-time Calculations in Semi-Markov Models	Guenther, MC; Bradley, JT; Dingle, NJ; Knottenbelt, WJ
1-Aug-2004	Uniformization and hypergraph partitioning for the distributed computation of response time in very large Markov models	Dingle, NJ; Harrison, PG; Knottenbelt, WJ
31-Jul-2008	A Universe-Type-Based Verification Technique for Mutable Static Fields and Methods (Work in Progress)	Summers, A; Drossopoulou, S; Müller, P
2004	Using the VOM portal to manage policy within globus toolkit, community authorisation service & ICENI resources	Saleem, A; Krznaric, M; Cohen, J; Newhouse, S; Darlington, J, et al
31-Jul-2008	Validation of Large Zoned RAID Systems	Lebrecht, A; Dingle, N; Knottenbelt, W
1-Dec-2006	Visualising dynamic memory allocators	Cheadle, AM; Field, AJ; Ayres, J; Dunn, N; Hayden, R, et al