| 2019 | COCOA | Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty. | Jeremy T. Bradley, Dimitrios Letsios, Ruth Misener, Natasha Page |
| 2009 | ICTIR | PageRank: Splitting Homogeneous Singular Linear Systems of Index One. | Douglas Vincent de Jager, Jeremy T. Bradley |
| 2009 | MASCOTS | Shared Transaction Markov Chains for fluid analysis of massively parallel systems. | Richard A. Hayden, Jeremy T. Bradley |
| 2007 | SIGMETRICS | Asynchronous iterative solution for state-based performance metrics. | Douglas Vincent de Jager, Jeremy T. Bradley |
| 2006 | MASCOTS | Performance Trees: A New Approach to Quantitative Performance Specification. | Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt |
| 2004 | FORTE | How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. | Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas |
| 2003 | MASCOTS | Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. | Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt |
| 2000 | ICALP | A Matrix-based Method for Analysing Stochastic Process Algebras. | Jeremy T. Bradley, N. J. Davies |
| 2000 | ICALP | Approximating Variance in Non-product Form Decomposed Models. | Nigel Thomas, Jeremy T. Bradley |