Alexander Bell

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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page