A Second Look at a Problem of Queueing in Lanes. - William Henderson; R. W. Kennington; Charles E. M. Pearce (Transp. Sci., 1984)

Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. - William Henderson; Peter G. Taylor (PNPM, 1989)

Performance Analysis: When Do We Give Up on Product Form Solutions. - William Henderson (Comput. Networks ISDN Syst., 1990)

Closed Queueing Networks with Batch Services. - William Henderson; Charles E. M. Pearce; Peter G. Taylor; Nico M. van Dijk (Queueing Syst. Theory Appl., 1990)

Product Form in Networks of Queues with Batch Arrivals and Batch Services. - William Henderson; Peter G. Taylor (Queueing Syst. Theory Appl., 1990)

Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. - William Henderson; D. Lucic (PNPM, 1991)

Embedded Processes in Stochastic Petri Nets. - William Henderson; Peter G. Taylor (IEEE Trans. Software Eng., 1991)

Insensitivity in discrete time queues with a moving server. - William Henderson; Peter G. Taylor (Queueing Syst. Theory Appl., 1992)

Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets. - William Henderson (Comput. Networks ISDN Syst., 1993)

Aggregation and Disaggregation Through Insensitivity in Stochastic Petri Nets. - William Henderson; D. Lucic (Perform. Evaluation, 1993)

Reduced load approximations for loss networks. - Andrew J. Coyle; William Henderson; Peter G. Taylor (Telecommun. Syst., 1993)

Designing and Implementing Correct Real-Time Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (FTRTFT, 1994)

Geometric equilibrium distributions for queues with interactive batch departures. - William Henderson; Bruce S. Northcote; Peter G. Taylor (Ann. Oper. Res., 1994)

Application-oriented real time algebra. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Softw. Eng. J., 1994)

A formally based hard real-time kernel. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Microprocess. Microsystems, 1994)

A general formulation for mean-value analysis in product-form batch-movement queueing networks. - Andrew J. Coyle; William Henderson; Charles E. M. Pearce; Peter G. Taylor (Queueing Syst. Theory Appl., 1994)

A convolution algorithm for calculating exact equilibrium distributions in resource allocation problems with moderate user interference. - J. L. Coleman; William Henderson; Peter G. Taylor (IEEE Trans. Commun., 1994)

Validation, verification and implementation of timed protocols using AORTA. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (PSTV, 1995)

Computer supported collaborative learning in schools: a distributed approach. - Helen Tomlinson; William Henderson (Br. J. Educ. Technol., 1995)

Triggered batch movement in queueing networks. - William Henderson; Bruce S. Northcote; Peter G. Taylor (Queueing Syst. Theory Appl., 1995)

A Formal Design and Implementation Method for Real-Time Embedded Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson; Stephen Hawkes (EUROMICRO, 1996)

Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets. - J. L. Coleman; William Henderson; Peter G. Taylor (Perform. Evaluation, 1996)

A mean-value analysis of slotted-ring network models. - Andrew J. Coyle; Boudewijn R. Haverkort; William Henderson; Charles E. M. Pearce (Telecommun. Syst., 1996)

Integrating AORTA with Model-Based Data Specification Languages. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (FASE, 1998)

bCANDLE: Formal Modelling and Analysis of CAN Control Systems. - David Kendall; Steven Bradley; William Henderson; Adrian Robson (IEEE Real Time Technology and Applications Symposium, 1998)

State-Dependent Coupling in General Networks. - Xiuli Chao; William Henderson; Peter G. Taylor (Queueing Syst. Theory Appl., 2001)

State-dependent Coupling of Quasireversible Nodes. - William Henderson; Peter G. Taylor (Queueing Syst. Theory Appl., 2001)

Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. - William Henderson; David Kendall; Adrian Robson (Real Time Syst., 2001)

A formal design language for real-time systems with data. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Sci. Comput. Program., 2001)

Formal modelling of a robust Wireless Sensor Network routing protocol. - Kashif Saghar; William Henderson; David Kendall; Ahmed Bouridane (AHS, 2010)

Applying formal modelling to detect DoS attacks in wireless medium. - Kashif Saghar; William Henderson; David Kendall; Ahmed Bouridane (CSNDSP, 2010)

Pressure Ulcer Categorisation using Deep Learning: A Clinical Trial to Evaluate Model Performance. - Paul Fergus; Carl Chalmers; William Henderson; Danny Roberts; Atif Waraich (CoRR, 2022)

Pressure Ulcer Categorization and Reporting in Domiciliary Settings Using Deep Learning and Mobile Devices: A Clinical Trial to Evaluate End-to-End Performance. - Paul Fergus; Carl Chalmers; William Henderson; Danny Roberts; Atif Waraich (IEEE Access, 2023)