Staff Profile
Dr Nigel Thomas
Reader in Performance Engineering
- Email: nigel.thomas@ncl.ac.uk
- Telephone: +44 191 208 8182
- Address: Room 3.038,
School of Computing,
Urban Sciences Building,
1 Science Square,
University of Newcastle upon Tyne,
Newcastle upon Tyne, NE1 7RU
United Kingdom
Introduction
I am Associate Dean for Postgraduate Research in the SAgE Faculty.
I joined the School of Computing Science in January 2004 from the University of Durham, where I had been a lecturer since 1998. I was promoted to reader in 2009. My research interests lie in scalable performance analysis for networks, distributed algorithms, Cloud and IoT using queueing theory, stochastic process algebra and simulation. See my Google Scholar Citations page.
I was awarded a PhD in 1997 and an MSc in 1991, both from the University of Newcastle upon Tyne. I have previously held a number of positions of responsibility within the School, including Deputy Head of School, Director of Teaching and Director of Postgraduate Studies.
I currently supervise 5 research students and I am always interested in further self-financed international students for the Integrated PhD in Computer Science. Research topics of interest are listed below, please contact me for further information.
I am interested in the application of performance modelling to a variety of different problem areas. My preferred approach is to use stochastic process algebra, but I have also used queueing theory, stochastic Petri nets, discrete event simulation and trace-driven simulation. Different applications require different techniques for model specification and analysis. The challenge is forming the right models for a given problem and applying and developing appropriate analysis techniques. Some areas of current interest are listed here (in no particular order), but this is by no means exhaustive. Each area will have a number of possible projects.
1. Performance modelling of secure systems.
Security measures impose a performance overhead, as more work needs to be done in order to perform operations such as authentication, encryption and recording transactions. Understanding this overhead is vital in order to make intelligent choices in the design of secure systems. Of particular novel interest is the performance effect of attacks against the system. Choosing the right management policy (e.g. encryption key management) and a good protocol enables the system to maintain an acceptable performance even when under attack.
2. Energy management in large scale systems.
Energy is a significant cost in the provision of large scale computing platforms, such as cloud computing. This cost is both environmental (CO2 output) and financial (£'s, €'s, $'s). Managing the level of resource provision to handle the service demand can help to limit the amount of energy used and hence decrease costs. However, it is not a simple matter to predict what demand will be in future. One approach is to form adaptive policies which react to changing demand. Different policies will work in different situations and are highly sensitive to the tuning of particular parameters.
3. Wireless network performance analysis.
Wireless networks are used for a wide range of applications in a wide range of operating scenarios. Clearly it is infeasible to expect that a given network protocol will perform well in all situations, as protocol are typically designed to perform well in respect to a limited set of performance metrics under a limited set of operating conditions. It is therefore necessary to understand the limitations of such protocols in terms of factors such as fairness and energy, when the network topology is sub-optimal or where nodes are misbehaving, for example when compromised due to infection by a virus or a fault, or subject to a denial of service attack.
4. Electric vehicle performance and planning.
Electric vehicles are rapidly developing to become the a significant part of a low carbon transport provision. However, at present, infrastructure and technology is still evolving, leading to issues such as range anxiety and recharging planning. Modelling these systems can provide insight into battery state of charge prediction and efficient journey planning.
- Jari H, Alzahrani A, Thomas N. A Novel Indirect Trust Mechanism for Addressing Black hole Attacks in MANET. In: DIVANet '21: 11th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications. 2021, Online: ACM.
- Alateef S, Thomas N. Energy consumption estimation for electric vehicles using routing API data. In: 37th Annual UK Performance Engineering Workshop. 2021, Online.
- Alssaiari A, Thomas N. Energy Consumption of TAGS in a Heterogeneous Environment under Unknown Service Demand. Sustainable Computing: Informatics and Systems 2021, 30, 100557.
- Almutairi O, Thomas N. Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA. In: EPEW 2021: European Performance Engineering Workshop. 2021, Milan, Italy: Springer.
- Kamil SNS, Thomas N, Elsanosi I. Performance Evaluation of ZooKeeper Atomic Broadcast Protocol. In: EAI International Conference on Performance Evaluation Methodologies and Tools. 2021, Springer.
- Alhawas A, Thomas N. Abandonment Attack on the LEACH Protocol. In: European Performance Engineering Workshop (EPEW 2019). 2020, Milan: Springer.
- Alssaiari A, Thomas N. Energy Consumption by Servers under Unknown Service Demand. Electronic Notes in Theoretical Computer Science 2020, 353, 21-38.
- Alrowaithy M, Thomas N. Investigating the performance of lightweight cryptographic primitives in constrained devices. In: 36th Annual UK Performance Engineering Workshop. 2020.
- Alzahrani A, Jari H, Thomas N. Performance Evaluation of MANET Trust-based AODV Protocol in the Presence of Blackhole Attacks. In: 36th Annual UK Performance Engineering Workshop. 2020.
- Almutairi O, Thomas N. Performance modelling of the impact of cyber attacks on a web-based sales system. Electronic Notes in Theoretical Computer Science 2020, 353, 5-20.
- Alateef S, Thomas N. Trip driving cycle development and energy consumption estimation based on route API information for battery powered vehicles. In: 36th Annual UK Performance Engineering Workshop. 2020.
- Alrajeh O, Forshaw M, Thomas N. Virtual Machine Live Migration in Trace-driven Energy-Aware Simulation of High-Throughput Computing Systems. Sustainable Computing: Informatics and Systems 2020, 29(B), 100468.
- Chen X, Thomas N, Zhan T, Ding J. A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems. IEEE Access 2019, 7, 11708-11709.
- Alateef S, Thomas N. Battery Models Investigation and Evaluation Using a Power Demand Generated from Driving Cycles. In: 12th EAI International Conference on Performance Evaluation Methodologies and Tools. 2019, Palma de Mallorca, Spain: ACM.
- Alrowaithy M, Thomas N. Investigating the Performance of C and C++ Cryptographic Libraries. In: 12th EAI International Conference on Performance Evaluation Methodologies and Tools. 2019, Palma de Mallorca, Spain: ACM.
- Almutairi O, Thomas N. Performance Modelling of an Anonymous and Failure Resilient Fair-Exchange E-Commerce Protocol. In: ACM/SPEC International Conference on Performance Engineering. 2019, Mumbai, India: ACM.
- Alrajeh O, Forshaw M, McGough AS, Thomas N. Simulation of Virtual Machine Live Migration in High Throughput Computing Environments. In: IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT). 2019, Madrid: IEEE.
- Kamil S, Thomas N. Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing. Electronic Notes in Theoretical Computer Science 2018, 337, 105-117.
- Alotaibi M, Thomas N. Performance Impact of Misbehaving Voters. In: European Workshop on Performance Engineering EPEW 2018. 2018, Paris: Springer.
- Thomas N, Forshaw M, ed. Analytical and Stochastic Modelling Techniques and Applications. Springer, 2017.
- Mohamed S, Forshaw M, Thomas N. Automatic Generation of Distributed Run-time Infrastructure for Internet of Things (IoT). In: International Workshop on Engineering IoT Systems: Architectures, Services, Applications and Platforms. 2017, Gothenburg, Sweden.
- Chen X, Ding J, Thomas N. Dynamic Scheduling Policy for Patient Flow in a Smart Environment. Chinese Journal of Electronics 2017, 26(3), 530-536.
- Alrajeh O, Forshaw M, Thomas N. Machine learning models for predicting timely virtual machine live migration. In: Computer Performance Engineering: 14th European Workshop (EPEW 2017). 2017, Berlin: Springer.
- Alrajeh O, Forshaw M, Thomas N. Machine Learning Models for Predicting Timely Virtual Machine Live Migration. In: 14th European Workshop on Performance Engineering (EPEW). 2017, Berlin, Germany: Springer Verlag.
- Kamil SNS, Thomas N. Modelling and analysis of commit protocols with PEPA. In: Computer Performance Engineering: 14th European Workshop (EPEW 2017). 2017, Berlin: Springer.
- Alssaiari A, JM Gining RA, Thomas N. Modelling Energy Efficient Server Management Policies in PEPA. In: 3rd International Workshop on Energy-aware Simulation (ENERGY-SIM’17). 2017, L'Aquila, Italy: ACM.
- Mohamed S, Forshaw M, Thomas N, Dinn A. Performance and dependability evaluation of distributed event-based systems: a dynamic code-injection approach. In: ICPE '17: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering. 2017, L'Aquila, Italy: ACM.
- Chen X, Thomas N, Ding J. Performance modelling of patient flow scheduling through a formal method. Journal of Shanghai Jiaotong University (Science) 2017, 22(1), 66-71.
- Allen J, Forshaw M, Thomas N. Towards an accurate and scalable energy harvesting wireless sensor network simulator model framework. In: 3rd International Workshop on Energy-aware Simulation (ENERGY-SIM’17). 2017, L'Aquila, Italy: ACM.
- Alotaibi M, Thomas N. A Case Study in Formal Performance Evaluation of an E-Voting System Using PEPA. In: 32nd UK Performance Engineering Workshop. 2016, University of Bradford.
- Abdullah CO, Thomas N. A PEPA Model of IEEE 802.11b/g with Hidden Nodes. In: 13th European Performance Engineering Workshop (EPEW). 2016, Chios, Greece: Springer.
- Forshaw M, McGough AS, Thomas N. HTC-Sim: a trace-driven simulation framework for energy consumption in high-throughput computing systems. Concurrency and Computation: Practice and Experience 2016, 28(12), 3260-3290.
- Abdullah CO, Thomas N. Modelling Unfairness in IEEE 802.11 g Networks with Variable Frame Length. In: 23rd International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA). 2016, Cardiff: Springer.
- Chen X, Wang LM, Ding J, Thomas N. Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment. IEEE Access 2016, 4, 135-148.
- Alssaiari A, Thomas N. Performance Modelling of Dynamic Server Allocation for Energy Efficiency using PEPA. In: 32nd UK Performance Engineering Workshop. 2016, University of Bradford.
- Abdullah C, Thomas N. Performance Modelling of IEEE 802.11 g Wireless LAN. In: 9th EAI International Conference on Performance Evaluation Methodologies and Tools. 2016, Berlin, Germany: ICST.
- Zhao Y, Thomas N. Performance Modelling of Optimistic Fair Exchange. In: 23rd International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA). 2016, Cardiff: Springer.
- Zhao Y, Thomas N. Performance Modelling of Optimistic Fair Exchange. In: 23rd International Conference, ASMTA 2016. 2016, Cardiff, UK: Springer.
- Alrajeh O, Forshaw M, Thomas N. Performance of Virtual Machine Live Migration with Various Workloads. In: 32nd UK Performance Engineering Workshop. 2016, University of Bradford.
- Haverkort B, Knottenbelt W, Remke A, Thomas N. Preface: The 8th International Workshop on Practical Application of Stochastic Modeling. Electronic Notes in Theoretical Computer Science 2016, 327, 1-3.
- Llwaah F, Cala J, Thomas N. Simulation of Runtime Performance of Big Data Workflows on the Cloud. In: 13th European Performance Engineering Workshop (EPEW). 2016, Chios, Greece: Springer.
- Forshaw M, McGough AS, Thomas N. The case for energy-aware simulation and modelling of internet of things (IoT). In: 2nd International Workshop on Energy-Aware Simulation. 2016, Waterloo, Ontario, Canada: ACM Digital Library.
- Sokolowski M, Thomas N. The effect of mobility on connectivity in MANETs. In: 32nd UK Performance Engineering Workshop. 2016, University of Bradford.
- Kamil SNS, Thomas N. A case study in inspecting the cost of security in cloud computing. Electronic Notes in Theoretical Computer Science 2015, 318, 179-196.
- Kamil S, Thomas N. A performance model of the Trusted Cloud Computing Platform VM Launch Protocol. In: 9th EAI International Conference on Performance Evaluation Methodologies and Tools. 2015, Berlin: ICST.
- Kamil S, Thomas N. An Empirical Study Comparing the PEPA Eclipse Plug-in and GPA Tools. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1478.
- Alrajeh O, Thomas N. Energy Consumption of Scheduling Policies for HTC jobs in the Cloud. In: SIMUTools '15 Proceedings of the 8th International Conference on Simulation Tools and Techniques. 2015, Athens, Greece: ACM.
- Forshaw M, McGough AS, Thomas N. Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems. Electronic Notes in Theoretical Computer Science 2015, 310, 65-90.
- Abdullah C, Thomas N. Formal Performance Modelling and Analysis of IEEE 802.11 Wireless LAN Protocols. In: UK Performance Engineering Workshop. 2015, Leeds, UK: University of Leeds.
- Llwaah F, Thomas N, Cala J. Improving MCT scheduling algorithm to reduce the makespan and cost of workflow execution in the cloud. In: UK Performance Engineering Workshop. 2015, Leeds, UK: University of Leeds.
- Nguyen TH, Forshaw M, Thomas N. Operating policies for energy efficient dynamic server allocation. Electronic Notes in Theoretical Computer Science 2015, 318, 159-177.
- Kamil SNS, Thomas N. Performance analysis of the Trusted Cloud Computing Platform. In: UK Performance Engineering Workshop. 2015, University of Leeds, UK.
- Sheikh A, Thomas N. Resource Allocation in Cloud Computing Environments. In: UK Performance Engineering Workshop. 2015, Leeds, UK: University of Leeds.
- Bradley J, Forshaw M, Stefanek A, Thomas N. Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System. Electronic Notes in Theoretical Computer Science 2015, 318, 5-17.
- Forshaw M, Thomas N, McGough AS. Trace-driven simulation for energy consumption in High Throughput Computing systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1450.
- Forshaw M, McGough AS, Thomas N. Energy-efficient checkpointing in high-throughput cycle-stealing distributed systems. In: Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM). 2014, Newcastle upon Tyne, UK: Elsevier BV.
- Forshaw M, McGough AS, Thomas N. On energy-efficient checkpointing in high-throughput cycle-stealing distributed systems. In: SMARTGREENS 2014 - Proceedings of the 3rd International Conference on Smart Grids and Green IT Systems. 2014, Barcelona, Spain: SciTePress.
- Forshaw M, McGough AS, Thomas N. On Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems. In: 3rd International Conference on Smart Grids and Green IT Systems (SMARTGREENS) 2014. 2014, Barcelona.
- Nguyen T, Forshaw M, Thomas N. Operating policies for energy efficient dynamic server allocation. In: 30th Annual UK Performance Engineering Workshop (UKPEW 2014). 2014, Newcastle University, Newcastle upon Tyne, UK.
- Forshaw M, Thomas N, McGough AS. Trace-Driven Simulation for Energy Consumption in High Throughput Computing Systems. In: IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications. 2014, Toulouse, France: IEEE.
- Thomas N. A product-form solution for on-off components in PEPA. In: 7th International Working Conference on Performance and Security Modelling & Evaluation of Cooperative Heterogeneous Networks (HET-NETS 2013). 2013, Ilkley, UK: IFIP (International Federation of Information Processing).
- Younes O, Thomas N. Modelling and performance analysis of multi-hop ad hoc networks. Simulation: Practice and Theory 2013, 38, 69-97.
- Thomas N, Zhao Y. Performance modelling of security protocols. In: 7th International Working Conference on Performance and Security Modelling & Evaluation of Cooperative Heterogeneous Networks (HET-NETS 2013). 2013, Ilkley, UK: IFIP (International Federation of Information Processing).
- Bradley JT, Heljanko K, Knottenbelt WJ, Thomas N. Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC). Electronic Notes in Theoretical Computer Science 2013, 296, 1-5.
- Thomas N, Harrison PG. Semi-Product-Form Solution for PEPA Models with Functional Rates. In: Analytical and Stochastic Modeling Techniques and Applications 20th International Conference. 2013, Ghent, Belgium: Springer Berlin Heidelberg.
- Bradley JT, Forshaw M, Stefanek A, Thomas N. Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System. In: UK Performance Engineering Workshop. 2013, Loughborough, UK.
- Forshaw M, Thomas N. A Novel Approach to Energy Efficient Content Distribution with BitTorrent. In: Computer Performance Engineering: EPEW/UKPEW. 2012, Edinburgh, UK: Springer.
- Younes O, Thomas N. A Path Connection Availability Model for MANETs with Random Waypoint Mobility. In: Computer Performance Engineering: EPEW/UKPEW. 2012, Munich, Germany: Springer.
- Gilly K, Juiz C, Thomas N, Puigjaner R. Adaptive admission control algorithm in a QoS-aware web system. Information Sciences 2012, 199, 58-77.
- Thomas N, Harrison M, Zhao Y, Chen X. From Protocols to People: Large Scale Analysis in Markovian Process Algebra. In: Computer Performance Engineering: EPEW/UKPEW 2012. 2012, Edinburgh, UK: Springer.
- Bradley J, Thomas N, Hayden R, Stefanek A. Invited Response to Computer Journal Lecture by Prof. Jane Hillston. Computer Journal 2012, 55(7), 882-886.
- Younes O, Thomas N. SRN Models for Analysis of Multihop Wireless Ad Hoc Networks. In: Computer Performance Engineering: EPEW/UKPEW. 2012, Edinburgh, UK: Springer.
- Kim K, Thomas N. A fitting method with generalized Erlang distributions. Simulation Modelling Practice and Theory 2011, 19(7), 1507-1517.
- Zhao Y, Thomas N. A Simplified Solution of a PEPA Model of Kerberos Protocol. In: 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC). 2011, Beijing, China: IEEE Computer Society.
- Younes O, Thomas N. An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes. The Computer Journal 2011, 54(6), 875-893.
- Thomas N, Bradley J. Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra. In: Kouvatsos, D, ed. Handbook on Convergent Multi-Service Networks and Next Generation Internet. Berlin; New York: Springer, 2011, pp.331-342.
- Younes O, Thomas N. Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility. Electronic Notes in Theoretical Computer Science 2011, 275, 143-158.
- Thomas N, ed. Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings. Berlin, Germany: Springer, 2011.
- Thomas N, Bradley J, Knottenbelt W, Kounev S, Huber N, Brosig F. Fifth International Workshop on the Practical Application of Stochastic Modelling. Electronic Notes in Theoretical Computer Science 2011, 275, 1-3.
- Thomas N, Zhao Y. Mean value analysis for a class of PEPA models. The Computer Journal 2011, 54(5), 643-652.
- Chen X, Thomas N, Harrison M. Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. In: International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC. 2011, Beijing, China: IEEE.
- Harrison P, Thomas N. Product-Form Solution in PEPA via the Reversed Process. In: Kouvatsos, D, ed. Network Performance Engineering: A Handbook on Convergent Multi-Service Networks and Next Generation Internet. Berlin; New York: Springer-Verlag, 2011, pp.343-356.
- Zhao Y, Thomas N. Efficient solutions of a PEPA model of a key distribution centre. Performance Evaluation 2010, 67(8), 740-756.
- Chen X, Thomas N. Performance Evaluation of Scheduling in a Smart Environment. In: 26th UK Performance Engineering Workshop. 2010, University of Warwick, UK.
- Bradley J, Dingle N, Harder U, Knottenbelt W, Thomas N. Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling (PASM 2009). Electronic Notes in Theoretical Computer Science 2010, 261, 1-4.
- Thomas N, Marin A, Harrison P. Semi-product-form solution for models with state dependent rates. In: 9th Workshop on Process Algebra and Stochastically Timed Activities. 2010, London, UK.
- Younes O, Thomas N. SRN model for IEEE 802.11 DCF MAC Protocol in Multi-hop Ad Hoc Networks with Hidden Nodes. In: 26th UK Performance Engineering Workshop. 2010, University of Warwick, UK.
- Harrison P, Thomas N. State dependent rates and semi-product form via the reversed process. In: Computer Performance Engineering: 7th European Performance Engineering Workshop. 2010, Bertinorio, Italy: Springer Verlag.
- Zhao Y, Thomas N. Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols. In: 15th International Conference on Parallel and Distributed Systems. 2009, Shenzhen, Guangdong, China: IEEE Computer Society.
- Zhao Y, Thomas N. Efficient Analysis of PEPA model of Non-repudiation Protocols. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1181.
- Slegers J, Mitrani I, Thomas N. Evaluating the optimal server allocation policy for clusters with on/off sources. Performance Evaluation 2009, 66(8), 453-467.
- Zhao Y, Thomas N. Experience of using the PEPA performance Modelling Tool for a Non-repudiation Protocol. In: The European Simulation and Modelling Conference (ESM). 2009, Leicester, UK: EUROSIS-ETI.
- Thomas N, Zhao Y. Mean value analysis for a class of PEPA models. In: Computer Performance Engineering: 6th European Performance Engineering Workshop. 2009, London, UK: Springer.
- Chen X, Thomas N. Performance of Novel Scheduling Strategies. In: 25th UK Performance Engineering Workshop. 2009, University of Leeds: School of Computing.
- Thomas N, Bradley J, Knottenbelt W. Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling (PASM 2008). Electronic Notes in Theoretical Computer Science 2009, 232, 1-3.
- Younes O, Elkilani W, Thomas N. SRN Model for Performance Evaluation of TCP Sessions Sharing Bottleneck Links in WAN. In: 23rd European Simulation Multiconference. 2009, Leicester, UK: Eurosis.
- Zhao Y, Thomas N. A Cost Model Analysis of a Secure Key Distribution Centre. In: Proceedings of the 9th International Conference for Young Computer Scientists, November 18-21, 2008, Zhang Jia Jie, Hunan, China. 2008, IEEE Computer Society.
- Zhao Y, Thomas N. Approximate solution of a PEPA model of a key distribution centre. In: Performance Evaluation: Metrics, Models and Benchmarks. SPEC International Performance Evaluation Workshop (SIPEW). 2008, Darmstadt, Germany: Springer-Verlag.
- Thomas N. Comparing job allocation schemes where service demand is unknown. Journal of Computer and System Sciences 2008, 74(6), 1067-1081.
- Thomas N, Juiz C, ed. Computer Performance Engineering: 5th European Performance Engineering Workshop (EPEW). 24-25 Spetember 2008. Palma de Mallorca, Spain. Berlin, Germany: Springer-Verlag, 2008.
- Slegers J, Thomas N, Mitrani I. Dynamic Server Allocation for Power and Performance. In: Performance Evaluation: Metrics, Models and Benchmarks. SPEC International Performance Evaluation Workshop (SIPEW). 2008, Darmstadt, Germany: Springer-Verlag.
- Zhao Y, Thomas N. Efficient solutions of a PEPA model of key distribution centre with a cost function. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1112.
- Thomas N, Zhao Y. Fluid flow analysis of a model of a secure key distribution centre. In: 24th UK Performance Engineering Workshop. 2008, London, UK: UKPEW.
- Thomas N. Mean value analysis for a class of PEPA models. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1128.
- Thomas N, Juiz C. Preface. In: Computer Performance Engineering: 5th European Performance Engineering Workshop (EPEW). 2008, Palma de Mallorca, Spain: Springer.
- Gilly K, Thomas N, Juiz C, Puigjaner R. Scalable QoS content-aware load balancing algorithm for a Web Switch based on classical policies. In: Proceedings: 22nd International Conference on Advanced Information Networking and Applications, AINA. 2008, Okinawa: IEEE.
- Slegers J, Mitrani I, Thomas N. Static and dynamic server allocation in systems with on/off sources. Annals of Operations Research 2008, 170(1), 251-263.
- Thomas N. Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1129.
- Zhao Y, Thomas N. Modelling secure secret key exchange using stochastic process algebra. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1041.
- Zhao Y, Thomas N. Modelling secure secret key exchange using stochastic process algebra. In: 23rd UK Performance Engineering Workshop. 2007, Edge Hill University, Ormskirk, UK: Edge Hill University.
- Slegers J, Mitrani I, Thomas N. Optimal Dynamic Server Allocation in Systems with On/Off Sources. In: Formal Methods and Stochastic Models for Performance Evaluation. Fourth European Performance Engineering Workshop (EPEW). 2007, Berlin, Germany: Springer-Verlag.
- Thomas N. Approximation in non-product form finite capacity queue systems. Future Generation Computer Systems 2006, 22(7), 820-827.
- Lamprecht C, van Moorsel A, Tomlinson P, Thomas N. Investigating the efficiency of cryptographic algorithms in online transactions. International Journal of Simulation: Systems, Science & Technology 2006, 7(2), 63-75.
- Thomas N. Modelling job allocation where service duration is unknown. In: 20th International Parallel and Distributed Processing Symposium, IPDPS 2006. 2006, Rhodes Island, Greece: IEEE.
- Dick S, Thomas N. Performance Analysis of PGP. In: 22nd UK Performance Engineering Workshop. 2006, Bournemouth University.
- Bradley JT, Gilmore ST, Thomas N. Performance analysis of Stochastic Process Algebra models using Stochastic Simulation. In: 20th International Parallel and Distributed Processing Symposium (IPDPS). 2006, Rhodes Island, Greece: IEEE.
- Thomas N. Preface. Electronic Notes in Theoretical Computer Science 2006, 151(3), 1-3.
- Slegers J, Mitrani I, Thomas N. Server allocation in Grid systems with on/off sources. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 982.
- Slegers J, Mitrani I, Thomas N. Server Allocation in Grid Systems with On/Off Sources. In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops. 2006, Sorrento, Italy: Springer-Verlag.
- Thomas N. Editorial: Grid performability. Computer Journal 2005, 48(3), 323-324.
- Thomas N. Performability of a secure electronic voting algorithm. Electronic Notes in Theoretical Computer Science 2005, 128(4), 45-58.
- Thomas N. Challenges and Opportunities in Grid Performability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 842.
- Bradley JT, Gilmore ST, Thomas N. How synchronisation strategy approximation in PEPA implementations affects passage time performance results. In: Applying Formal Methods: Testing, Performance, and M/E-Commerce. 2004, Toledo, Spain: Springer.
- Jarvis S, Thomas N, van Moorsel A. Open issues in grid performability. International Journal of Simulation: Systems, Science and Technology 2004, 5(5), 3-12.
- Thomas N, Bradley JT, Knottenbelt WJ. Semi-blind scheduling in a finite capacity system. In: UK Performance Engineering Workshop. 2004, University of Bradford.
- Thomas N, Bradley JT, Knottenbelt WJ. Stochastic analysis of scheduling strategies in a Grid-based resource model. IEE Proceedings: Software 2004, 151(5), 232-239.
- Thomas N, Bradley J, Thornley D. An approximate solution of PEPA models using substitution. IEE Proceedings - Computers and Digital Techniques 2003, 150(2), 67-74.
- Thomas N. Behavioural independence and control in PEPA. In: First Workshop on Process Algebra with Stochastic Timed Activities (PASTA). 2002, University of Edinburgh.
- Charters SM, Knight C, Thomas N, Munro M. Visualisation for Informed Decision Making: From Code to Components. In: Proceedings of 14th International Conference on Software Engineering and Knowledge Engineering. 2002, Ischia, Italy: ACM Press.
- Clark G, Gilmore S, Hillston J, Thomas N. Experiences with the PEPA Performance Modelling Tools. IEE Proceedings: Software 1999, 146(1), 11-19.
- Hillston J, Thomas N. Product Form Solution for a class of PEPA Models. Performance Evaluation 1999, 35(3-4), 171-192.
- Thomas N, Mitrani I. Approximate Solution of a Pipeline with Server Vacations. In: 12th European Simulation Multiconference: Simulation Past, Present and Future (ESM). 1998, Manchester, UK: SCS Publishing House.
- Thomas NA. [PhD Thesis] Performance and Reliability in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997.
- Thomas N, Mitrani I. Routing Among Different Nodes Where Servers Break Down Without Losing Jobs. In: 1st IEEE International Computer Performance and Dependability Symposium (IPDS). 1995, Erlangen, Germany: IEEE Computer Society Press.
- Thomas N, Mitrani I. Routing Among Servers with Breakdowns and Retained Queues. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 527.