EEMCS

Pesch, L. and Bell, A. and Sollie, W.E.H. and Ambati, V.R. and Bokhove, O. and van der Vegt, J.J.W. (2007) hpGEM -- A software framework for discontinuous Galerkin finite element methods. ACM Transactions on Mathematical Software, 33 (4). 23. ISSN 0098-3500 *** ISI Impact 1,658 ***

Bell, A. and Haverkort, B.R.H.M. (2006) Distributed Disk-Based Solution of Very Large Markov Chains. Formal Methods in System Design, 29 (2). pp. 177-196. ISSN 0925-9856 *** ISI Impact 1,132 ***

Pesch, L. and Bell, A. and Sollie, W.E.H. and Ambati, V.R. and Bokhove, O. and van der Vegt, J.J.W. (2006) hpGEM -- A software framework for discontinuous Galerkin finite element methods. Memorandum 1805, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Bell, A. and Haverkort, B.R.H.M. (2005) Sequential and distributed model checking of Petri nets. International journal on software tools for technology transfer, 7 (1). pp. 43-60. ISSN 1433-2779

Bell, A. (2004) Distributed evaluation of stochastic Petri nets. In: Proceedings of the 12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) together with the 3rd Polish-German Teletraffic Symposium (PGTS), 12-15 September 2004, Dresden, Germany. pp. 173-178. VDE Verlag GmbH. ISBN 3-8007-2851-6