to appear

·          A. Argent-Katwala, J. Bradley, N. Geisweiller, S. Gilmore, N. Thomas, Tools for Performance Modelling of Wireless network protocols, in: G. Min, Y. Pan, P. Fan (eds.) Modeling and Simulation of Wireless Networks: Analysis, Evaluation and Enhancement of QoS for Wireless Multimedia, Nova Science, to appear.

 

 

2006

·          N. Thomas, Approximation in non-product form finite capacity queue systems, Future Generation Computer Systems, 22(7), pp. 820-827, 2006.

·          C. Lamprecht, A. van Moorsel, P. Tomlinson, N. Thomas, Investigating the efficiency of cryptographic algorithms in online transactions, International Journal of Simulation: Systems, Science and Technology, 7(2), pp. 63-75, 2006.

·          J. Slegers, I. Mitrani and N. Thomas, Static and Dynamic Server Allocation in Systems with On/Off Sources, EuroNGI Workshop on Stochastic Performance Models for Resource Allocation in Communication Systems, CWI Amsterdam, 2006.

·          J. Slegers, I. Mitrani and N. Thomas, Server Allocation in Grid Systems with On/Off Sources, in: Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops, LNCS 4331, pp. 897-906, Springer-Verlag, 2006.

·          N. Thomas, Modelling job allocation where service duration is unknown, in: Proceedings of 4th IEEE International Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems, 20th IEEE International Symposium on Parallel and Distributed Processing, IEEE Computer Society, April 2006.

·          J. Bradley, S. Gilmore and N. Thomas, Performance analysis of Stochastic Process Algebra models using Stochastic Simulation, in: Proceedings of 4th IEEE International Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems, 20th IEEE International Parallel and Distributed Processing Symposium, IEEE Computer Society, April 2006.

·          J. Slegers, C. Smith, I. Mitrani, A. van Moorsel and N. Thomas, Dynamic Operating Policies for Commercial Hosting Environments (poster presentation), in: Proceedings of the 4th UK e-Science All Hands Meeting, Nottingham, September 2006.

·          S. Dick and N. Thomas, Performance Analysis of PGP, in: Proceedings of the 22nd Annual UK Performance Engineering Workshop, Bournemouth University, July 2006.

·          J. Bradley, S. Gilmore and N. Thomas, Performance modelling of a secure e-voting algorithm, Workshop on e-Voting and e-Government in the UK, National e-Science Centre, February 2006.

·          N. Thomas, J. Bradley and W.J. Knottenbelt (eds.), Proceedings of the 2nd International Workshop on Practical Applications of Stochastic Modelling, Electronic Notes in Theoretical Computer Science, 151(3), 2006.

·          N. Thomas, Special Issue Editorial: Performance Engineering, International Journal of Simulation: Systems, Science and Technology, 7(2), pp. 1-2, 2006.

 

2005

·          N. Thomas, Performability of a secure electronic voting scheme, Electronic Notes in Theoretical Computer Science, 128(4), pp. 45-58, Elsevier, 2005.

·          N. Thomas, Modelling job allocation where service duration is unknown, 4th Workshop on Process Algebra and Stochastically Timed Activities, University of Edinburgh, 2005.

·          N. Thomas (ed.), Proceedings of the 21st UK Performance Engineering Workshop, School of Computing Science Technical Report, CS-TR: 916, University of Newcastle, 2005.

·          N. Thomas, Special Issue Editorial: Grid Performability, The Computer Journal, 48(3), pp. 323-324, 2005.

 

2004

·          S. Jarvis, N. Thomas and A. van Moorsel, Open Issues in Grid Performability, International Journal of Simulation: Systems, Science and Technology, 5(5), pp. 3-12, 2004.

·          N. Thomas, J. Bradley and W. Knottenbelt, Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model, IEE Proceedings – Software, 151(5), pp. 232-239, 2004.

·          J. Bradley, S. Gilmore and N. Thomas, How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results, in: Applying Formal Methods: Testing, Performance, and M/E-Commerce, LNCS 3236, pp. 128-142, Springer-Verlag, 2004.

·          N. Thomas, J. Bradley and W. Knottenbelt, Performance of a semi blind service scheduler, in; Proceedings of the UK e-Science All Hands Meeting, Nottingham, September 2004.

·          N. Thomas, J. Bradley and W. Knottenbelt, Semi-blind scheduling in a finite capacity system, in: Proceedings of the 20th Annual UK Performance Engineering Workshop, University of Bradford, July 2004.

·          N. Thomas, J. Bradley and W. Knottenbelt, Ants, Agents and Product Form, in: Proceedings of 3rd Workshop on Process Algebra and Stochastically Timed Activities, Edinburgh, June 2004.

·          N. Thomas, Challenges and Opportunities in Grid Performability, Technical Report, CS-TR: 842, School of Computing Science, University of Newcastle upon Tyne, 2004.

·          N. Thomas, Special Issue Editorial: Grid Performance and Dependability, International Journal of Simulation: Systems, Science and Technology, 5(5), pp. 1-2, 2004.

 

 

2003

·          N. Thomas, J. Bradley and D. Thornley, An approximate solution of PEPA models using component substitution, IEE Proceedings - Computers and Digital Techniques, 150(2), pp. 67-74, 2003.

·          S. Charters, N. Thomas and M. Munro, The end of the line for Software Visualisation?, Proceedings of 2nd IEEE Workshop on Visualizing Software For Analysis and Understanding, IEEE Computer Society, 2003.

·          P. Brereton, S. Linkman, N. Thomas, J. Bøegh and S. de Panfilis, Software Components – enabling a mass market, in: Proceedings of STEP 2002, IEEE Computer Society, 2003.

·          N. Thomas, Product form over on-off components in PEPA, in: Proceedings of 17th European Simulation Multiconference, SCS Publishers, 2003.

·          N. Thomas, D. Thornley and Harf Zatschler, Approximate solution of a class of queueing networks with breakdowns, in: Proceedings of 17th European Simulation Multiconference, SCS Publishers, 2003.

·          N. Thomas, The effect of information latency on performance, in: Proceedings of the 19th UK Performance Engineering Workshop, University of Warwick, 2003.

·          D. Thornley, H. Zatschler and N. Thomas, A novel approximated joint activity transition structure in a tandem feedback unreliable server queue, in: Proceedings of the 19th UK Performance Engineering Workshop, University of Warwick, 2003.

·          N. Thomas, Towards an alternative characterisation of Boucherie product form, 2nd Workshop on Process Algebra and Stochastically Timed Activities, National e-Science Centre, Edinburgh, 2003.

·           N. Thomas, Approximation in non-product form multiple queue systems, in: Proceedings of 2nd IEEE International Workshop on Performance Modeling, Evaluation and Optimization of Parallel and Distributed Systems, IEEE Computer Society, 2003.

·          N. Thomas, A product form over components in stochastic process algebra, in: Proceedings of 6th UK Simulation Society Conference, University of Cambidge, 2003.

 

2002

·          S. Charters, C. Knight, M. Munro and N. Thomas, Visualisation for Informed Decision Making; From Code to Components, in: Proceedings of Workshop on Software Engineering Decision Support, 14th International Conference on Software Engineering and Knowledge Engineering, ACM Press, 2002.

·          N. Thomas, J. Witter and A. Pemble, Visualisation of Software Component Selection, in: Proceedings of the IEEE 1st International Workshop on Visualizing Software for Understanding and Analysis, IEEE Computer Society, 2002. (tool demo)

·          S. Charters, N. Thomas and M. Munro, Component City, in: Proceedings of the IEEE 1st International Workshop on Visualizing Software for Understanding and Analysis, IEEE Computer Society, 2002. (tool demo)

·          N. Thomas, J. Bradley and D. Thornley, An approximate solution of PEPA models using component substitution, in: Proceedings of the 18th UK Performance Engineering Workshop, University of Glasgow, 2002.

·          N. Thomas, Behavioural independence and control in PEPA, 1st Workshop on Process Algebra and Stochastically Timed Activities, National e-Science Centre, Edinburgh, 2002.

·           N. Thomas, Behavioural Independence and Control in Markovian Process Algebra, Technical Report 2002/1, Department of Computer Science, University of Durham, 2002.

 

2001

·          N. Thomas and J. Bradley, Terminating processes in PEPA, in: Proceedings of 17th UK Performance Engineering Workshop, University of Leeds, 2001.

·          N. Thomas and J. Bradley, Two solution methods for models of parallel queues, in: Proceedings of 14th European Simulation Multiconference, SCS Publishers, 2001.

·          J. Bradley and N. Thomas, Putting Quality of Service into a network by making the traffic Markovian, in: Proceedings of 14th European Simulation Multiconference, SCS Publishers, 2001.

·          J. Witter, N. Thomas, M. Munro, A Visual Query Tool for Computer Multivariative Data, Technical Report 2001/10, Department of Computer Science, University of Durham, 2001.

·          N. Thomas and J. Bradley, Towards reliable software performance modelling using stochastic process algebra, Technical Report 2001/1, Department of Computer Science, University of Durham, 2001.

 

2000

·          N. Thomas, M. Munro, P. King and R. Pooley, Visual representation of stochastic process algebra models, in: Proceedings of 2nd International Workshop on Software and Performance, ACM Press, 2000.

·          N. Thomas and J. Bradley, Decomposing models of parallel queues, in: Proceedings of the 4th IFIP International Workshop on Queueing Networks with Finite Capacity, Ilkley, 2000.

·          N. Thomas and J. Bradley, Approximating variance in non-product form decomposed models, in: Proceedings of the 8th International Workshop on Process Algebra and Performance Modelling, ICALP Workshops 2000, Carleton Scientific Press, 2000.

·          J. Bradley and N. Thomas, Constructing a Partial Order for Performance Measures, in: Proceedings of the 16th UK Performance Engineering Workshop, University of Durham, 2000.

·          N. Thomas, M. Munro, P. King and R. Pooley, Visualisation for model comprehension, in: Proceedings of the 16th UK Performance Engineering Workshop, University of Durham, 2000.

·          P. Periorellis and N. Thomas Mutuality and the CLARiFi Component Broker, Technical Report 2000/3, Department of Computer Science, University of Durham, 2000.

·          N. Thomas and J. Bradley (eds.), Proceedings of the 16th UK Performance Engineering Workshop, University of Durham, 2000.

 

1999

·          J. Hillston and N. Thomas, Product Form Solution for a class of PEPA Models, Performance Evaluation, 35(3-4), pp. 171-192, 1999.

·          G. Clark, S. Gilmore, J. Hillston and N. Thomas, Experiences of the PEPA Performance Modelling Tools, IEE Proceedings – Software, 146(1), pp. 11-20, 1999.

·          N. Thomas, Extending Quasi-Separability, in: Proceedings of 15th UK Performance Engineering Workshop, University of Bristol, 1999.

·          N. Thomas, Performance Engineering, IEE Proceedings - Software, 146(1), 1999.

 

1998

·          J. Hillston and N. Thomas, A Syntactic Analysis of Reversible PEPA Processes, in: Proceedings of 6th International Workshop on Process Algebra and Performance Modelling, Nice, 1998.

·          N. Thomas and S. Gilmore, Applying Quasi-Separability to Markovian Process Algebra, in: Proceedings of 6th International Workshop on Process Algebra and Performance Modelling, Nice, 1998.

·          N. Thomas and I. Mitrani, Approximate Solution of a Pipeline with Server Vacations, in: Proceedings of 12th European Simulation Multiconference, SCS Publishers, 1998.

·          N. Thomas and J. Hillston, Markovian Queueing Systems modelled with PEPA, in: Proceedings of 14th UK Performance Engineering Workshop, University of Edinburgh, 1998.

·          N. Thomas and I. Mitrani, A Manufacturing Production Line with Service Interruptions, Technical Report ECS-LFCS-98-388, Laboratory for Foundations of Computer Science, University of Edinburgh, 1998.

·          N. Thomas and R.J. Pooley (eds.), Proceedings of the 14th UK Performance Engineering Workshop, University of Edinburgh, 1998.

 

 

1997

·          N. Thomas and J. Hillston, Using Markovian Process Algebra to Specify Interactions in Queueing Systems, Technical Report ECS-LFCS-97-373, Laboratory for Foundations of Computer Science, University of Edinburgh, 1997.

·          N. Thomas, Performance and Reliability of Distributed Systems, PhD Thesis, University of Newcastle upon Tyne, 1997.

 

 

1995

·           N. Thomas and I. Mitrani, Routing Among Different Nodes Where Servers Breakdown Without Losing Jobs, in: Proceedings of 1st IEEE International Computer Performance and Dependability Symposium, IEEE Computer Society, 1995.

·          N. Thomas and I. Mitrani, Routing among different nodes, in: Quantitative Methods in Parallel Systems, Springer-Verlag, 1995.

·          N. Thomas and I. Mitrani, Routing Among Servers with Breakdowns and Retained Queues, Technical Report CS-TR: 527, Department of Computing Science, University of Newcastle upon Tyne, 1995.

 

1991

·          N. Thomas, Parallel Solution of Block Tri-diagonal Matrices, MSc Thesis, University of Newcastle-upon-Tyne, 1991.