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