Alexander Bell

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

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

Alexander Bell, Boudewijn R. Haverkort: Distributed disk-based algorithms for model checking very large Markov chains. Formal Methods in System Design 29(2): 177-196 (2006)

Alexander Bell, Boudewijn R. Haverkort: Sequential and distributed model checking of Petri nets. STTT 7(1): 43-60 (2005)

Alexander Bell: Distributed evaluation of stochastic Petri nets. RWTH Aachen University 2004, isbn 3-930376-36-9, pp. 1-205

Alexander Bell: Distributed Evaluation of Stochastic Petri nets. MMB 2004: 172-178

Alexander Bell, Boudewijn R. Haverkort: Sequential and Distributed Model Checking of Petri Net Specifications. Electr. Notes Theor. Comput. Sci. 68(4): 539-558 (2002)