The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

William Henderson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes
    A Formal Design and Implementation Method for Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1996, pp:77-0 [Conf]
  2. Steven Bradley, William Henderson, David Kendall, Adrian Robson
    Integrating AORTA with Model-Based Data Specification Languages. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:54-70 [Conf]
  3. Steven Bradley, William Henderson, David Kendall, Adrian Robson
    Designing and Implementing Correct Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:228-246 [Conf]
  4. William Henderson, D. Lucic
    Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:166-175 [Conf]
  5. William Henderson, Peter G. Taylor
    Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:12-18 [Conf]
  6. Steven Bradley, William Henderson, David Kendall, Adrian Robson
    Validation, verification and implementation of timed protocols using AORTA. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:205-220 [Conf]
  7. William Henderson
    Performance Analysis: When Do We Give Up on Product Form Solutions. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1990, v:20, n:1, pp:271-275 [Journal]
  8. William Henderson
    Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1993, v:25, n:10, pp:1143-1153 [Journal]
  9. J. L. Coleman, William Henderson, Peter G. Taylor
    Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1996, v:26, n:3, pp:159-180 [Journal]
  10. William Henderson, D. Lucic
    Aggregation and Disaggregation Through Insensitivity in Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1993, v:17, n:2, pp:91-114 [Journal]
  11. Xiuli Chao, William Henderson, Peter G. Taylor
    State-Dependent Coupling in General Networks. [Citation Graph (0, 0)][DBLP]
    Queueing Syst., 2001, v:39, n:4, pp:337-348 [Journal]
  12. William Henderson, C. E. M. Pearce, Peter G. Taylor, Nico M. van Dijk
    Closed Queueing Networks with Batch Services. [Citation Graph (0, 0)][DBLP]
    Queueing Syst., 1990, v:6, n:1, pp:59-70 [Journal]
  13. William Henderson, Peter G. Taylor
    State-dependent Coupling of Quasireversible Nodes. [Citation Graph (0, 0)][DBLP]
    Queueing Syst., 2001, v:37, n:1/3, pp:163-197 [Journal]
  14. William Henderson, Peter G. Taylor
    Product Form in Networks of Queues with Batch Arrivals and Batch Services. [Citation Graph (0, 0)][DBLP]
    Queueing Syst., 1990, v:6, n:1, pp:71-87 [Journal]
  15. William Henderson, David Kendall, Adrian Robson
    Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2001, v:20, n:1, pp:5-25 [Journal]
  16. Steven Bradley, William Henderson, David Kendall, Adrian Robson
    A formal design language for real-time systems with data. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:3-29 [Journal]
  17. William Henderson, Peter G. Taylor
    Embedded Processes in Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:2, pp:108-116 [Journal]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002