On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. - Boudewijn R. Haverkort; Alexander Bell; Henrik C. Bohnenkamp (PNPM, 1999)

Sequential and Distributed Model Checking of Petri Net Specifications. - Alexander Bell; Boudewijn R. Haverkort (PDMC@CONCUR, 2002)

Distributed Evaluation of Stochastic Petri nets. - Alexander Bell (MMB, 2004)

Distributed evaluation of stochastic Petri nets. - Alexander Bell (2004)

Sequential and distributed model checking of Petri nets. - Alexander Bell; Boudewijn R. Haverkort (Int. J. Softw. Tools Technol. Transf., 2005)

Distributed disk-based algorithms for model checking very large Markov chains. - Alexander Bell; Boudewijn R. Haverkort (Formal Methods Syst. Des., 2006)

Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution. - Alexander Bell; Boudewijn R. Haverkort (EPEW, 2007)

hpGEM - A software framework for discontinuous Galerkin finite element methods. - Lars Pesch; Alexander Bell; Henk Sollie; Vijaya R. Ambati; Onno Bokhove; Jaap J. W. van der Vegt (ACM Trans. Math. Softw., 2007)

Personas as a Powerful Methodology to Design Targeted Professional Development Resources. - Adrian Madsen; Sarah B. McKagan; Eleanor C. Sayre; Mathew Martinuk; Alexander Bell (ICLS, 2014)

VizWiz-FewShot: Locating Objects in Images Taken by People with Visual Impairments. - Yu-Yun Tseng; Alexander Bell; Danna Gurari (ECCV (8), 2022)