dblp.uni-trier.dewww.uni-trier.de

Alexander Bell

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
6EEAlexander 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
5EELars 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
4EEAlexander 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
3EEAlexander 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
1EEAlexander Bell, Boudewijn R. Haverkort: Sequential and Distributed Model Checking of Petri Net Specifications. Electr. Notes Theor. Comput. Sci. 68(4): (2002)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)