Approximate Solution of a Pipeline with Server Vacations. - Nigel Thomas; Isi Mitrani (ESM, 1998)

Experiences with the PEPA performance modelling. - Graham Clark; Stephen Gilmore; Jane Hillston; Nigel Thomas (IEE Proc. Softw., 1999)

Product Form Solution for a Class of PEPA Models. - Jane Hillston; Nigel Thomas (Perform. Evaluation, 1999)

Approximating Variance in Non-product Form Decomposed Models. - Nigel Thomas; Jeremy T. Bradley (ICALP Satellite Workshops, 2000)

Visual representation of stochastic process algebra models. - Nigel Thomas; Malcolm Munro; Peter J. B. King; Rob Pooley (Workshop on Software and Performance, 2000)

Visualisation for informed decision making; from code to components. - Stuart M. Charters; Claire Knight; Nigel Thomas; Malcolm Munro (SEKE, 2002)

Approximation in Non-Product Form Multiple Queue Systems. - Nigel Thomas (IPDPS, 2003)

The end of the line for Software Visualisation? - Stuart M. Charters; Nigel Thomas; Malcolm Munro (VISSOFT, 2003)

How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. - Jeremy T. Bradley; Stephen T. Gilmore; Nigel Thomas (FORTE Workshops, 2004)

Performability of a Secure Electronic Voting Algorithm. - Nigel Thomas (PASM, 2004)

Stochastic analysis of scheduling strategies in a Grid-based resource model. - Nigel Thomas; Jeremy T. Bradley; William J. Knottenbelt (IEE Proc. Softw., 2004)

Editorial: Grid Performability - Nigel Thomas (Comput. J., 2005)

Preface. - Nigel Thomas (PASM@FM, 2005)

Performance analysis of stochastic process algebra models using stochastic simulation. - Jeremy T. Bradley; Stephen T. Gilmore; Nigel Thomas (IPDPS, 2006)

Modelling job allocation where service duration is unknown. - Nigel Thomas (IPDPS, 2006)

Server Allocation in Grid Systems with On/Off Sources. - Joris Slegers; Isi Mitrani; Nigel Thomas (ISPA Workshops, 2006)

Approximation in non-product form finite capacity queue systems. - Nigel Thomas (Future Gener. Comput. Syst., 2006)

Optimal Dynamic Server Allocation in Systems with On/Off Sources. - Joris Slegers; Isi Mitrani; Nigel Thomas (EPEW, 2007)

Scalable QoS Content-Aware Load Balancing Algorithm for a Web Switch Based on Classical Policies. - Katja Gilly; Nigel Thomas; Carlos Juiz; Ramón Puigjaner (AINA, 2008)

A Cost Model Analysis of a Secure Key Distribution Centre. - Yishi Zhao; Nigel Thomas (ICYCS, 2008)

Dynamic Server Allocation for Power and Performance. - Joris Slegers; Nigel Thomas; Isi Mitrani (SIPEW, 2008)

Approximate Solution of a PEPA Model of a Key Distribution Centre. - Yishi Zhao; Nigel Thomas (SIPEW, 2008)

Comparing job allocation schemes where service demand is unknown. - Nigel Thomas (J. Comput. Syst. Sci., 2008)

Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols. - Yishi Zhao; Nigel Thomas (ICPADS, 2009)

Static and dynamic server allocation in systems with on/off sources. - Joris Slegers; Isi Mitrani; Nigel Thomas (Ann. Oper. Res., 2009)

Preface. - Nigel Thomas; Jeremy T. Bradley; William J. Knottenbelt; Nicholas J. Dingle; Uli Harder (PASM@MASCOTS, 2009)

Evaluating the optimal server allocation policy for clusters with on/off sources. - Joris Slegers; Isi Mitrani; Nigel Thomas (Perform. Evaluation, 2009)

State-Dependent Rates and Semi-Product-Form via the Reversed Process. - Nigel Thomas; Peter G. Harrison (EPEW, 2010)

Efficient solutions of a PEPA model of a key distribution centre. - Yishi Zhao; Nigel Thomas (Perform. Evaluation, 2010)

Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. - Xiao Chen 003; Nigel Thomas; Michael D. Harrison (CyberC, 2011)

A Simplified Solution of a PEPA Model of Kerberos Protocol. - Yishi Zhao; Nigel Thomas (CyberC, 2011)

Mean value analysis for a class of PEPA models. - Nigel Thomas; Yishi Zhao (Comput. J., 2011)

An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes. - Osama Younes; Nigel Thomas (Comput. J., 2011)

Preface. - Nigel Thomas; Jeremy T. Bradley; William J. Knottenbelt; Samuel Kounev; Nikolaus Huber; Fabian Brosig (PASM@ICPE, 2011)

Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility. - Osama Younes; Nigel Thomas (PASM@ICPE, 2011)

A fitting method with generalized Erlang distributions. - Kyungsup Kim; Nigel Thomas (Simul. Model. Pract. Theory, 2011)

Product-Form Solution in PEPA via the Reversed Process. - Peter G. Harrison; Nigel Thomas (Network Performance Engineering, 2011)

Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra. - Nigel Thomas; Jeremy T. Bradley (Network Performance Engineering, 2011)

Scalable Stochastic Modelling for Resilience. - Jeremy T. Bradley; Lucia Cloth; Richard A. Hayden; Leïla Kloul; Philipp Reinecke; Markus Siegle; Nigel Thomas; Katinka Wolter (Resilience Assessment and Evaluation of Computing Systems, 2012)

A Novel Approach to Energy Efficient Content Distribution with BitTorrent. - Matthew Forshaw; Nigel Thomas (EPEW/UKPEW, 2012)

Formal Performance Modelling: From Protocols to People. - Nigel Thomas; Michael D. Harrison; Yishi Zhao; Xiao Chen 003 (EPEW/UKPEW, 2012)

A Path Connection Availability Model for MANETs with Random Waypoint Mobility. - Osama Younes; Nigel Thomas (EPEW/UKPEW, 2012)

SRN Models for Analysis of Multihop Wireless Ad Hoc Networks. - Osama Younes; Nigel Thomas (EPEW/UKPEW, 2012)

Invited Response to Computer Journal Lecture by Prof. Jane Hillston. - Jeremy T. Bradley; Nigel Thomas; Richard A. Hayden; Anton Stefanek (Comput. J., 2012)

Preface. - Jeremy T. Bradley; Keijo Heljanko; William J. Knottenbelt; Nigel Thomas (PASM/PDMC, 2012)

Adaptive admission control algorithm in a QoS-aware Web system. - Katja Gilly; Carlos Juiz; Nigel Thomas; Ramón Puigjaner (Inf. Sci., 2012)

Semi-Product-Form Solution for PEPA Models with Functional Rates. - Nigel Thomas; Peter G. Harrison (ASMTA, 2013)

Modelling and performance analysis of multi-hop ad hoc networks. - Osama Younes; Nigel Thomas (Simul. Model. Pract. Theory, 2013)

Trace-Driven Simulation for Energy Consumption in High Throughput Computing Systems. - Matthew Forshaw; Nigel Thomas; A. Stephen McGough (DS-RT, 2014)

Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System. - Jeremy T. Bradley; Matthew Forshaw; Anton Stefanek; Nigel Thomas (UKPEW, 2014)

Preface. - Jeremy T. Bradley; William J. Knottenbelt; Nigel Thomas (PASM, 2014)

Preface. - Peter Bull; Lin Guan 001; Nigel Thomas (UKPEW, 2014)

Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems. - Matthew Forshaw; Andrew Stephen McGough; Nigel Thomas (PASM, 2014)

A Case Study in Inspecting the Cost of Security in Cloud Computing. - Said Naser Said Kamil; Nigel Thomas (UKPEW, 2014)

Operating Policies for Energy Efficient Dynamic Server Allocation. - Thai Ha Nguyen; Matthew Forshaw; Nigel Thomas (UKPEW, 2014)

Energy consumption of scheduling policies for HTC jobs in the cloud. - Osama Nasser Alrajeh; Nigel Thomas (SimuTools, 2015)

Modelling Unfairness in IEEE 802.11g Networks with Variable Frame Length. - Choman Othman Abdullah; Nigel Thomas (ASMTA, 2016)

Performance Modelling of Optimistic Fair Exchange. - Yishi Zhao; Nigel Thomas (ASMTA, 2016)

A PEPA Model of IEEE 802.11b/g with Hidden Nodes. - Choman Othman Abdullah; Nigel Thomas (EPEW, 2016)

Simulation of Runtime Performance of Big Data Workflows on the Cloud. - Faris Llwaah; Jacek Cala; Nigel Thomas (EPEW, 2016)

Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment. - Xiao Chen 003; Liangmin Wang 001; Jie Ding 008; Nigel Thomas (IEEE Access, 2016)

HTC-Sim: a trace-driven simulation framework for energy consumption in high-throughput computing systems. - Matthew Forshaw; A. Stephen McGough; Nigel Thomas (Concurr. Comput. Pract. Exp., 2016)

A performance model of the Trusted Cloud Computing Platform VM Launch Protocol. - Said Naser Said Kamil; Nigel Thomas (EAI Endorsed Trans. Cloud Syst., 2016)

Performance Modelling of IEEE 802.11g Wireless LAN. - Choman Othman Abdullah; Nigel Thomas (EAI Endorsed Trans. Wirel. Spectr., 2016)

Preface. - Boudewijn R. Haverkort; William J. Knottenbelt; Anne Remke; Nigel Thomas (PASM, 2016)

Machine Learning Models for Predicting Timely Virtual Machine Live Migration. - Osama Nasser Alrajeh; Matthew Forshaw; Nigel Thomas (EPEW, 2017)

Modelling and Analysis of Commit Protocols with PEPA. - Said Naser Said Kamil; Nigel Thomas (EPEW, 2017)

Automatic Generation of Distributed Run-Time Infrastructure for Internet of Things. - Saleh Mohamed; Matthew Forshaw; Nigel Thomas (ICSA Workshops, 2017)

Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA. - Mohammed Alotaibi; Nigel Thomas (InfQ@VALUETOOLS, 2017)

Runtime Performance Prediction of Big Data Workflows with I/O-aware Simulation. - Faris Llwaah; Jacek Cala; Nigel Thomas (VALUETOOLS, 2017)

Towards an Extensible and Scalable Energy Harvesting Wireless Sensor Network Simulation Framework. - James Allen; Matthew Forshaw; Nigel Thomas (ICPE Companion, 2017)

Modelling Energy Efficient Server Management Policies in PEPA. - Ali Alssaiari; Ray Adderley Jm Gining; Nigel Thomas (ICPE Companion, 2017)

Performance and Dependability Evaluation of Distributed Event-based Systems: A Dynamic Code-injection Approach. - Saleh Mohamed; Matthew Forshaw; Nigel Thomas; Andrew E. Dinn (ICPE, 2017)

Preface. - Osama Nasser Alrajeh; Nigel Thomas (UKPEW, 2017)

Preface. - Matthew Forshaw; William J. Knottenbelt; Nigel Thomas; Katinka Wolter (PASM, 2017)

Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing. - Said Naser Said Kamil; Nigel Thomas (PASM, 2017)

Simulation of Virtual Machine Live Migration in High Throughput Computing Environments. - Osama Nasser Alrajeh; Matthew Forshaw; Andrew Stephen McGough; Nigel Thomas (DS-RT, 2018)

Performance Impact of Misbehaving Voters. - Mohammed Alotaibi; Nigel Thomas (EPEW, 2018)

Abandonment Attack on the LEACH Protocol. - Albatool Alhawas; Nigel Thomas (EPEW, 2019)

Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System. - Ohud Almutairi; Nigel Thomas (PASM, 2019)

Energy Consumption by Servers under Unknown Service Demand. - Ali Alssaiari; Nigel Thomas (PASM, 2019)

Preface. - Matthew Forshaw; Marco Gribaudo; William J. Knottenbelt; Nigel Thomas (PASM, 2019)

Battery Models Investigation and Evaluation Using a Power Demand Generated from Driving Cycles. - Saad Alateef; Nigel Thomas (VALUETOOLS, 2019)

Investigating the Performance of C and C++ Cryptographic Libraries. - Majed Alrowaithy; Nigel Thomas (VALUETOOLS, 2019)

Performance Modelling of an Anonymous and Failure Resilient Fair-Exchange E-Commerce Protocol. - Ohud Almutairi; Nigel Thomas (ICPE, 2019)

A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems. - Xiao Chen 003; Nigel Thomas; Tianming Zhan; Jie Ding 008 (IEEE Access, 2019)

Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA. - Ohud Almutairi; Nigel Thomas (EPEW, 2021)

A Novel Indirect Trust Mechanism for Addressing Black hole Attacks in MANET. - Hassan Jari; Ali Alzahrani; Nigel Thomas (DIVANet, 2021)

Performance Evaluation of ZooKeeper Atomic Broadcast Protocol. - Said Naser Said Kamil; Nigel Thomas; Ibrahim Elsanosi (VALUETOOLS, 2021)

Using Virtual Machine live migration in trace-driven energy-aware simulation of high-throughput computing systems. - Osama Nasser Alrajeh; Matthew Forshaw; Nigel Thomas (Sustain. Comput. Informatics Syst., 2021)

Energy consumption of TAGS in a heterogeneous environment under unknown service demand. - Ali Alssaiari; Nigel Thomas (Sustain. Comput. Informatics Syst., 2021)

Energy Consumption Estimation for Electric Vehicles Using Routing API Data. - Saad Alateef; Nigel Thomas (EPEW, 2022)

Modelling Performance and Fairness of Frame Bursting in IEEE 802.11n Using PEPA. - Choman Othman Abdullah; Nigel Thomas (PASM, 2022)

Performance Modelling of Attack Graphs. - Ohud Almutairi; Nigel Thomas (PASM, 2022)

Performance Evaluation of Global Trust Management in MANETs Routing Protocols. - Hassan Jari; Nigel Thomas (EPEW, 2023)

A State-Size Inclusive Approach to Optimizing Stream Processing Applications. - Paul Omoregbee; Matthew Forshaw; Nigel Thomas (EPEW, 2023)

Performance Evaluation of Beaconing Schemes for Vehicular Platooning. - Hassan Laghbi; Nigel Thomas (EPEW, 2024)

A quantitative analysis of the security of PoW-based blockchains. - Maher Alharby; Ali Alssaiari; Saad Alateef; Nigel Thomas; Aad van Moorsel (Clust. Comput., 2024)

Including Follower Dynamics in Beaconing for Platooning Safety. - Hassan Laghbi; Nigel Thomas (CoRR, 2025)