default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWilliam Henderson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j23]Paul Fergus
, Carl Chalmers, William Henderson, Danny Roberts, Atif Waraich:
Pressure Ulcer Categorization and Reporting in Domiciliary Settings Using Deep Learning and Mobile Devices: A Clinical Trial to Evaluate End-to-End Performance. IEEE Access 11: 65138-65152 (2023)- 2022
- [i1]Paul Fergus, Carl Chalmers, William Henderson, Danny Roberts, Atif Waraich:
Pressure Ulcer Categorisation using Deep Learning: A Clinical Trial to Evaluate Model Performance. CoRR abs/2203.06248 (2022)
2010 – 2019
- 2010
- [c9]Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane:
Formal modelling of a robust Wireless Sensor Network routing protocol. AHS 2010: 281-288 - [c8]Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane:
Applying formal modelling to detect DoS attacks in wireless medium. CSNDSP 2010: 896-900
2000 – 2009
- 2001
- [j22]William Henderson, Peter G. Taylor:
State-dependent Coupling of Quasireversible Nodes. Queueing Syst. Theory Appl. 37(1/3): 163-197 (2001) - [j21]Xiuli Chao, William Henderson, Peter G. Taylor:
State-Dependent Coupling in General Networks. Queueing Syst. Theory Appl. 39(4): 337-348 (2001) - [j20]William Henderson, David Kendall, Adrian Robson:
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. Real Time Syst. 20(1): 5-25 (2001) - [j19]Steven Bradley, William Henderson, David Kendall, Adrian Robson:
A formal design language for real-time systems with data. Sci. Comput. Program. 40(1): 3-29 (2001)
1990 – 1999
- 1998
- [c7]Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Integrating AORTA with Model-Based Data Specification Languages. FASE 1998: 54-70 - [c6]David Kendall, Steven Bradley, William Henderson, Adrian Robson:
bCANDLE: Formal Modelling and Analysis of CAN Control Systems. IEEE Real Time Technology and Applications Symposium 1998: 171-177 - 1996
- [j18]J. L. Coleman, William Henderson, Peter G. Taylor:
Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets. Perform. Evaluation 26(3): 159-180 (1996) - [j17]Andrew J. Coyle, Boudewijn R. Haverkort, William Henderson, Charles E. M. Pearce:
A mean-value analysis of slotted-ring network models. Telecommun. Syst. 6(1): 203-227 (1996) - [c5]Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes:
A Formal Design and Implementation Method for Real-Time Embedded Systems. EUROMICRO 1996: 77- - 1995
- [j16]Helen Tomlinson, William Henderson:
Computer supported collaborative learning in schools: a distributed approach. Br. J. Educ. Technol. 26(2): 131-140 (1995) - [j15]William Henderson, Bruce S. Northcote, Peter G. Taylor:
Triggered batch movement in queueing networks. Queueing Syst. Theory Appl. 21(1-2): 125-141 (1995) - [c4]Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Validation, verification and implementation of timed protocols using AORTA. PSTV 1995: 205-220 - 1994
- [j14]William Henderson, Bruce S. Northcote, Peter G. Taylor:
Geometric equilibrium distributions for queues with interactive batch departures. Ann. Oper. Res. 48(5): 493-511 (1994) - [j13]Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Application-oriented real time algebra. Softw. Eng. J. 9(5): 201-212 (1994) - [j12]Steven Bradley, William Henderson, David Kendall, Adrian Robson:
A formally based hard real-time kernel. Microprocess. Microsystems 18(9): 513-521 (1994) - [j11]Andrew J. Coyle, William Henderson, Charles E. M. Pearce, Peter G. Taylor:
A general formulation for mean-value analysis in product-form batch-movement queueing networks. Queueing Syst. Theory Appl. 16(3-4): 363-372 (1994) - [j10]J. L. Coleman, William Henderson, Peter G. Taylor:
A convolution algorithm for calculating exact equilibrium distributions in resource allocation problems with moderate user interference. IEEE Trans. Commun. 42(234): 1106-1111 (1994) - [c3]Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246 - 1993
- [j9]William Henderson:
Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets. Comput. Networks ISDN Syst. 25(10): 1143-1153 (1993) - [j8]William Henderson, D. Lucic:
Aggregation and Disaggregation Through Insensitivity in Stochastic Petri Nets. Perform. Evaluation 17(2): 91-114 (1993) - [j7]Andrew J. Coyle, William Henderson, Peter G. Taylor:
Reduced load approximations for loss networks. Telecommun. Syst. 2(1): 21-50 (1993) - 1992
- [j6]William Henderson, Peter G. Taylor:
Insensitivity in discrete time queues with a moving server. Queueing Syst. Theory Appl. 11(3): 273-297 (1992) - 1991
- [j5]William Henderson, Peter G. Taylor:
Embedded Processes in Stochastic Petri Nets. IEEE Trans. Software Eng. 17(2): 108-116 (1991) - [c2]William Henderson, D. Lucic:
Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. PNPM 1991: 166-175 - 1990
- [j4]William Henderson:
Performance Analysis: When Do We Give Up on Product Form Solutions. Comput. Networks ISDN Syst. 20(1): 271-275 (1990) - [j3]William Henderson, Charles E. M. Pearce, Peter G. Taylor, Nico M. van Dijk:
Closed Queueing Networks with Batch Services. Queueing Syst. Theory Appl. 6(1): 59-70 (1990) - [j2]William Henderson, Peter G. Taylor:
Product Form in Networks of Queues with Batch Arrivals and Batch Services. Queueing Syst. Theory Appl. 6(1): 71-87 (1990)
1980 – 1989
- 1989
- [c1]William Henderson, Peter G. Taylor:
Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. PNPM 1989: 12-18 - 1984
- [j1]William Henderson, R. W. Kennington, Charles E. M. Pearce:
A Second Look at a Problem of Queueing in Lanes. Transp. Sci. 18(1): 85-93 (1984)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
