- Current Visitor
- Home page
- Current projects
- AMPS
- Analysis of Massively Parallel Stochastic Systems
- CAMPA
- Compositional Analysis of Markovian Process Algebra
An academic visitor to the group from September '09 to March '10, working with Peter Harrison on RCAT extensions.
Nigel is also PI on AMPS and lead researcher on the project at Newcastle University.
15 Publications
Book Chapter
- Modelling tools and techniques for the performance analysis of wireless protocols
![[PDF]](/images/icon-pdf-mini.png)
![[GZipped Postscript]](/images/icon-gzps-mini.png)
- Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen T. Gilmore, Nigel Thomas
- Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement
- September, 2007
Journal Articles
- Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model
![[Postscript]](/images/icon-ps-mini.png)
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
- IEE Proceedings - Software
- August, 2004
- An approximate solution of PEPA models using component substitution
- Nigel Thomas, Jeremy T. Bradley, David Thornley
- IEE Proceedings - Computers and Digital Techniques
- March, 2003
Conference and Workshop Papers
- Performance analysis of Stochastic Process Algebra models using Stochastic Simulation
- Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
- PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems
- March, 2006
- How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results
- Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
- EPEW'04, European Performance Evaluation Workshop
- September, 2004
- A novel approximated joint activity transition structure in a tandem feedback unreliable server queue
- David Thornley, Harf Zatschler, Nigel Thomas
- UKPEW'03
- June, 2003
- Approximate solution of a class of queueing networks with breakdowns
- Nigel Thomas, David Thornley, Harf Zatschler
- European Simulation Multiconference, Nottingham
- May, 2003
- Two Solution Methods for Models of Parallel Queues
- Nigel Thomas, Jeremy T. Bradley
- ESM'01, Fifteenth European Simulation Multiconference
- June, 2001
- Putting Quality of Service into a Network by making the Traffic Markovian
- Jeremy T. Bradley, Nigel Thomas
- ESM'01, Fifteenth European Simulation Multiconference
- May, 2001
- Approximating variance in non-product form decomposed models
- Nigel Thomas, Jeremy T. Bradley
- PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops.
- June, 2000
- Decomposing Models of Parallel Queues
- Nigel Thomas, Jeremy T. Bradley
- QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity
- June, 2000
Proceedings Edited
- Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling
- March, 2009
National Workshop Papers
- Stochastic Simulation Methods applied to a Secure Electronic Voting Model
- Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
- PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling
- June, 2005
- Semi-blind scheduling in a finite capacity system
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
- UKPEW'04, 20th Annual UK Performance Evaluation Workshop
- June, 2004
- An approximate solution of PEPA models using component substitution
- Nigel Thomas, Jeremy T. Bradley, David Thornley
- Eighteenth Annual UK Performance Engineering Workshop
- June, 2002
Information from pubs.doc.ic.ac.uk/authors/nthomas.
