Newcastle University

Introduction

Nigel Thomas is Director of Teaching and Chair of the MSc Boards of Examiners in the School of Computing Science.

Nigel joined the School of Computing Science in January 2004 from the University of Durham, where he had been a lecturer since 1998. He was promoted to reader in 2009. His research interests lie in scalable performance analysis (see my personal homepage) in particular Markov modelling through queueing theory and stochastic process algebra. See also my Google Scholar Citations page.

Nigel was awarded a PhD in 1997 and an MSc in 1991, both from the University of Newcastle upon Tyne.

• Zhao Y, Thomas N. Mean value analysis for a class of PEPA models. The Computer Journal 2011, 54(5), 643-652.
• Kim K, Thomas N. A fitting method with generalized Erlang distributions and its matrix interpretation. Simulation Modelling Practice and Theory 2011, 19(7), 1507-1517.
• 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.
• Zhao Y, Thomas N. Efficient solutions of a PEPA model of a key distribution centre. Performance Evaluation 2010, 67(8), 740-756.
• 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.
• 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.
• 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.
• 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. Comparing job allocation schemes where service demand is unknown. Journal of Computer and System Sciences 2008, 74(6), 1067-1081.
• 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. Preface. Electronic Notes in Theoretical Computer Science 2006, 151(3), 1-3.
• Thomas N. Editorial: Grid performability. Computer Journal 2005. Oxford, UK: Oxford University Press, 48(3), 323-324.
• Thomas N. Performability of a secure electronic voting algorithm. Electronic Notes in Theoretical Computer Science 2005, 128(4), 45-58.
• 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. 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• Chen X, Thomas N. Performance Evaluation of Scheduling in a Smart Environment. In: 26th UK Performance Engineering Workshop. 2010, University of Warwick, UK.
• 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
• 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. Experiences of Using the PEPA Performance Modelling Tools with a non-repudiation protocol. In: The European Simulation and Modelling Conference (ESM). 2009, Leicester, UK: EUROSIS-ETI.
• Chen X, Thomas N. Performance of Novel Scheduling Strategies. In: 25th UK Performance Engineering Workshop. 2009, University of Leeds: School of Computing.
• 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. 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
• 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
• 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, 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.
• 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.
• Thomas N, Zhao Y. Fluid Flow Analysis of a Model of a Secure Key Distribution Centre. In: 24th UK Performance Engineering Workshop. 2008, Department of Computing, Imperial College London: UKPEW.
• 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.
• 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. 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.
• 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. 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. 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.
• Thomas N, Bradley JT, Knottenbelt WJ. Semi-blind scheduling in a finite capacity system. In: UK Performance Engineering Workshop. 2004, University of Bradford.
• 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.
• 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 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 NA. [PhD Thesis] Performance and Reliability in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997.
• 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, 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.