Alexander Bell

	2007
6		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
5		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)
	2006
4		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)
	2005
3		Alexander Bell, Boudewijn R. Haverkort: Sequential and distributed model checking of Petri nets. STTT 7(1): 43-60 (2005)
	2004
2		Alexander Bell: Distributed Evaluation of Stochastic Petri nets. MMB 2004: 172-178
	2002
1		Alexander Bell, Boudewijn R. Haverkort: Sequential and Distributed Model Checking of Petri Net Specifications. Electr. Notes Theor. Comput. Sci. 68(4): (2002)

Coauthor Index

1	Vijaya R. Ambati	[5]
2	Onno Bokhove	[5]
3	Boudewijn R. Haverkort	[1] [3] [4] [6]
4	Lars Pesch	[5]
5	Henk Sollie	[5]
6	Jaap J. W. van der Vegt	[5]

Colors in the list of coauthors