Alexander Bell

Dynamic Scheduling of a System with Two Parallel Servers in Heavy Traffic with Resource Pooling: Asy

Ronald J. Williams, Alexander Bell, Alexander Bell, 2001 .

Alexander Bell 2 Overview 2 . 1 Performance evaluation

Alexander Bell, 2022 .

Distributed disk-based algorithms for model checking very large Markov chains

Boudewijn R. Haverkort, Alexander Bell, Alexander Bell, 2006, Formal Methods Syst. Des..

On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets

Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp, 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

On the E cient Sequential and Distributed Evaluation of Very Large Stochastic Petri Nets

Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp, 2007 .

Sequential and distributed model checking of Petri nets

Boudewijn R. Haverkort, Alexander Bell, Alexander Bell, 2005, International Journal on Software Tools for Technology Transfer.

Sequential and Distributed Model Checking of Petri Net Specifications

Boudewijn R. Haverkort, Alexander Bell, Alexander Bell, 2002, PDMC@CONCUR.

Serial And Parallel Out-Of-Core Solution of Linear Systems arising from Generalised Stochastic Petri Nets

Boudewijn R. Haverkort, Alexander Bell, Alexander Bell, 2007 .