| EP/L00738X/1 | Intelligent Management of Big Data Storage | (P) |
| EP/I030921/1 | Approximate product-forms and reversed processes for performance analysis (APROPOS) | (P) |
| EP/G050724/1 | COMPOSITIONAL ANALYSIS OF MARKOVIAN PROCESS ALGEBRA (CAMPA) | (P) |
| EP/F048726/1 | Fluid Approximations for Quantitative Analysis | (P) |
| EP/F010192/1 | Intelligent Performance Optimisation of Virtualised Data Storage Systems (iPODS) | (C) |
| EP/D061717/1 | Market Models for Grid Computing | (P) |
| EP/D047587/1 | Separability and Response Times in Stochastic Models (SPARTACOS) | (P) |
| GR/S45140/01 | Product-forms from Markovian Process Algebra (PRO-FORMA) | (P) |
| GR/S27849/01 | Risk Management for Queueing Systems | (P) |
| GR/S24961/01 | Passage Times in Large Markov and Semi-Markov Chains (PASTRAMI) | (C) |
| GR/R02238/01 | The Mechanical Extraction of Performance Models From Uml Specifications (Emu) | (C) |
| GR/N16068/01 | MM CPP/GE/C/L G-QUEUES AND NETWORKS (MEGAN) | (P) |
| GR/M80826/01 | QUANTITATIVE ANALYSIS OF THE INTERNET (QUAINT) | (P) |
| GR/L10222/01 | COMPUTER SYSTEM MODELLING VIA MARKOVIAN PROCESS ALGEBRA (COMPA) | (P) |
| GR/L06744/01 | PERFORMANCE MODELLING OF CLIENT-SERVER SYSTEMS (PERMOCS) | (P) |
| GR/K67809/01 | PERFORMANCE MODELLING AND EVALUATION OF B-ISDNS | (C) |
| GR/K68967/01 | PERFORMANCE MODELLING AND EVALUATION OF B-ISDNS | (P) |
| GR/J13755/01 | QUANTITATIVE DESIGN OF LARGE NETWORKS OF POLLING STATIONS | (P) |
| GR/H46244/01 | PERFORMANCE MODELLING OF PARALLEL AND DISTRIBUTED SYSTEMS | (P) |
| GR/H18111/01 | ALGEBRAIC PROGRAM TRANSFORMATION FOUNDATIONS AND APPLICATION TO PARALLEL COMPUTATION | (P) |
| GR/H46299/01 | COMMUNICATION-INTENSIVE MASSIVELY-PARALLEL ALGORITHMS | (C) |
| GR/F04919/01 | THE THEORY AND PRACTICE OF TRANSFORMATIONAL PROGRAMMING | (C) |
| GR/F36903/01 | THE EXPLOTATION OF PARALLEL HARDWARE USING FUNCTIONAL LANGUAGES AND PROGRAM TRANSFORMATION | (C) |
| GR/E54986/01 | ANALYSTICAL MODELLING OF LARGE-SCALE PARALLEL MACHINES | (P) |