| 2006 |
|---|
| 6 | EE | Rashid Mehmood,
Jon Crowcroft,
Jaafar M. H. Elmirghani:
A Parallel Implicit Method for the Steady-State Solution of CTMCs.
MASCOTS 2006: 293-302 |
| 2005 |
|---|
| 5 | EE | Rashid Mehmood,
Jon Crowcroft,
Steven Hand,
Steven Smith:
Grid-level computing needs pervasive debugging.
GRID 2005: 186-193 |
| 2004 |
|---|
| 4 | EE | Marta Z. Kwiatkowska,
David Parker,
Yi Zhang,
Rashid Mehmood:
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.
MASCOTS 2004: 123-130 |
| 3 | EE | Rashid Mehmood:
Serial Disk-based Analysis of Large Stochastic Models.
Validation of Stochastic Systems 2004: 230-255 |
| 2002 |
|---|
| 2 | EE | Marta Z. Kwiatkowska,
Rashid Mehmood:
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling.
PAPM-PROBMIV 2002: 135-151 |
| 1 | EE | Marta Z. Kwiatkowska,
Rashid Mehmood,
Gethin Norman,
David Parker:
A Symbolic Out-of-Core Solution Method for Markov Models.
Electr. Notes Theor. Comput. Sci. 68(4): (2002) |
